sfondo golfo
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.

Important Dates

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

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

Program Committee

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).