About us

The International Conference on Concurrency Theory (CONCUR) brings together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. CONCUR solicits high quality papers reporting research results and/or experience related to semantics, logics, verification and analysis of concurrent systems. The 2026 edition will be co-located with QEST+FORMATS, FMICS and a number of workshops under the joint name CONFEST 2026.

Important Dates

Mon, Apr 20, 2026
Abstract registration deadline
Mon, Apr 27, 2026
Submission deadline

Call For Paper

Distributed algorithms
Models of concurrency
Logics for concurrency
Verification and analysis
Basic models of concurrency
Verification and analysis techniques for concurrent systems
Theoretical foundations, tools, and empirical evaluations of architectures

The International Conference on Concurrency Theory (CONCUR) brings together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. CONCUR solicits high quality papers reporting research results and/or experience related to semantics, logics, verification and analysis of concurrent systems.

Committee

Program Committee Chairs

Ana Sokolova

University of Salzburg, Austria

Patrick Totzke

University of Liverpool, UK

Program Committee

Parosh Abdulla

Uppsala University, Sweden

Giorgio Bacci

Aalborg University, Denmark

Christel Baier

TU Dresden, Germany

Paolo Baldan

University of Padova, Italy

Nathalie Bertrand

INRIA Rennes, France

Laura Bocchi

University of Kent, UK

Filippo Bonchi

University of Pisa, Italy

Valentina Castiglioni

Eindhoven University of Technology, The Netherlands

Dmitry Chistikov

University of Warwick, UK

Corina Cirstea

University of Southampton, UK

Wojciech Czerwiński

University of Warsaw, Poland

Javier Esparza

TU Munich, Germany

Benjamin Kaminski

Saarland University and UCL, Germany/UK

Tobias Kappé

Leiden University, Netherlands

Stefan Kiefer

University of Oxford, UK

Barbara König

University of Duisburg-Essen, Germany

AntonĂ­n Kucera

Masaryk University, Czech Republic

Yong Li

SKLCS Beijing, China

Nicolas Mazzocchi

STU Bratislava, Slovakia

Roland Meyer

TU Braunschweig, Germany

Pierre Ohlmann

CNRS, LIS Marseille, France

Prakash Panangaden

McGill and University of Edinburgh, Canada/UK

Kirstin Peters

University of Augsburg, Germany

Guillermo A. Pérez

University of Antwerp, Belgium

Damien Pous

CNRS, ENS Lyon, France

Karin Quaas

University of Leipzig, Germany

Ege Saraç

CISPA, Germany

Sylvain Schmitz

Université Paris Cité, France

Henning Urbat

FAU Erlangen-NĂĽrnberg, Germany

Viktor Vafeiadis

MPI-SWS, Germany

Franck van Breugel

York University, Canada

Rob van Glabbeek

University of Edinburgh, UK

Pierre Vandenhove

Université de Mons, Belgium

Kazuki Watanabe

NII, Tokyo, Japan

Sarah Winter

Université Paris Cité, France

Nisansala Yatapanage

Australian National University, Australia

Florian Zuleger

TU Wien, Austria

Organizing committee

Daniel Hausmann

publicity

University of Liverpool

David Purser

co-chair

University of Liverpool

Patrick Totzke

co-chair

University of Liverpool

Shufang Zhu

workshops

University of Liverpool