ICTAC 2026- First Call for Papers

The conference concerns all aspects 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.