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

 
 
 
 

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

• 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

 
 
 
 

Invited Speakers

• 

  Balder ten Cate
  University of Amsterdam
  Craig Interpolation for Decidable Fragments of First-Order Logic
  
• 

  Georg Gottlob
  University of Oxford
  AI & AI - Artificial Intelligence and Artificial Ignorance
  
• 

  Barbara König
  Universität Duisburg-Essen
  Approximating fixpoints of approximated functions
  
• 

  Marta Kwiatkowska
  University of Oxford
  Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms
  
• 

  Moshe Y. Vardi
  Rice University
  Logical Algorithmics
  

 
 
 
 

Accepted Papers

• Beniamino Accattoli. Semantic Bounds from Multi Types, Revisited
• Matteo Acclavio, Gianluca Curzi and Giulio Guerrieri. Infinitary cut elimination via finite approximations
• Veeti Ahvonen, Damian Heiman and Antti Kuusisto. Descriptive complexity for neural networks via Boolean networks
• Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem and Paolo Pistone. Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories
• Quentin Aristote. Active learning of deterministic transducers with outputs in arbitrary monoids
• Anita Badyl and Paweł Parys. Extending the WMSO+U Logic With Quantification Over Tuples
• Philippe Balbiani, Han Gao, Çigdem Gencer and Nicola Olivetti. A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus
• Davide Barbarossa and Paolo Pistone. Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs
• Fausto Barbero and Jonni Virtema. Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals
• Stefano Berardi, Peter Schuster and Gabriele Buriola. A general constructive form for Higman's lemma
• Manon Blanc and Olivier Bournez. Quantifiying the robustness of dynamical systems. Relating time and space to length and precision
• Benjamin Bordais, Patricia Bouyer and Stephane Le Roux. From Local to Global Optimality in Concurrent Parity Games
• Sophie Brinke, Erich Grädel and Lovro Mrkonjić. Ehrenfeucht-Fraïssé Games in Semiring Semantics
• Alexandre Clément, Noé Delorme, Simon Perdrix and Renaud Vilmart. Quantum Circuit Completeness: Extensions and Simplifications
• Geoffrey Cruttwell and Jean-Simon Lemay. Reverse tangent categories
• Anupam Das, Iris van der Giessen and Sonia Marin. Intuitionistic Gödel-Löb logic à la Simpson: labelled systems and birelational semantics
• Anuj Dawar and Lauri Hella. Quantifiers Closed Under Partial Polymorphisms
• Matt Earnshaw, James Hefford and Mario Román. The Produoidal Algebra of Process Decomposition
• Rasmus Ejlers Møgelberg and Maaike Zwart. What monads can and cannot do with a bit of extra time
• Eldar Fischer and Johann Makowsky. Extensions and Limits of the Specker-Blatter Theorem
• Eva Fluck, Tim Seppelt and Gian Luca Spitzer. Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth
• Laura Fontanella, Guillaume Geoffroy and Richard Matthews. Realisability models for large cardinals
• Yannick Forster, Dominik Kirst and Niklas Mück. The Kleene-Post and Post’s Theorem in the Calculus of Inductive Constructions
• Éric Goubault, Roman Kniazev and Jérémy Ledent. A many-sorted epistemic logic for chromatic hypergraphs
• Mario Grobler, Leif Sabellek and Sebastian Siebertz. Remarks on Parikh-recognizable omega-languages
• Julian Gutierrez, Anthony Widjaja Lin, Muhammad Najib, Thomas Steeples and Michael Wooldridge. Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games
• Luisa Herrmann, Vincent Peth and Sebastian Rudolph. Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures
• Alexander Kozachinskiy. Energy Games over Totally Ordered Groups
• Francois Laroussinie, Loriane Leclercq and Arnaud Sangnier. QLTL Model-Checking
• Moritz Lichter, Benedikt Pago and Tim Seppelt. Limitations of Game Comonads via Homomorphism Indistinguishability
• Salvador Lucas. Confluence of Conditional Rewriting Modulo
• Assia Mahboubi and Matthieu Piquerez. A First Order Theory of Diagram Chasing
• Vincent Moreau and Lê Thành Dũng Nguyễn. Syntactically and semantically regular languages of lambda-terms coincide through logical relations
• Antoine Mottet. Promise and Infinite-Domain Constraint Satisfaction
• Satoshi Nakata. Local operators in topos theory and separation of semi-classical axioms in intuitionistic arithmetic
• Federico Olimpieri. Coherence by Normalization for Linear Multicategorical Structures
• Daniël Otten and Benno van den Berg. Conservativity of Type Theory over Higher-order Arithmetic
• Thomas Place and Marc Zeitoun. A generic characterization of generalized unary temporal logic and two-variable first-order logic
• Daniel Stan, Muhammad Najib, Anthony Widjaja Lin and Parosh Aziz Abdulla. Concurrent Stochastic Lossy Channel Games
• Jonathan Sterling, Daniel Gratzer and Lars Birkedal. Free theorems from univalent reference types: the impact of univalence on denotational semantics
• Marius Tritschler. Guarded Hybrid Team Logics
• Tom van Dijk, Georg Loho and Matthew Maat. The worst-case complexity of symmetric strategy improvement

 
 
 
 

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:

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:

• The early bird time ends on January 11, 2024 AoE (payment due). The late registration ends on February 14, 2024 AoE (payment due).
• All registration options cover coffee breaks and lunches; additionally, the ones including CSL'24 cover also the social dinner.

	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.