Nazareno Aguirre will be keynote speaker at the International Colloquium on Theoretical Aspects of Computing.