[TYPES/announce] CSL 2027 – First Call for Papers

[Yannick Forster]

=====================================
Call for papers CSL 2027
Brighton, UK
25-29 January 2027
Abstract submission:  Wednesday, July 8 (AoE)
https://urldefense.com/v3/__https://csl2027.github.io/__;!!IBzWLUs!Q65t2w1gXl5G9mWJMdsGsFB2Pp_dgQXETYJdz0hbpicf94AYHHfo0dOJQWeN87BmEHJpFnyWPtiKLO4i8M8avdy-d64oTT6g2v9Okf1QVg$ 
=====================================

Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL), see 
https://urldefense.com/v3/__https://www.eacsl.org/__;!!IBzWLUs!Q65t2w1gXl5G9mWJMdsGsFB2Pp_dgQXETYJdz0hbpicf94AYHHfo0dOJQWeN87BmEHJpFnyWPtiKLO4i8M8avdy-d64oTT6g2v_8Xku9OA$  It is
an interdisciplinary conference, spanning across both basic and application
oriented research in mathematical logic and computer science.

CSL 2027 is the 35th edition of the conference and will be held in 
Brighton on
25-29 January 2027, organised by Matteo Acclavio and Giulio Guerrieri.

Topics:
--------------
Topics of interest include, but are not limited to:
- automata and games
- automated deduction
- category theory, categorical logic, and topological semantics
- coalgebra
- computability
- concurrency and distributed computation
- constructive mathematics
- cyclic proofs
- database theory
- decision procedures
- denotational semantics
- description logics
- domain theory
- effects
- equational logic and term rewriting
- finite model theory
- first-order logic
- formal methods
- foundations of programming languages
- game semantics
- higher-order logic
- interactive theorem proving
- intersection types
- knowledge representation and reasoning
- lambda calculus and combinatory logic
- linear logic
- logic programming and constraints
- logical aspects of AI
- logical aspects of computational complexity
- logical aspects of quantum computing
- modal and temporal logic
- model checking
- nonmonotonic reasoning
- probabilistic methods
- program synthesis
- proof theory
- realizability
- security and privacy
- specification, extraction and transformation of programs
- type systems
- type theory
- verification and program analysis

Submission:
--------------
Submitted papers must be in English and must provide sufficient detail 
to allow
the Programme Committee to assess the merits of the paper. 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 paper should be submitted via HotCRP, a link will be provided soon.

The CSL 2027 conference proceedings will be published in the Leibniz
International Proceedings in Informatics (LIPIcs), see
https://urldefense.com/v3/__https://drops.dagstuhl.de/entities/series/LIPIcs__;!!IBzWLUs!Q65t2w1gXl5G9mWJMdsGsFB2Pp_dgQXETYJdz0hbpicf94AYHHfo0dOJQWeN87BmEHJpFnyWPtiKLO4i8M8avdy-d64oTT6g2v_XSS9yjA$ .

Authors are invited to submit contributed papers of no more than 15 pages in
LIPIcs style (not including appendices or references), see
https://urldefense.com/v3/__https://submission.dagstuhl.de/series/details/LIPIcs*author__;Iw!!IBzWLUs!Q65t2w1gXl5G9mWJMdsGsFB2Pp_dgQXETYJdz0hbpicf94AYHHfo0dOJQWeN87BmEHJpFnyWPtiKLO4i8M8avdy-d64oTT6g2v9jz3mSoQ$ , 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 lightweight 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 (and even encouraged) to disseminate the work on 
public
  repositories (e.g. on arXiv or their websites).
- The identity of authors will be revealed to reviewers after all 
reviews have
   been written

Papers authored solely by students or for which students are the main
contributors will be considered for the Helena Rasiova award
https://urldefense.com/v3/__https://www.eacsl.org/helena-rasiowa-award-2__;!!IBzWLUs!Q65t2w1gXl5G9mWJMdsGsFB2Pp_dgQXETYJdz0hbpicf94AYHHfo0dOJQWeN87BmEHJpFnyWPtiKLO4i8M8avdy-d64oTT6g2v-reYmg8Q$ 

Important dates:
--------------
All deadlines are midnight anywhere-on-earth (AoE); late submissions 
will not be
considered.
- Abstract submission: 8 July 2026
- Paper submission: 15 July 2026
- Notification: 15 October 2026, Brighton time
- Final Version: TBD
- Conference: 25-29 January 2027

Committee Chairs
--------------
- Corina Cirstea, University of Southampton, UK
- Yannick Forster, INRIA Paris, France

Program Committee
--------------
- Adrienne Lancelot, University of Bologna, Italy
- Alexis Saurin, CNRS & IRIF, France
- Aliaume Lopez, INP Bordeaux, France
- Anna Sokolova, University of Salzburg, Austria
- Artjoms Šinkarovs, University of Southampton, UK
- Arthur Azevedo de Amorim, Rochester Institute of Technology, USA
- Benjamin Kaminski, Saarland University, Germany
- Dale Miller, Inria Saclay, France
- Damien Pous, CNRS & ENS Lyon, France
- Daniel Gratzer, Aarhus University, Denmark
- David Baelde, ENS Rennes & IRISA, France
- Dirk Pattinson, Australian National University, Australia
- Dmitriy Traytel, University of Copenhagen, Denmark
- Dominik Kirst, Inria Saclay, France
- Erich Grädel, RWTH Aachen University, Germany
- Filippo Bonchi, University of Pisa, Italy
- Giulio Guerrieri, University of Sussex, UK
- Stefano Guerrini, Université Sorbonne Paris Nord, France
- Julian Gutierrez, University of Sussex, UK
- Ian Shillito, University of Birmingham, UK
- Jan Hoffmann, Carnegie Mellon University, USA
- Jonni Virtema, University of Glasgow, UK
- Jules Jacobs, ETH Zürich, Switzerland
- Julie Cailler, Loria, University of Lorraine, Inria, Nancy, France
- Jurriaan Rot, Radboud University Nijmegen, Netherlands
- Kazuki Watanabe, National Institute of Informatics, Tokyo, Japan
- Larry Moss, Indiana University Bloomington, USA
- Martin Zimmermann, Aalborg University, Denmark
- Matteo Acclavio, University of South Denmark, Denmark
- Mikołaj Bojańczyk, University of Warsaw, Poland
- Nao Hirokawa, Japan Advanced Institute of Science and Technology, 
Nomi, Japan
- Nick Bezhanishvili, University of Amsterdam, Netherlands
- Nikolas Mählmann, University of Warsaw, Poland
- Nikos Tzevelekos, Queen Mary University of London, UK
- Pedro Henrique Azevedo de Amorim, University of Brasília, Brazil
- Pablo Barenbaum, University of Buenos Aires, Argentina
- Patricia Bouyer, CNRS & LMF, ENS Paris-Saclay, France
- Paul Blain Levy, University of Birmingham, UK
- Philip Saville, University of Sussex, UK
- Salvador Lucas, Universitat Politècnica de València, Spain
- Sandra Kiefer, University of Oxford, UK
- Sławomir Lasota, University of Warsaw, Poland
- Stefano Guerrini, Université Sorbonne Paris Nord, France
- Thorsten Altenkirch, University of Nottingham, UK
- Toghrul Karimov, Max Planck Institute for Software Systems, Germany
- Tom de Jong, University of Nottingham, UK
- Wan Fokkink, Vrije Universiteit Amsterdam, Netherlands

Organisation committee:
--------------
- Matteo Acclavio
- Giulio Guerrieri