The International Colloquium on Theoretical Aspects of Computing (ICTAC) aims at bringing together researchers and practitioners from academia, industry, and government to present research and exchange ideas and experiences within theoretical aspects of computing through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries.
ICTAC 2026, 23rd International Colloquium on Theoretical Aspects of Computing, will take place in Bariloche, Argentina, from November 11 to 13.
The conference concerns all aspects of theoretical computer science, including, but not limited to:
• Formal languages and automata
• Semantics of programming languages
• Logic in computer science
• Lambda calculus, type theory, and category theory
