About ICTAC

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:

The Postgraduate School

The Postgraduate School on Formal Methods for Building Mission-Critical Software in Bariloche, Argentina, as a satellite event of the International Colloquium on Theoretical Aspects of Computing (ICTAC) 2026. This thematic school aims to offer specialized training courses in formal methodologies for developing mission-critical software, particularly for building systems in the satellite, aerospace, and nuclear sectors, as well as related critical areas. The school plans to offer three intensive courses given by international top researchers in the area of formal methods and software engineering. The main goals of the school are to provide opportunities for PhD students and young researchers to directly interact with top international researchers, to complement their formal education with the latest advances in formal methods for critical systems, to foster interaction between institutions, and to connect researchers and research groups.

Organizers

Organizer 3 Organizer 1 Organizer 2

Sponsors