sfondo golfo
32nd EACSL Annual Conference on Computer Science Logic 2024 (CSL 2024)

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 2024 is hosted by the University of Naples Federico II.

CSL 2024 will be held on the 20th-23rd on February 2024 and will be co-located with the 12th International Workshop on Fixed Points in Computer Science (FICS'24), and The Logic Mentoring Workshop (LMW 2024).
FICS 2024 will be held on February 19-20. LMW 2024 will be held on February 23.

ICT Table will be held on the 23rd of February

See the booklet here.


Wi-Fi Credentials:

SSID: guestpartenope

Pass: xs402291


Welcome to the official page of #CSL24!

— CSL'24 (@CSL2024) January 4, 2024
 
 

Press



GazzettaDiNapoliBanchetto

Un successo bagnato dal sole di Napoli la CSL 2024, una delle Conferenze di Informatica più importanti al mondo. Nel Centro Congressi di Ateneo, di via Partenope,

i giganti dell’Informatica siedono in platea, senza formalismi perché di formale hanno già il ragionamento.

Read More

 
Il Mattino

Arriveranno a Napoli i padri fondatori dell’informatica per l’evento Eacsl2024 (conferenza annuale dell’associazione europea per la logica informatica),

una delle conferenze più importanti al mondo, che si terrà dal 20 al 23 febbraio 2024, presso il centro congressi dell’ateneo dell’università degli studi di Napoli Federico II.

Read More
 
 
Ansa

I guru dell'Informatica, leader indiscussi del panorama scientifico mondiale, saranno a Napoli per l'evento EACSL 2024,

la Conferenza annuale dell'Associazione Europea per la logica informatica che si terrà dal 20 al 23 febbraio 2024, presso il Centro Congressi dell'Ateneo dell'Università degli studi di Napoli, Federico II.

Read More

 
IlDenaro

I guru dell’Informatica, leader indiscussi del panorama scientifico mondiale, saranno a Napoli per l’evento EACSL 2024, la Conferenza annuale dell’Associazione Europea

per la logica informatica che si terrà dal 20 al 23 febbraio 2024, presso il Centro Congressi dell’Ateneo dell’Università degli studi di Napoli, Federico II.

Read More

 
LaGazzettaDiNapoli

A Napoli l’evento più atteso dalle comunità scientifiche di tutto il mondo: CSL 2024 (Conferenza annuale dell’EACSL

l’Associazione Europea per la logica informatica), una delle più importanti conferenze di Informatica, che si terrà dal 20 al 23 febbraio 2024, presso il Centro Congressi dell’Ateneo dell’Università degli Studi di Napoli Federico II.

Read More
Virgilio

I guru dell’Informatica, leader indiscussi del panorama scientifico mondiale, saranno a Napoli per l’evento EACSL 2024, la Conferenza annuale dell’Associazione Europea

per la logica informatica che si terrà dal 20 al 23 febbraio 2024, presso il Centro Congressi dell’Ateneo dell’Università degli studi di Napoli, Federico II.

Read More
Interview

Interview of Prof. Aniello Murano

See More
 
 
 
 

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. Authors must submit their papers through the CSL 2024 Easychair submission site at https://easychair.org/my/conference?conf=csl2024 as a single PDF file. 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

 
 
 
 

Accepted Papers

 
 
 
 

Committee

Chairs

Program Committee

Local Organizers

 
 
 
 

Venue


centro congressi
 
 

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:
  1. 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).
  2. 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).
The following maps shows the Centro Congressi position:

 
 
 
 

Affiliated Hotels

 
 

Below you will find suggested hotels with special prize*.

