CSL 2026

Submission

Submitted papers must be in English and must provide sufficient detail to allow the Program Committee to assess the merits of the paper. Authors must submit their papers as a single PDF file through the

CSL 2026 Easychair submission site at Easychair

Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC.

The conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs).

Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal.

Papers authored or co-authored by members of the PC (but not PC chairs) are allowed.

The submissions are double-blind:

• Authors are not allowed to put their name on the paper, and they should avoid revealing their identities in text (references to previous or related work should be in third-person).
• Authors are allowed to disseminate the work on public repositories (e.g. on arXiv or their websites).

We ask authors to declare conflicts with PC members when they submit their paper in Easychair.

At least one of the authors of each accepted paper is expected to register for the conference and attend it in person or online, in order to present their papers.

Invited speakers

• Pierre Clairambault - Aix-Marseille University, France
  Towards A Rosetta Stone of Interactive and Quantitative Semantics
  
• Sandra Kiefer - University of Oxford, UK
  The Logic Behind Colour Refinement
  
• Gordon Plotkin - University of Edinburgh, UK
  Rational Lawvere Logic
  
• Ana Sokolova - University of Salzburg, Austria
  Automata and Algebras for Probability and Nondeterminism
  

Program Committee

Chairs

• Stefano Guerrini - Sorbonne Paris Nord University, France
• Barbara König - University of Duisburg-Essen, Germany

Members

• Antonis Achilleos - Reykjavik University, Iceland
• Patrick Baillot - CNRS and University of Lille, France
• Paolo Baldan - University of Padova, Italy
• Harsh Beohar - University of Sheffield, UK
• Florence Clerc - Heriot-Watt University Edinburgh, UK
• Marcelo Fiore - University of Cambridge, UK
• Nicola Gambino - University of Manchester, UK
• Marianna Girlando - University of Amsterdam, Netherlands
• Stefan Göller - University of Kassel, Germany
• Giulio Guerrieri - University of Sussex, UK
• Luisa Herrmann - TU Dresden, Germany
• Naoki Kobayashi - The University of Tokyo, Japan
• Dexter Kozen - Cornell University, USA
• Antonín Kučera - Masaryk University Brno, Czech Republic
• Clemens Kupke - University of Strathclyde Glasgow, UK
• Aliaume Lopez - University of Warsaw, Poland
• Giulio Manzonetto - Paris Cité University, France
• Paul-André Melliès - CNRS and Paris Cité University, France
• Aart Middeldorp - University of Innsbruck, Austria
• Matteo Mio - CNRS and ENS Lyon, France
• Larry Moss - Indiana University Bloomington, USA
• Sara Negri - University of Genova, Italy
• Elaine Pimentel - University College London, UK
• Paolo Pistone - Claude Bernard University Lyon 1, France
• Jurriaan Rot - Radboud University Nijmegen, Netherlands
• Sven Schewe - University of Liverpool, UK
• Sylvain Schmitz - Paris Cité University, France
• Lutz Schröder - FAU Erlangen-Nürnberg, Germany
• Thomas Schwentick - TU Dortmund University, Germany
• Thomas Seiller - CNRS and Sorbonne Paris Nord University, France
• Peter Selinger - Dalhousie University, Canada
• Viorica Sofronie-Stokkermans - University of Koblenz, Germany
• Lorenzo Tortora de Falco - Roma Tre University, Italy
• Fabio Zanasi - University College London, UK
• Margherita Zorzi - University of Verona, Italy

Steering Committee

• The EACSL board

Organising Committee

• Stefano Guerrini - Sorbonne Paris Nord University, France
• Flavien Breuvart - Sorbonne Paris Nord University, France
• Stefano Catozi - Sorbonne Paris Nord University, France
• Emily Clement - Sorbonne Paris Nord University, France
• Jacopo Furlan - Sorbonne Paris Nord University, France
• Thomas Laure - Sorbonne Paris Nord University, France
• Munyque Mittelman - Sorbonne Paris Nord University, France
• Caterina Mosca - Sorbonne Paris Nord University, France
• Elaine Pimentel - University College London, United Kingdom
• Morgan Rogers - Sorbonne Paris Nord University, France