CSL 2024 : 32nd EACSL Annual Conference on Computer Science Logic
CSL 2024 : 32nd EACSL Annual Conference on Computer Science Logic

CSL 2024 : 32nd EACSL Annual Conference on Computer Science Logic

Napoli, Italy
Event Date: February 19, 2024 - February 24, 2024
Abstract Submission Deadline: July 24, 2023
Submission Deadline: July 31, 2023
Notification of Acceptance: October 27, 2023
Camera Ready Version Due: November 24, 2023

Call for Papers

Call for papers (CSL'24)
Abstract submission deadline: July 24th, 2023 (AoE)

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL), see

It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.

CSL'24 will be held on February 19-23, 2024, in Naples, Italy. It is planned as an on-site event, with support for remote presentations.

Submission guidelines:
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 Easychair:

The CSL 2024 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs), see

Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including appendices or 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.

At least one of the authors of each accepted paper is expected to register for the conference in order to present their papers.

Important dates:
Abstract submission: July 24th, 2023 AoE,
Paper submission: July 31st, 2023 AoE,
Notification: October 27th, 2023 AoE

Conference: February 19th-23rd, 2024

List of topics:
The following list is not exhaustive but indicates the scope of interest for CSL'23:
- 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
- modal and temporal logic
- description logics
- logical aspects of AI
- model checking
- decision procedures
- logical aspects of computational complexity
- knowledge representation and reasoning
- 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

Committee Chairs

- Aniello Murano (University of Naples Federico II)
- Alexandra Silva (Cornell University)

Program Committee

- Shaull Almagor (Technion)
- Christel Baier (TU Dresden)
- Filippo Bonchi (University of Pisa)
- James Brotherston (University College London)
- Valentina Castiglioni (Reykjavik University)
- Taolue Chen (Birkbeck, University of London)
- Diana Costa (Universidade de Lisboa)
- Silvia Ghilezan (University of Novi Sad)
- Nina Gierasimczuk (Technical University of Denmark)
- Wojtek Jamroga (Polish Academy of Sciences)
- Benjamin Lucien Kaminski (Saarland University, Saarland Informatics Campus)
- Tobias Kappé (Open University of the Netherlands and ILLC, University of Amsterdam)
- Shin-Ya Katsumata (National Institute of Informatics)
- Marie Kerjean (CNRS, LIPN, Université Sorbonne Paris Nord)
- Juha Kontinen (University of Helsinki)
- Clemens Kupke (University of Strathclyde)
- Martin Lange (University of Kassel)
- Carsten Lutz (Universität Bremen)
- Nicolas Markey (IRISA, CNRS & INRIA & Univ. Rennes 1)
- Larry Moss (Indiana University Bloomington)
- Pierre Ohlmann (University of Warsaw)
- Guillermo Perez (University of Antwerp)
- Nir Piterman (Chalmers University of Technology)
- Jurriaan Rot (Radboud University)
- Lutz Schröder (Friedrich-Alexander-Universität Erlangen-Nürnberg)
- Sonja Smets (University of Amsterdam)
- Pawel Sobocinski (Tallinn University of Technology)
- Luca Spada (Università di Salerno)
- Sam Staton (University of Oxford)
- Christine Tasson (LIP6 - Sorbonne Université)
- Andrea Turrini (Institute of Software, Chinese Academy of Sciences)
- Sam van Gool (Université Paris Cité)
- Martin Zimmermann (Aalborg University)

Organisation committee:
- Aniello Murano (University of Naples Federico II)
- Munyque Mittelmann (University of Naples Federico II)
- Francesco Chiariello (University of Naples Federico II)
- Davide Catta (University of Naples Federico II)
- Vadim Malvone (Télécom Paris)


CSL 2024 : 32nd EACSL Annual Conference on Computer Science Logic will take place in Napoli, Italy. It’s a 6 days event starting on Feb 19, 2024 (Monday) and will be winded up on Feb 24, 2024 (Saturday).

CSL 2024 falls under the following areas: FORMAL METHODS, LOGIC, AUTOMATA AND GAMES, THEORETICAL COMPUTER SCIENCE, etc. Submissions for this Conference can be made by Jul 31, 2023. Authors can expect the result of submission by Oct 27, 2023. Upon acceptance, authors should submit the final version of the manuscript on or before Nov 24, 2023 to the official website of the Conference.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the CSL 2024

  • Short Name: CSL 2024
  • Full Name: 32nd EACSL Annual Conference on Computer Science Logic
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of CSL 2024
  • Event Type: Conference
  • Website Link:
  • Location/Address: Napoli, Italy

Credits and Sources

[1] CSL 2024 : 32nd EACSL Annual Conference on Computer Science Logic

Check other Conferences, Workshops, Seminars, and Events


ICFEM 2024: International Conference on Formal Engineering Methods
Hiroshima , Japan
Dec 2, 2024
AFMAS 2024: Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
SIMULTECH 2024: 14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
Dijon, France
Jul 10, 2024
FMICS 2024: 29th International Conference on Formal Methods for Industrial Critical Systems
Sep 9, 2024
SEC 2024: 10th International Conference on Software Engineering
Melbourne, Australia
Apr 20, 2024


ICLP 2024: International Conference on Logic Programming
Oct 11, 2024
CONCUR 2024: International Conference on Concurrency Theory
Calgary, Canada
Sep 9, 2024
IEEE LA-CCI 2024: IEEE Latin America Conference on Computational Intelligence
Bogota, Columbia
Nov 13, 2024
TIME 2024: The 31st International Symposium on Temporal Representation and Reasoning
Montpellier, France
Oct 28, 2024
PPDP 2024: The 26th International Symposium on Principles and Practice of Declarative Programming
Milan, Italy
Sep 9, 2024


LearnAut 2024: Learning and Automata
Tallinn, Estonia
Jul 7, 2024
IJRAP 2024: International Journal of Recent advances in Physics
Highlights 2024: Highlights of Logic, Games and Automata
Bordeaux, France
Sep 16, 2024
AFL 2023: 16th International Conference on Automata and Formal Languages
Eger, Hungary
Sep 5, 2023
RP 2023: The 17th International Conference on Reachability Problems
Nice, France
Oct 11, 2023