CFP summary
CONCUR 2026 is the International Conference on Concurrency Theory, a major forum for the theory of concurrent, distributed, and reactive systems. Held as part of CONFEST 2026 in Liverpool, the conference welcomes work on the mathematical, algorithmic, logical, and semantic foundations of interacting computation. CONCUR has a long history of linking rigorous theory with models and methods that support the analysis and verification of modern distributed systems.
Topics
Concurrency theory; models of distributed and reactive systems; process calculi and behavioral equivalences; semantics and logics of concurrency; model checking and verification; synthesis and controller design; probabilistic and timed systems; games, automata and formal languages for concurrent computation; applications to distributed, cyber-physical and communication systems.