CSL 2026: Call for Papers

CSL 2026, the 34th Annual Conference on Computer Science Logic, will be held in Paris, France, from February 23-28, 2026.

CSL is the annual conference of the European Association for Computer Science Logic (EACSL), an interdisciplinary conference that spans both basic and application-oriented research in mathematical logic and computer science.

Topics of Interest

Topics of interest include, but are not limited to:

• Automated deduction and interactive theorem proving
• Concurrency and distributed computation
• Constructive mathematics and type theory
• Equational logic and term rewriting
• Automata and games, game semantics
• Formal methods
• Model checking
• Decision procedures
• Modal and temporal logic
• Description logics
• Logical aspects of computational complexity
• Logical aspects of AI
• Finite model theory
• Computability
• Computational proof theory
• Logic programming and constraints
• Lambda calculus and combinatory logic
• Domain theory
• Categorical logic and topological semantics
• Database theory
• Specification, extraction and transformation of programs
• Logical aspects of quantum computing
• Logical foundations of programming paradigms
• Verification and program analysis
• Linear logic
• Higher-order logic
• Knowledge representation and reasoning
• Nonmonotonic reasoning

Submission Guidelines

• Submitted papers must be in English and provide sufficient detail for the Program Committee to assess their merits.
• 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 directed at all members of the PC.
• Papers should be submitted as a single PDF file through the CSL 2026 Easychair submission site.
• 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 (excluding references and appendices).
• Papers may not be submitted concurrently to another conference with refereed proceedings. PC chairs should be informed of closely related work submitted elsewhere.
• Papers authored or co-authored by members of the PC (but not PC chairs) are allowed.
• Submissions are double-blind:
  • Authors must not include their names on the paper and should avoid revealing their identities in the text (references to previous or related work should be in the third person).
  • Authors are allowed and encouraged to disseminate their work on public repositories (e.g., arXiv or their websites).
• Authors are asked to declare conflicts with PC members when submitting their paper in Easychair.
• At least one author of each accepted paper is expected to register for the conference and attend in person or online to present their paper.

Important Dates

All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered.

• Abstract submission: 15 July 2025
• Paper submission: 21 July 2025
• Notification: 14 October 2025
• Final version: 30 November 2025
• Conference: 23-28 February 2026

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

Organizing Committee

• Stefano Guerrini - Sorbonne Paris Nord University, France