Hotel Details Price
Hotel San Francesco al Monte 25 minutes walking/buses/metro, see more details here.
Compile this form and follow the instruction to reserve your room.
Double Room single use: 120€
Double room: 135€ pp per night
(breakfast included)
Hotel Santa Lucia 4 stars, 3 minutes walking, further details here.
Please send your reservation to reception@santalucia.it with the event code "csl2024".
NEW! Double Room single use: 160€ pp per night
Double room: 195€ pp per night
(breakfast included)
Royal Continental (avaiable from Feb. 21th) 4 stars, 1 minutes walking,
more details here.
NEW! Double room single use: 140€ pp per night
If interested, please contact us (as registration has to be made via CSL)
Grand Hotel Oriente 30 minutes walking/buses/metro, further details here NEW! Double room single use: 170€ pp per night
If interested, please contact us
Double room: 210€ pp per night
We're waiting for a 20% reduction, STAY TUNED!

*Additionally, there are several B&B accommodations in the area at affordable prices (80-100€ pp per night).

 
 
 
 

Registration

 
 

For the registration please complete the following form


For the payment, you have to do a bank transfer at the following bank account:

Account: C.R.E.A.T.E.
Address: Via Claudio, 21 - 80125 Napoli, Italy
Bank: Banca FINECO
IBAN: IT70S0301503200000003750035
SWIFT/BIC: FEBIITM2
Description: CSL2024 - [Code] - [Full name]

IMPORTANT! The Description [Code] can be found inside the payment table below
Desription Example: CSL2024 - AR2 - John Smith indicates that John Smith Late-registered for CSL’24+FICS'24+LMW'24 with a regular payment of 850 €

Participation Fees

There are two fees to be paid:

  1. the participation fee, paid to the University of Napoli
  2. the EACSL membership fee, paid to the EACSL (regular membership is 20,00 Euro, student membership is 5,00. See the link for more).

We apologise in advance for any inconvenience caused by the need of paying two separate fees.

Important: Please note that the EACSL-membership is mandatory for CSL-participation.

NEW!: If you prefer, you can include the EACSL membership fee in the participation fee to be transferred to the C.R.E.A.T.E., then we will take care of your affiliation to EACSL. In this case you will receive a receipt for the total amount you will transfer to the C.R.E.A.T.E.


Participation Fee

There are the following mutually exclusive early bird/late/on-site registration options:

Early Late On Site
CSL’24+FICS'24+LMW'24 regular 750€ (code: AR1) 850€ (code: AR2) 900€ (code: AR3)
CSL’24+FICS'24+LMW'24 student 450€ (code: AS1) 550€ (code: AS2) 600€ (code: AS3)
CSL’24+LMW'24 regular 700€ (code: CR1) 800€ (code: CR2) 850€ (code: CR3)
CSL’24+LMW'24 student 400€ (code: CS1) 500€ (code: CS2) 550€ (code: CS3)
FICS'24 regular 200€ (code: FR1) 250€ (code: FR2) 275€ (code: FR3)
FICS'24 student 150€ (code: FS1) 200€ (code: FS2) 225€ (code: FS3)
LMW'24 100€ (code: L1) 125€ (code: L2) 150€ (code: L3)

Additionally:

  1. It is possible to buy additional tickets for the social dinner at the price of 80€ (up to 30 people). Please contact us.
  2. For each paper it is necessary to have an author registration.


Program


 
 

Monday 19.02 FICS’24

08:30-09:00 CSL 2024 & FICS 2024 Registration

09:00-17:30 FICS Program

17:30-18:00 CSL 2024 & FICS 2024 Registration

18:00-20:00 CSL 2024 & FICS 2024 Welcome Event! (Centro Congressi)

Tuesday 20.02

08:30-09:00 CSL 2024 Registration

09:00-09:30 CSL 2024 Opening

09:30-10:30 Invited talk (co-located with FICS’24) by Barbara König: Approximating fixpoints of approximated functions - Aula Magna - Chair Bahareh Afshari

10:30-11:00 Coffee break

11:00-13:05 Session 1 (Complexity Theory, Rewriting, and Monoidal Categories) - Aula Magna - Chair Matteo Acclavio:

13:05-14:30 Lunch

14:30-15:30 Invited talk by Georg Gottlob: AI & AI - Artificial Intelligence and Artificial Ignorance - Aula Magna - Chair Marta Kwiatkowska

