Conference Information
ICTAC 2022: International Colloquium on Theoretical Aspects of Computing
Submission Date:
Notification Date:
Conference Date:
Tbilisi, Georgia
CCF: c   QUALIS: b3   Viewed: 20587   Tracked: 30   Attend: 7

Call For Papers
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
Last updated by Dou Sun in 2022-01-26
Acceptance Ratio
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
bb1ISITInternational Symposium on Information Theory2019-01-202019-03-312019-07-07
AGILEAssociation of Geographic Information Laboratories in Europe2018-12-092019-01-202019-06-17
FSMEInternational Conference on Future Software Engineering and Multimedia Engineering2011-07-102011-07-152011-08-13
FDLForum on specification & Design Languages2015-05-182015-07-042015-09-14
IWOMPInternational Workshop on OpenMP2022-05-202022-06-172022-09-20
b4CSEInternational Conference on Computational Science and Engineering2022-07-152022-08-152022-10-28
bb2SIROCCOInternational Colloquium on Structural Information and Communication Complexity2015-04-302015-06-082015-07-15
ICVRVInternational Conference on Virtual Reality and Visualization2019-08-242019-10-102019-11-21
ISSCIInternational Symposia on Surfaces, Coatings and Interfaces2018-01-012018-01-012018-01-26
Deep-MLInternational Conference on Deep Learning and Machine Learning in Emerging Applications2019-04-232019-05-202019-08-26