Conference Information
ICTAC 2023: International Colloquium on Theoretical Aspects of Computing
Submission Date:
Notification Date:
Conference Date:
Lima, Peru
CCF: c   QUALIS: b3   Viewed: 23521   Tracked: 33   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 experiences within theoretical aspects of computing 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
    Software verification
    Software testing
    Program generation and transformation
    Model checking and theorem proving
    Theory and methods of trustworthy AI
    Applications and experiences
Last updated by Dou Sun in 2023-05-03
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
FDLForum on specification & Design Languages2015-05-182015-07-042015-09-14
FSMEInternational Conference on Future Software Engineering and Multimedia Engineering2011-07-102011-07-152011-08-13
IWOMPInternational Workshop on OpenMP2022-05-202022-06-172022-09-20
b4CSEInternational Conference on Computational Science and Engineering2023-07-312023-09-012023-11-01
bb2SIROCCOInternational Colloquium on Structural Information and Communication Complexity2015-04-302015-06-082015-07-15
cICVRVInternational 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