[agents] CfP: Conference on Computer Science Logic (CSL 2025)

[Joerg Endrullis]

=====================================
Call for papers (CSL'25)
https://csl2025.github.io/
Abstract submission deadline: July 18th, 2024 (AoE)
=====================================

Computer Science Logic (CSL) is the annual conference of the European 
Association for Computer Science Logic (EACSL), see https://www.eacsl.org/.

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

CSL'25 will be held on February 10-24, 2025, in Amsterdam, Netherlands. 
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:

   https://easychair.org/conferences/?conf=csl2025

(the link will be opened in early June)

The CSL 2025 conference proceedings will be published in Leibniz 
International Proceedings in Informatics (LIPIcs), see 
https://submission.dagstuhl.de/documentation/authors.

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.

Papers authored or co-authored by members of the PC (but not PC chairs) 
are allowed.

The submissions are double-blind. Authors are not allowed to put their 
name on the paper, and they should avoid revealing their identities in 
text (references to previous or related work should be in third-person). 
Authors are allowed to disseminate the work on public repositories (e.g. 
on arXiv or their websites).

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 18th, 2024 AoE
Paper submission: July 23rd, 2024 AoE
Notification: October 27th, 2024 AoE
Final Version Due: November 24th, 2024 AoE
Conference: February 10th-14th, 2025

List of topics:
---------------

The following list is not exhaustive but indicates the scope of interest 
for CSL'25:
- 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
------------------

- Jörg Endrullis (Vrije Universiteit Amsterdam, Netherlands)
- Sylvain Schmitz (Université Paris Cité, France)

Program Committee
------------------

- Mahsa Shirmohammadi (CNRS, IRIF, France)
- Dana Fisman (Ben-Gurion U., Israel)
- Laure Daviaud (City University London, UK)
- Natasha Fernandes (Macquarie University, Sydney, Australia)
- Bahareh Afshari (ILLC Amsterdam, Netherlands)
- Corina Cîrstea (University of Southampton, UK)
- Sandra Alves (University of Porto, Portugal)
- Camille Bourgaux (CNRS, ENS Paris, France)
- Laura Bozzelli (Napoli, Italy)
- Shankara Narayanan Krishna (IIT Bombay, India)
- Assia Mahboubi (Inria Nantes, France)
- Davide Sangiorgi (University of Bologna, Italy)
- Anuj Dawar (University of Cambridge, UK)
- Robert Harper (Carnegie Mellon University, USA)
- Thomas Zeume (Ruhr University Bochum, Germany)
- Dale Miller (Inria Saclay, France)
- Alwen Tiu (Australian National University, Australia)
- Paul Brunet (Université Paris-Est Créteil, France)
- Rob J. van Glabbeek (UNSW, Sydney, Australia)
- Benoît Valiron (CentraleSupélec, France)
- Ugo Dal Lago (University of Bologna, Italy)
- Antti Kuusisto (Tampere University, Finland)
- Standa Živný (University of Oxford, UK)
- Moses Ganardi (MPI-SWS Kaiserslautern, Germany)
- Julien Grange (Université Paris-Est Créteil, France)
- Alessio Mansutti (IMDEA Software Institute, Spain)
- Takeshi Tsukada (University of Tokyo, Japan)

Organisation committee:
-----------------

Wan Fokkink (Vrije Universiteit Amsterdam, Netherlands)
Cynthia Bijl de Vroe (Vrije Universiteit Amsterdam, Netherlands)
Emma Triesman (Vrije Universiteit Amsterdam, Netherlands)