Dear colleagues, we apologize for multiple receptions and kindly ask you to disseminate this invitation within your networks.

Regards and hope to see you here at Patagonia.

=========================================================================================================================

⏰ Early Bird Registration Closing Soon for ICTAC 2026!

Don't miss the early registration deadline on September 25, 2026. Register today at: https://ictac2026.github.io/registration/

Join us for the 23rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2026), taking place November 9–15, 2026, in Bariloche, Argentina! 🏔️

Key Highlights:

Keynote Speakers: Erika Ábrahám, Nazareno Aguirre, and Pablo Barceló.

Postgraduate School Courses: Taught by Marielle Stoelinga, Sebastián Uchitel, and César Sánchez, alongside invited talks by Holger Hermanns and Joost-Pieter Katoen.

Technical Program: Cutting-edge research presentations advancing the theoretical foundations of computing, formal methods, and software engineering.

Whether you are presenting your work or looking to engage with leading researchers in theoretical computer science, we invite you to join us!

📍 Location: Bariloche, Argentina

📅 Dates: November 9–15, 2026

🔗 Register & Information: https://ictac2026.github.io/registration/

Please share this invitation with colleagues, research groups, and students. We look forward to seeing you in Bariloche!