posted by user: besik_dundua || 2707 views || tracked by 3 users: [display]

ICTAC 2022 : The 19th International Colloquium on Theoretical Aspects of Computing

FacebookTwitterLinkedInGoogle


Conference Series : International Colloquium on Theoretical Aspects of Computing
 
Link: https://viam.science.tsu.ge/clas2022/ictac/
 
When Sep 27, 2022 - Sep 29, 2022
Where Tbilisi, Georgia
Abstract Registration Due May 21, 2022
Submission Deadline May 28, 2022
Notification Due Jul 24, 2022
Final Version Due Jul 31, 2022
Categories    computer science
 

Call For Papers

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

ICTAC 2024   International Colloquium on Theoretical Aspects of Computing
Ei/Scopus-AACIP 2024   2024 2nd Asia Conference on Algorithms, Computing and Image Processing (AACIP 2024)-EI Compendex
TASE 2024   18th Theoretical Aspects of Software Engineering Conference
IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
STACS 2024   Symposium on Theoretical Aspects of Computer Science
Ei/Scopus-CISDS 2024   2024 3rd International Conference on Communications, Information System and Data Science (CISDS 2024)
IEEE-Ei/Scopus-SGGEA 2024   2024 Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2024) -EI Compendex
Ei/Scopus-ACAI 2024   2024 7th International Conference on Algorithms, Computing and Artificial Intelligence(ACAI 2024)
IEEE ICA 2022   The 6th IEEE International Conference on Agents
CSCT 2024   Congress on Smart Computing Technologies