<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>=====================================<br>
</p>
<div id=":px" class="a3s aiL ">
Final call for papers (CSL'24)<br>
<a href="https://csl2024.github.io/Home/" rel="noreferrer"
target="_blank"
data-saferedirecturl="https://www.google.com/url?q=https://csl2024.github.io/Home/&source=gmail&ust=1689934498778000&usg=AOvVaw1WqCIbQ5BqBFdvKU5396bu">https://csl2024.github.io/Home<wbr>/</a><br>
Abstract submission deadline: July 24th, 2023 (AoE)<br>
==============================<wbr>=======<br>
<br>
Computer Science Logic (CSL) is the annual conference of the
European Association for Computer Science Logic (EACSL),
seehttps://<a href="http://www.eacsl.org/" rel="noreferrer"
target="_blank"
data-saferedirecturl="https://www.google.com/url?q=http://www.eacsl.org/&source=gmail&ust=1689934498779000&usg=AOvVaw1ohsTIvJyQVE0h5ZyzzaME">www.eacsl.org/</a>.<br>
<br>
It is an interdisciplinary conference, spanning across both basic
and application oriented research in mathematical logic and
computer science.<br>
<br>
CSL'24 will be held on February 19-23, 2024, in Naples, Italy. It
is planned as an on-site event, with support for remote
presentations.<br>
<br>
<br>
Submission guidelines:<br>
----------------------<br>
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.<br>
<br>
The paper should be submitted via Easychair:<a
href="https://easychair.org/conferences/?conf=csl2024"
rel="noreferrer" target="_blank"
data-saferedirecturl="https://www.google.com/url?q=https://easychair.org/conferences/?conf%3Dcsl2024&source=gmail&ust=1689934498779000&usg=AOvVaw18M-c7RfKAQqdt6qFABn0W">https://easychair.or<wbr>g/conferences/?conf=csl2024</a><br>
<br>
The CSL 2024 conference proceedings will be published in Leibniz
International Proceedings in Informatics (LIPIcs), seehttps://<a
href="http://submission.dagstuhl.de/documentation/authors"
rel="noreferrer" target="_blank"
data-saferedirecturl="https://www.google.com/url?q=http://submission.dagstuhl.de/documentation/authors&source=gmail&ust=1689934498779000&usg=AOvVaw0UPCQhtaIBQVbbV1rcJKkj">submission.dagstuhl<wbr>.de/documentation/authors</a>.<br>
<br>
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.<br>
<br>
At least one of the authors of each accepted paper is expected to
register for the conference in order to present their papers.<br>
<br>
Important dates:<br>
----------------<br>
Abstract submission: July 24th, 2023 AoE,<br>
Paper submission: July 31st, 2023 AoE,<br>
Notification: October 27th, 2023 AoE<br>
<br>
Conference: February 19th-23rd, 2024<br>
<br>
List of topics:<br>
---------------<br>
The following list is not exhaustive but indicates the scope of
interest for CSL'23:<br>
- automated deduction and interactive theorem proving<br>
- concurrency and distributed computation<br>
- constructive mathematics and type theory<br>
- equational logic and term rewriting<br>
- automata and games, game semantics<br>
- formal methods<br>
- modal and temporal logic<br>
- description logics<br>
- logical aspects of AI<br>
- model checking<br>
- decision procedures<br>
- logical aspects of computational complexity<br>
- knowledge representation and reasoning<br>
- finite model theory<br>
- computability<br>
- computational proof theory<br>
- logic programming and constraints<br>
- lambda calculus and combinatory logic<br>
- domain theory<br>
- categorical logic and topological semantics<br>
- database theory<br>
- specification, extraction and transformation of programs<br>
- logical aspects of quantum computing<br>
<br>
<br>
Committee Chairs<br>
------------------<br>
<br>
- Aniello Murano (University of Naples Federico II)<br>
- Alexandra Silva (Cornell University)<br>
<br>
Program Committee<br>
------------------<br>
<br>
- Shaull Almagor (Technion) <br>
- Christel Baier (TU Dresden) <br>
- Filippo Bonchi (University of Pisa) <br>
- James Brotherston (University College London)<br>
- Valentina Castiglioni (Reykjavik University)<br>
- Taolue Chen (Birkbeck, University of London)<br>
- Diana Costa (Universidade de Lisboa)<br>
- Silvia Ghilezan (University of Novi Sad)<br>
- Nina Gierasimczuk (Technical University of Denmark)<br>
- Wojtek Jamroga (Polish Academy of Sciences)<br>
- Benjamin Lucien Kaminski (Saarland University, Saarland
Informatics Campus)<br>
- Tobias Kappé (Open University of the Netherlands and ILLC,
University of Amsterdam)<br>
- Shin-Ya Katsumata (National Institute of Informatics)<br>
- Marie Kerjean (CNRS, LIPN, Université Sorbonne Paris Nord)<br>
- Juha Kontinen (University of Helsinki)<br>
- Clemens Kupke (University of Strathclyde)<br>
- Martin Lange (University of Kassel)<br>
- Carsten Lutz (Universität Bremen)<br>
- Nicolas Markey (IRISA, CNRS & INRIA & Univ. Rennes 1)<br>
- Larry Moss (Indiana University Bloomington)<br>
- Pierre Ohlmann (University of Warsaw)<br>
- Guillermo Perez (University of Antwerp)<br>
- Nir Piterman (Chalmers University of Technology)<br>
- Jurriaan Rot (Radboud University)<br>
- Lutz Schröder (Friedrich-Alexander-Universit<wbr>ät
Erlangen-Nürnberg)<br>
- Sonja Smets (University of Amsterdam)<br>
- Pawel Sobocinski (Tallinn University of Technology)<br>
- Luca Spada (Università di Salerno)<br>
- Sam Staton (University of Oxford)<br>
- Christine Tasson (LIP6 - Sorbonne Université)<br>
- Andrea Turrini (Institute of Software, Chinese Academy of
Sciences)<br>
- Sam van Gool (Université Paris Cité)<br>
- Martin Zimmermann (Aalborg University)<br>
<br>
<br>
Organization committee:<br>
-----------------<br>
- Aniello Murano (University of Naples Federico II)<br>
- Munyque Mittelmann (University of Naples Federico II)<br>
- Francesco Chiariello (University of Naples Federico II)<br>
- Davide Catta (University of Naples Federico II)<br>
- Vadim Malvone (Télécom Paris)<font color="#888888"><br>
<br>
</font></div>
</body>
</html>