CSL: Computer Science Logic

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2026 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
CSL 2025 Computer Science Logic
Feb 10, 2025 - Feb 14, 2025 Amsterdam Jul 23, 2024 (Jul 18, 2024)
CSL 2024 32nd EACSL Annual Conference on Computer Science Logic
Feb 19, 2024 - Feb 24, 2024 Napoli, Italy Jul 31, 2023 (Jul 24, 2023)
CSL 2022 Computer Science Logic 2023
Feb 13, 2023 - Feb 17, 2023 Warsaw, Poland Jul 16, 2022 (Jul 9, 2022)
CSL 2016 25th EACSL Annual Conference on Computer Science Logic
Aug 29, 2016 - Sep 1, 2016 Marseille, France Apr 15, 2016 (Apr 8, 2016)
CSL 2015 COMPUTER SCIENCE LOGIC
Sep 7, 2015 - Sep 10, 2015 Berlin Apr 10, 2015 (Apr 3, 2015)
CSL 2011 20th Annual Conference of the European Association for Computer Science Logic
Sep 12, 2011 - Sep 15, 2011 Bergen, Norway Apr 3, 2011 (Mar 27, 2011)
CSL 2010 Computer Science Logic
Aug 23, 2010 - Aug 27, 2010 Brno, Czech Rep. Apr 2, 2010 (Mar 26, 2010)
CSL 2009 18th EACSL Annual Conference on Computer Science Logic
Sep 7, 2009 - Sep 11, 2009 Coimbra, Portugal Apr 6, 2009 (Mar 30, 2009)
 
 

Present CFP : 2025

=====================================
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),
seehttps://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 the 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 (and even encouraged) 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 paper.

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

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

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

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

Related Resources

IEEE-Ei/Scopus-ITCC 2025   2025 5th International Conference on Information Technology and Cloud Computing (ITCC 2025)-EI Compendex
CAV 2025   37th International Conference on Computer Aided Verification
SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
IEEE-Ei/Scopus-CNIOT 2025   2025 IEEE 6th International Conference on Computing, Networks and Internet of Things (CNIOT 2025) -EI Compendex
SIMULTECH 2025   15th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
IJDMS 2024   International Journal of Database Management Systems
CSITEC 2025   11th International Conference on Computer Science, Information Technology
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering