<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=windows-1250">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Aptos;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Aptos",sans-serif;
mso-ligatures:standardcontextual;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#467886;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Aptos",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:11.0pt;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="EN-GB" link="#467886" vlink="#96607D" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal">CONCUR 2026: 1st Call for Papers<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">When: 1 – 4 September, 2026<o:p></o:p></p>
<p class="MsoNormal">Where: Liverpool, UK<o:p></o:p></p>
<p class="MsoNormal">Web: <a href="https://urldefense.com/v3/__https://confest-2026.github.io/concur__;!!IBzWLUs!V4ROYb9JFLf2EDnDxOYQkTD7883C1pjoSDJEYjShu6XKGqVZ8Uyy2_tovvWpV2-_ve_JcMGr53YfsSjGBa9eqxP3XOvgXARhRY6CaFPs$">https://confest-2026.github.io/concur</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">------------------------------------------------------------------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The International Conference on Concurrency Theory (CONCUR) brings<o:p></o:p></p>
<p class="MsoNormal">together researchers, developers, and students in order to advance the<o:p></o:p></p>
<p class="MsoNormal">theory of concurrency and promote its applications. CONCUR solicits high<o:p></o:p></p>
<p class="MsoNormal">quality papers reporting research results and/or experience related to<o:p></o:p></p>
<p class="MsoNormal">semantics, logics, verification and analysis of concurrent systems.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The 2026 edition will be co-located with QEST+FORMATS, FMICS and a<o:p></o:p></p>
<p class="MsoNormal">number of workshops under the joint name CONFEST 2026, which will take<o:p></o:p></p>
<p class="MsoNormal">place September 1-5, 2026 at the University of Liverpool, UK.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Important dates<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Abstracts: 20 April, 2026 (AoE)<o:p></o:p></p>
<p class="MsoNormal">- Submissions: 27 April, 2026 (AoE)<o:p></o:p></p>
<p class="MsoNormal">- Rebuttal: 1 – 3 June, 2026 (AoE)<o:p></o:p></p>
<p class="MsoNormal">- Notification: 15 June, 2026 (AoE)<o:p></o:p></p>
<p class="MsoNormal">- Camera Ready: 29 June, 2026 (AoE)<o:p></o:p></p>
<p class="MsoNormal">- Conference: 1 – 4 September, 2026<o:p></o:p></p>
<p class="MsoNormal">- Workshops: 5 September, 2026<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Topics<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Submissions are solicited in the theory and practice of concurrent<o:p></o:p></p>
<p class="MsoNormal">systems. The principal topics include (but are not limited to):<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Basic models of concurrency such as abstract machines,<o:p></o:p></p>
<p class="MsoNormal"> domain-theoretic models, categorical and coalgebraic models,<o:p></o:p></p>
<p class="MsoNormal"> game-theoretic models, parametric models, process algebras, graph<o:p></o:p></p>
<p class="MsoNormal"> transformation systems, Petri nets, hybrid systems, mobile and<o:p></o:p></p>
<p class="MsoNormal"> collaborative systems, probabilistic systems, real-time systems,<o:p></o:p></p>
<p class="MsoNormal"> quantum systems, biology-inspired systems, and synchronous systems;<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Logics for concurrency such as modal logics, program logics,<o:p></o:p></p>
<p class="MsoNormal"> probabilistic and stochastic logics, temporal logics, multi-agent<o:p></o:p></p>
<p class="MsoNormal"> logics, and resource logics;<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Verification and analysis techniques for concurrent systems such as<o:p></o:p></p>
<p class="MsoNormal"> abstract interpretation, atomicity checking, model checking, race<o:p></o:p></p>
<p class="MsoNormal"> detection, pre-order and equivalence checking, run-time<o:p></o:p></p>
<p class="MsoNormal"> verification, state-space exploration, static analysis, synthesis,<o:p></o:p></p>
<p class="MsoNormal"> testing, theorem proving, type systems, and security analysis;<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Distributed/parallel algorithms and concurrent data structures:<o:p></o:p></p>
<p class="MsoNormal"> design, analysis, complexity, correctness, fault tolerance,<o:p></o:p></p>
<p class="MsoNormal"> reliability, availability, consistency, self-organization,<o:p></o:p></p>
<p class="MsoNormal"> self-stabilization, commitment schemes, communication protocols;<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Theoretical foundations, tools, and empirical evaluations of<o:p></o:p></p>
<p class="MsoNormal"> architectures, execution environments, and software development for<o:p></o:p></p>
<p class="MsoNormal"> concurrent systems such as geo-replicated systems, distributed<o:p></o:p></p>
<p class="MsoNormal"> ledgers, communication networks, multiprocessor and multi-core<o:p></o:p></p>
<p class="MsoNormal"> architectures, quantum computing, quantum communication, shared and<o:p></o:p></p>
<p class="MsoNormal"> transactional memory, resource management and awareness, compilers<o:p></o:p></p>
<p class="MsoNormal"> and tools for concurrent programming, programming models such as<o:p></o:p></p>
<p class="MsoNormal"> component-based, object- and service-oriented.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Paper submission<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- All papers must be original, unpublished, and not submitted for<o:p></o:p></p>
<p class="MsoNormal"> publication elsewhere.<o:p></o:p></p>
<p class="MsoNormal">- Each paper will undergo a thorough review process.<o:p></o:p></p>
<p class="MsoNormal">- Papers must be submitted electronically as PDF files via EasyChair<o:p></o:p></p>
<p class="MsoNormal"> (<a href="https://urldefense.com/v3/__https://easychair.org/conferences?conf=concur2026__;!!IBzWLUs!V4ROYb9JFLf2EDnDxOYQkTD7883C1pjoSDJEYjShu6XKGqVZ8Uyy2_tovvWpV2-_ve_JcMGr53YfsSjGBa9eqxP3XOvgXARhRST2VEbT$">https://easychair.org/conferences?conf=concur2026</a>).<o:p></o:p></p>
<p class="MsoNormal">- Proceedings will be published by LIPIcs, please use their style<o:p></o:p></p>
<p class="MsoNormal"> files (<a href="https://urldefense.com/v3/__https://drops.dagstuhl.de/entities/series/LIPIcs*author__;Iw!!IBzWLUs!V4ROYb9JFLf2EDnDxOYQkTD7883C1pjoSDJEYjShu6XKGqVZ8Uyy2_tovvWpV2-_ve_JcMGr53YfsSjGBa9eqxP3XOvgXARhRWk248fv$">https://drops.dagstuhl.de/entities/series/LIPIcs#author</a>) when<o:p></o:p></p>
<p class="MsoNormal"> preparing your submission.<o:p></o:p></p>
<p class="MsoNormal">- Submissions follow a single blind review process.<o:p></o:p></p>
<p class="MsoNormal">- Papers must not exceed 15 pages (excluding references and<o:p></o:p></p>
<p class="MsoNormal"> appendices, LIPIcs style)<o:p></o:p></p>
<p class="MsoNormal">- An appendix may provide additional material and proofs, but cannot<o:p></o:p></p>
<p class="MsoNormal"> be expected to be scrutinized by the reviewers and will not be<o:p></o:p></p>
<p class="MsoNormal"> published in the proceedings.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Program Committee Chairs<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Ana Sokolova, University of Salzburg, Austria<o:p></o:p></p>
<p class="MsoNormal">- Patrick Totzke, University of Liverpool, UK<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Program Committee<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Parosh Abdulla, Uppsala University, Sweden<o:p></o:p></p>
<p class="MsoNormal">- Giorgio Bacci, Aalborg University, Denmark<o:p></o:p></p>
<p class="MsoNormal">- Christel Baier, TU Dresden, Germany<o:p></o:p></p>
<p class="MsoNormal">- Paolo Baldan, University of Padova, Italy<o:p></o:p></p>
<p class="MsoNormal">- Nathalie Bertrand, INRIA Rennes, France<o:p></o:p></p>
<p class="MsoNormal">- Laura Bocchi, University of Kent, UK<o:p></o:p></p>
<p class="MsoNormal">- Filippo Bonchi, University of Pisa, Italy<o:p></o:p></p>
<p class="MsoNormal">- Valentina Castiglioni, Eindhoven University of Technology, The<o:p></o:p></p>
<p class="MsoNormal"> Netherlands<o:p></o:p></p>
<p class="MsoNormal">- Dmitry Chistikov, University of Warwick, UK<o:p></o:p></p>
<p class="MsoNormal">- Corina Cirstea, University of Southampton, UK<o:p></o:p></p>
<p class="MsoNormal">- Wojciech Czerwiñski, University of Warsaw, Poland<o:p></o:p></p>
<p class="MsoNormal">- Javier Esparza, TU Munich, Germany<o:p></o:p></p>
<p class="MsoNormal">- Benjamin Kaminski, Saarland University and UCL, Germany/UK<o:p></o:p></p>
<p class="MsoNormal">- Tobias Kappé, Leiden University, Netherlands<o:p></o:p></p>
<p class="MsoNormal">- Stefan Kiefer, University of Oxford, UK<o:p></o:p></p>
<p class="MsoNormal">- Barbara König, University of Duisburg-Essen, Germany<o:p></o:p></p>
<p class="MsoNormal">- Antonín Kucera, Masaryk University, Czech Republic<o:p></o:p></p>
<p class="MsoNormal">- Yong Li, SKLCS Beijing, China<o:p></o:p></p>
<p class="MsoNormal">- Nicolas Mazzocchi, STU Bratislava, Slovakia<o:p></o:p></p>
<p class="MsoNormal">- Roland Meyer, TU Braunschweig, Germany<o:p></o:p></p>
<p class="MsoNormal">- Pierre Ohlmann, CNRS, LIS Marseille, France<o:p></o:p></p>
<p class="MsoNormal">- Prakash Panangaden, McGill and University of Edinburgh, Canada/UK<o:p></o:p></p>
<p class="MsoNormal">- Kirstin Peters, University of Augsburg, Germany<o:p></o:p></p>
<p class="MsoNormal">- Guillermo A. Pérez, University of Antwerp, Belgium<o:p></o:p></p>
<p class="MsoNormal">- Damien Pous, CNRS, ENS Lyon, France<o:p></o:p></p>
<p class="MsoNormal">- Karin Quaas, University of Leipzig, Germany<o:p></o:p></p>
<p class="MsoNormal">- Ege Saraç, CISPA, Germany<o:p></o:p></p>
<p class="MsoNormal">- Sylvain Schmitz, Université Paris Cité, France<o:p></o:p></p>
<p class="MsoNormal">- Henning Urbat, FAU Erlangen-Nürnberg, Germany<o:p></o:p></p>
<p class="MsoNormal">- Viktor Vafeiadis, MPI-SWS, Germany<o:p></o:p></p>
<p class="MsoNormal">- Franck van Breugel, York University, Canada<o:p></o:p></p>
<p class="MsoNormal">- Rob van Glabbeek, University of Edinburgh, UK<o:p></o:p></p>
<p class="MsoNormal">- Pierre Vandenhove, Université de Mons, Belgium<o:p></o:p></p>
<p class="MsoNormal">- Kazuki Watanabe, NII, Tokyo, Japan<o:p></o:p></p>
<p class="MsoNormal">- Sarah Winter, Université Paris Cité, France<o:p></o:p></p>
<p class="MsoNormal">- Nisansala Yatapanage, Australian National University, Australia<o:p></o:p></p>
<p class="MsoNormal">- Florian Zuleger, TU Wien, Austria<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Steering Committee<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Luca Aceto, Reykjavik University, Iceland<o:p></o:p></p>
<p class="MsoNormal">- Christel Baier, TU Dresden, Germany<o:p></o:p></p>
<p class="MsoNormal">- Pedro R. D’Argenio, National University of Córdoba, Argentina<o:p></o:p></p>
<p class="MsoNormal">- Wan Fokkink, VU Amsterdam, Netherlands<o:p></o:p></p>
<p class="MsoNormal">- Catuscia Palamidessi, INRIA Saclay and LIX, France<o:p></o:p></p>
<p class="MsoNormal">- Jiri Srba, Aalborg University, Denmark<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Questions on submissions should be directed to the PC chairs.<o:p></o:p></p>
</div>
</body>
</html>