Visible to the public CONCUR 2023Conflict Detection Enabled

International Conference on Concurrency Theory

Invited speakers

  • Anna Slobodova, Intel, USA
  • David Parker, Oxford University, UK
  • Joost-Pieter Katoen, RWTH Aachen, Germany
  • Jaco van de Pol, Aarhus University, Denmark
  • Nicolas Markey, University of Rennes, France


Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to):

  • Basic models of concurrency such as abstract machines, domain-theoretic models, game-theoretic models, process algebras, graph transformation systems, Petri nets, hybrid systems, mobile and collaborative systems, probabilistic systems, real-time systems, biology-inspired systems, and synchronous systems;
  • Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics;
  • Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, type systems, and security analysis;
  • Distributed algorithms and data structures: design, analysis, complexity, correctness, fault tolerance, reliability, availability, consistency, self-organization, self-stabilization, protocols;
  • Theoretical foundations of architectures, execution environments, and software development for concurrent systems such as geo-replicated systems, communication networks, multiprocessor and multi-core architectures, shared and transactional memory, resource management and awareness, compilers and tools for concurrent programming, programming models such as component-based, object- and service-oriented.


In 2023, CONCUR Test-of-Time and best paper awards will be given for the fourth time. The winners will be announced at the conference.

Event Details
Antwerp, Belgium