Virtual Conference. Due to the COVID-pandemic, the organisation committee decided that ICTAC 2020 will be held virtually only. Accepted papers will be published as a LNCS proceedings as planned, and have to be presented at the virtual conference.
Welcome to ICTAC 2020
The 17th International Colloquium on Theoretical Aspects of Computing (ICTAC) will take place in Macau S.A.R., China on 30 Nov - 4 Dec, 2020.
News
- Best Paper Award: “Implementation correctness for Replicated Data Types, categorically” by Fabio Gadducci, Hernán Melgratti, Christian Roldán and Matteo Sammartino. Congratulations!
- Online conference proceedings are available for a month.
- Detailed conference program is available now! Check also co-located RV lectures!
- Lectures on RV will be given on 30 Nov - 1 Dec. Registration is for free!
- Conference registration is open now!
- The list of accepted papers is available here.
- We’re happy to announce ICTAC’20’s keynote speakers: Klaus Havelund, Marieke Huisman, and Naijun Zhan.
- Extended submission deadlines: Friday, 17 July 2020
About ICTAC
Established in 2004 by the International Institute for Software Technology of the United Nations University (UNU-IIST, currently known as the United Nations University Institute in Macau), the ICTAC conference series aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries.
Organised by
Sponsored by
