32nd EACSL Annual Conference on Computer Science Logic 2024 (CSL’24)
19-23 February 2024, Naples, Italy
About
CSL is the annual conference of the European Association for Computer Science Logic (EACSL).
It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.
CSL’24 is hosted by the University of Naples Federico II.
Submission guidelines
Submitted papers must be in English and must provide sufficient detail to allow the Program 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 papers should be submitted via easychair (the link will be opened in early June).
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 are not allowed.
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.
Topics
- automated deduction and interactive theorem proving
- constructive mathematics and type theory
- equational logic and term rewriting
- automata and games, game semantics
- modal and temporal logic
- model checking
- decision procedures
- logical aspects of computational complexity
- finite model theory
- 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
- nonmonotonic reasoning
Helena Rasiowa award
The Helena Rasiowa Award is the best student paper award for the CSL conference series, starting from CSL 2022. The award will be given to the best paper (as decided by the PC) written solely by students or for which students were the main contributors. A student in this context is any person who is currently studying for a degree or whose PhD award date is less than one year prior to the first day of the conference.
Read more about the contribution of Helena Rasiowa to logic and computer science, and their interplay, here.
Invited speakers
Committee
Chairs
-
Aniello Murano (University of Naples Federico II)
-
Alexandra Silva (Cornell University)
Program Committee
- 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 & 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é de Paris)
- Martin Zimmermann (Aalborg University)
Venue
CENTRO CONGRESSI FEDERICO II
Via Partenope, 36
Naples
Centro Congressi of the University Federico II is located at Via Partenope 36, on the seaside, near Castel dell'Ovo . Please note that the seafront area is car-free and thus, public transportations do not stop in front of the conference hall.
How to reach Centro Congressi Federico II:
From Airport: you can use taxis or take the Alibus line to the "Molo Angioino / Beverello" stop . Continue on foot to Via Acton, take bus 154, get off at the Santa Lucia stop and reach the congress venue (walking distance 5 minutes).
From Central Station (Piazza Garibaldi): you can use taxis or take the Metro Line 1 (Garibaldi, just outside the station) and get off at "Municipio". From there it is possible to reach the Congress venue by taxi or with a pleasant walk through Piazza del Plebiscito ((walking distance 15 minutes).
