ICTAC 2023

20th International Colloquium on Theoretical Aspects of Computing

04-08 December 2023, Lima, Peru

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

Best Paper

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

Past Editions

Sponsors

logo logo

logo logo logo logo