Home

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 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
• • Security and privacy
• • Static analysis
• • Software verification
• • Timed, hybrid, and cyber-physical systems
• • Verification, analysis and control synthesis
• • Software testing
• • Program generation and transformation
• • Model checking and theorem-proving
• • Quantum computing
• • Trustworthy AI
• • Machine learning algorithms
• • Applications and experiences