Scope
The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications (in a broad sense).
Topics of Interest are all areas of 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, and Petri nets; Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics; Models of specialized systems such as biology-inspired systems, circuits, hybrid systems, mobile and collaborative systems, multi-core processors, probabilistic systems, real-time systems, service-oriented computing, and synchronous systems; 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, and type systems; Related programming models such as distributed, component-based, object-oriented, and web services.
Future Conferences
- CONCUR 2018 Beijing, China
Past Conferences
- CONCUR 2017 Berlin, Germany
- CONCUR 2016 Québec City, Canada
- CONCUR 2015 Madrid, Spain
- CONCUR 2014 Rome, Italy
- CONCUR 2013 Buenos Aires, Argentina
- CONCUR 2012 Newcastle, UK
- CONCUR 2011 Aachen, Germany
- CONCUR 2010 Paris, France
- CONCUR '09 Bologna, Italy
- CONCUR '08 Toronto, Canada
- CONCUR '07 Lisbon, Portugal
- CONCUR '06 Bonn, Germany
- CONCUR '05 San Francisco, USA
- CONCUR '04 London, UK
- CONCUR '03 Marseille, France
- CONCUR '02 Brno, Czech Republic
- CONCUR '01 Aalborg, Denmark
- CONCUR '00 Pennsylvania, USA
- CONCUR '99 Eindhoven, Netherlands
- CONCUR '98 Nice, France
- CONCUR '97 Warsaw, Poland
- CONCUR '96 Pisa, Italy
- CONCUR '95 Philadelphia, USA
- CONCUR '94 Uppsala, Sweden
- CONCUR '93 Hildesheim, Germany
- CONCUR '92 Stony Brook, USA
- CONCUR '91 Amsterdam, Netherlands
- CONCUR '90 Amsterdam, Netherlands