Scope

The ICTAC conference series aims to bring 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.

Topics

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

Formal 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
Theoretical aspects of quantum computing
Theory and methods of trustworthy AI
Applications and experiences