CSL18: Computer Science Logic 2018 Winterbourne House, University of Birmingham Birmingham, UK, September 4-7, 2018

Computer Science Logic (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.  

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 CSL2017 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 previously not published 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.

Selected papers will be invited to a special issue of the online open access journal Logical Methods in Computer Science.

Dates

• abstract submission : April 7th, 2018
• paper submission : April 16h, 2018
• notifications : June 14th, 2018

Invited Speakers

• Bob Coecke, University of Oxford
• Emmanuel Filiot, Université Libre de Bruxelles
• Catuscia Palamidessi, École Polytechnique
• Christine Tasson, Université Paris Diderot
• Szymon Toruńczyk, Uniwersytet Warszawksi

Committees

Program Committee

• Christel Baier, TU Dresden
• Martin Berger, Universtiy of Sussex
• Lars Birkedal, Aarhus University
• Veronique Bruyere, University of Mons
• Agata Ciabattoni, TU Wien
• Ugo Dal Lago, University of Bologna
• Ross Duncan, University of Strathclyde
• Jamie Gabbay, Heriot-Watt University
• Marco Gaboardi, SUNY at Buffalo
• Dan R. Ghica, University of Birmingham (Co-chair)
• Russ Harmer, CNRS & ENS Lyon
• Achim Jung, University of Birmingham (Co-chair)
• Juha Kontinen, University of Helsinki
• Jean Krivine, Université Paris Diderot & IRIF
• Sławomir Lasota, University of Warsaw
• Marina Lenisa, University of Udine
• Anca Muscholl, Université Bordeaux
• Wied Pakusa, RWTH Aachen University
• Daniela Petrisan, Université Paris Diderot
• Sebastian Siebertz, Univerity of Warsaw
• Alexandra Silva, University College London

Organizing committee

• Dan R. Ghica, Chair
• Achim Jung, Chair
• Marco Devesas Campos, Publicity

Publication

CSL18 proceedings will be published by Leibniz International Proceedings in Informatics (LIPIcs).

Venue

The conference will be held in Winterbourne House, University of Birmingham, Birmingham, UK.

Contact

All questions about submissions should be emailed to Dan Ghica.

Sponsors