ICTAC 2023 Proceedings
The proceedings are online at https://link.springer.com/book/10.1007/978-3-031-47963-2.
ICTAC 2023 Best Paper Award
The best paper was awarded to:
Carlos G. Lopez Pombo, Agustín E. Martínez Suñé and Emilio Tuosto
with their contribution:
A Dynamic Temporal Logic for Quality of Service in Choreographic Models
Photos of ICTAC 2023
Photos are available here!
About ICTAC
The International Colloquium on Theoretical Aspects of Computing (ICTAC) was founded in 2004. It takes place every year preferably in a developing country. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries.
Important dates
- Abstract deadline: 25 June 2023 (AoE)
- Submission deadline:
16 June 202302 July 2023 (AoE) - Notification: 10 September 2023 (AoE)
- Camera ready: 25 September 2023 (AoE)