ICTAC 2025: Call for Papers

The 22st International Colloquium on Theoretical Aspects of Computing (ICTAC 2025) will take place in Marrakech, Morocco, from November 24 to 28, 2025.

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.

Conference 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
• 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

Important Dates

All deadlines are at 23:59 AoE.

Date	Event
July 09, 2025	Abstract submission deadline
July 09, 2025	Paper submission deadline
August 30, 2025	Accept/Reject notification
September 15, 2025	Camera-ready submission
November 24-28, 2025	Conference dates

Proceedings

All accepted papers will be published in Springer's LNCS in on-site proceedings "Lecture Notes in Computer Science."

Website

https://ictac2025.digital-hub.sh/