15:30-16:00 Coffee break

16:00-18:05 Session 2 (Team Logic and Neural Network) - Aula Magna - Chair Barbara König:

Wednesday 21.02

09:00-10:00 Invited talk by Marta Kwiatkowska: Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms

10:00-10:30 Coffee break

10:30-12:35 Session 3 (Games) - Aula Magna - Chair Marco Faella :

12:35-13:50 Lunch

13:50-15:30 Session 4 (Logic) - Aula Magna - Chair Balder ten Cate:

15:30-15:55 Coffee Break

15:55-18:00 Session 5 (Type Theory and Model Theory) - Aula Magna - Chair Gabriele Vanoni:

Thursday 22.02

09:00-10:00 Invited talk by Balder ten Cate: Craig Interpolation for Decidable Fragments of First-Order Logic - Aula Magna - Chair Olivier Bournez

10:00-10:30 Coffee break

10:30-12:35 Session 6 (First Order Logic) - Aula Magna - Chair Luigi Sauro:

12:35-13:30 Lunch

13:45-14:15 Rasiowa award (tba)

14:15-15:00 Ackermann award (tba)

15:00-15:15 Tea break

15:15-16:00 Business meeting (EATCS Event)

16:15 A bus will leave from the venue of Via Partenope towards Piazza del Gesù

17:30-18:30 Social Dinner Venue Entrance (at Monastero di Santa Chiara ) and beginning of the Museum guided tour

18:30-19:30 Pre-dinner with a drink and hors d'oeuvres

19:30-22:30 Gala Dinner (at Antico Refettorio )

22:30 Leaving from Piazza del Gesù towards Via Partenope

Friday 23.02 (in parallel with LMW’24 and the Industrial Table)

9:00-9:15 Welcome from Matteo Lorito, Rector of Federico II University

9:15-10:15 Invited talk by Moshe Y. Vardi: Logical Algorithmics - Aula Magna

10:15-10:45 Coffee break

10:45-12:50 Session 7 (Monadic Logic and Automata) - Aula A - Chair Moshe Y. Vardi:

12:50-14:00 Lunch

14:00-15:40 Session 8 (Lambda calculus) - Aula A - Chair Ugo Dal Lago:

15:40-16:10 Coffee break

16:10-17:50 Session 9 (Logic and Arithmetic) - Aula Magna - Chair Beniamino Accattoli:

17:50-18:00 Farewell



ICT Table Program


 
 

Friday 23.02 (in parallel with LMW’24 and CSL'24)

9:00-9:15 Welcome salute from the University of Naples Federico II Chancellor Matteo Lorito

9:15-10:15 Invited talk by Moshe Y. Vardi: Logical Algorithmics

10:15-10:45 Coffee break

10:45-12:45 Morning Industrial Session:

12:50-14:00 Lunch

14:00-15:10 Afternoon Industrial Program:

15:40-16:10 Coffee break

 

Social Dinner


Image 1
Image 2
Image 3
Image 4
 
 

Antico Refettorio, Complesso Monumentale di Santa Chiara

Via Santa Chiara, 49/c

Naples

Complesso Monumentale di Santa Chiara is located at Via Santa Chiara, 49/c, in the heart of the city, near Piazza del Gesù.

How to reach Antico Refettorio, Complesso Monumentale di Santa Chiara:
  1. From Airport: you can use taxis or take the Alibus line to the "Piazza Garibaldi" stop . Continue on foot to Garibaldi station (1 minute walking), take Metro Line 1 to Piscinola, get off at the Università stop and reach the social event venue (walking distance 8 minutes).
  2. From Central Station (Piazza Garibaldi): you can use taxis or take the Metro Line 1 (Garibaldi, just outside the station) and get off at "Univerisità". From there it is possible to reach the Social Event venue with a pleasant walk (walking distance 8 minutes).
The following maps shows the Antico Refettorio position:

 
 

Sponsors

 
 

Contacts

 
 

For any information, please feel free to reach out to us using the contact information provided below.


For press conference, please contact the following: