ICTAC: International Colloquium on Theoretical Aspects of Computing

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2023 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
ICTAC 2022 The 19th International Colloquium on Theoretical Aspects of Computing
Sep 27, 2022 - Sep 29, 2022 Tbilisi, Georgia May 28, 2022 (May 21, 2022)
ICTAC 2021 18th International Colloquium on Theoretical Aspects of Computing
Sep 6, 2021 - Sep 10, 2021 Nur-Sultan May 14, 2021
ICTAC 2020 17th International Colloquium on Theoretical Aspects of Computing
Dec 2, 2020 - Dec 4, 2020 Macao Jun 26, 2020 (Jun 22, 2020)
ICTAC 2019 16th International Colloquium on Theoretical Aspects of Computing
Oct 30, 2019 - Nov 4, 2019 Hammamet, Tunisia May 26, 2019 (May 19, 2019)
ICTAC 2018 15th International Colloquium on Theoretical Aspects of Computing
Oct 16, 2018 - Oct 19, 2018 Stellenbosch, South Africa May 11, 2018 (May 4, 2018)
ICTAC 2017 International Colloquium on Theoretical Aspects of Computing
Oct 23, 2017 - Oct 27, 2017 Hanoi, Vietnam Apr 22, 2017
ICTAC 2016 13th International Colloquium on Theoretical Aspects of Computing
Oct 24, 2016 - Oct 31, 2016 Taipei, Taiwan, ROC May 1, 2016 (Apr 23, 2016)
ICTAC 2015 12th International Colloquium on Theoretical Aspects of Computing
Oct 29, 2015 - Oct 31, 2015 Cali, Colombia Jun 19, 2015 (Jun 16, 2015)
ICTAC 2014 11th International Colloquium on Theoretical Aspects of Computing
Sep 17, 2014 - Sep 20, 2014 Bucharest, Romania Mar 23, 2014 (Mar 16, 2014)
ICTAC 2013 10th International Colloquium on Theoretical Aspects of Computing
Sep 4, 2013 - Sep 6, 2013 Shanghai, China Mar 8, 2013
ICTAC 2010 7th International Colloquium on Theoretical Aspects of Computing
Sep 1, 2010 - Sep 3, 2010 Natal, Brazil Mar 8, 2010
ICTAC 2009 6th International Colloquium on Theoretical Aspects of Computing
Aug 16, 2009 - Aug 20, 2009 University Kebangsaan Malaysia Apr 10, 2009 (Apr 6, 2009)
 
 

Present CFP : 2022

The 19th International Colloquium on Theoretical Aspects of Computing (ICTAC) will be held in Tbilisi, Georgia, September 27-29, 2022. The conference will be organized by Ivane Javakhishvili Tbilisi State University and will be part of Computational Logic Autumn Summit (https://viam.science.tsu.ge/clas2022/).

Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.

Important Dates
Abstract submission: May 21, 2022
Paper Submission: May 28, 2022
Notification: July 24, 2022

Overview
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.

The conference concerns all aspect of theoretical computer science, including, but not limited to:

Languages and automata
Semantics of programming languages
Logic in computer science
Lambda calculus, type theory and category theory
Domain-specific languages
Theories of concurrency and mobility
Theories of distributed computing
Models of objects and components
Coordination models
Timed, hybrid, embedded and cyber-physical systems
Security and privacy
Static analysis
Probabilistic and statistical verification
Software verification
Software testing
Runtime verification
Program generation and transformation
Model checking and theorem proving
Applications and case studies
AI-enabled software development
Theory and methods of trustworthy AI


Publication
We solicit submissions, related to the topics of ICTAC, in the following categories:
original research contributions (16 pages max, excluding references);
applications and experiences (16 pages max, excluding references);
short papers, with original work in progress or with proposals of new ideas and emerging challenges (6 pages max, excluding references); and
tool papers (6 pages max, excluding references).
All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=ictac2022. Papers must be formatted according to the guidelines for Springer LNCS papers (see http://www.springer.com/lncs), without modifications of margins and other space-saving measures. Authors should therefore consult Springer’s authors’ instructions and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers.

All accepted papers in categories A-D will appear in the proceedings of the conference that will be published as a volume in Springer's Lecture Notes in Computer Science (LNCS) series.
 

Related Resources

TASE 2023   Theoretical Aspects of Software Engineering
EI-CFAIS 2023   2023 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2023)
TARK 2023   Theoretical Aspects of Rationality and Knowledge
GreeNet Symposium - SGNC 2023   14th Symposium on Green Networking and Computing (SGNC 2023)
ISCAI 2023   2023 5th International Symposium on Computing and Artificial Intelligence (ISCAI 2023)
IEEE Xplore-Ei/Scopus-CCCAI 2023   2023 International Conference on Communications, Computing and Artificial Intelligence (CCCAI 2023) -EI Compendex
STACS 2023   Symposium on Theoretical Aspects of Computer Science
ECCSIT 2023   2023 European Conference on Computer Science and Information Technology (ECCSIT 2023)
ICSC 2024   IEEE International Conference on Semantic Computing
ICALP 2023   International Colloquium on Automata, Languages and Programming