CSL 2020: 28th International Conference on Computer Science Logic Barcelona, Spain, January 13-16, 2020

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 CSL 2020 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.

Dates

• paper submission: 4 July 2019 AOE
• notification:  30 September 2019

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

Committees

Program Committee

• Sandra Alves, University of Porto, Portugal
• Takahito Aoto, Niigata University, Japan
• Albert Atserias, Technical University of Catalonia, Spain
• Manuel Bodirsky, TU Dresden, Germany
• James Brotherston, University College London, UK 
• Rohit Chadha, University of Missouri,  USA
• Krishnendu Chatterjee, Institute of Science and Technology, Austria
• Adriana Compagnoni, Stevens Institute of Technology, USA
• Arnaud Durand, University Paris Diderot, France
• Maribel Fernández, King's College London, UK (co-chair)
• Bernd Finkbeiner, Saarland University, Germany
• Masahito Hasegawa, Kyoto University,  Japan
• Dietrich Kuske, TU Ilmenau, Germany
• Angelo Montanari, University of Udine, Italy
• Anca Muscholl, University of Bordeaux, France (co-chair)
• Prakash Panangaden, McGill University, Canada
• Elaine Pimentel, University of Rio Grande do Norte, Brazil
• Damien Pous, CNRS - ENS Lyon, France
• Femke van Raamsdonk, Vrije Universiteit Amsterdam, Netherlands
• Simona Ronchi Della Rocca, University of Torino, Italy
• Manfred Schmidt-Schauss, Goethe University, Germany
• Lutz Schröder, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany
• Lidia Tendera, Opole University, Poland
• Szymon Torunczyk, University of Warsaw, Poland
• Glynn Winskel, University of Cambridge, UK

Organizing committee

• Albert Atserias, Technical University of Catalonia (co-chair)
• Ilario Bonacina, Technical University of Catalonia
• Michal Garlik, Technical University of Catalonia 
• Tuomas Hakoniemi, Technical University of Catalonia 
• Joost Joosten, University of Barcelona
• Juan Carlos Martínez, University of Barcelona (co-chair)
• Moritz Müller, Technical University of Catalonia 

Invited Speakers

• Veronique Cortier (LORIA, France), "Verification of security protocols".
• Anuj Dawar (University of Cambridge, UK), "Symmetric computation".
• Artur Jez (University of Wroclaw, Poland), "Solving word equations (and other unification problems) by recompression".
• Delia Kesner (University Paris Diderot, France), "Reasoning about Dynamic Properties of Classical Term Calculi".
• Iddo Tzameret (Royal Holloway, UK), "From classical proof theory to P vs. NP: a guide to bounded theories".

Publication

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

Venue

The conference is organised by the Technical University of Catalonia and the University of Barcelona. It will be held in the University of Barcelona.

Contact

All questions about submissions should be emailed to the PC co-chairs:

Maribel.Fernandez@kcl.ac.uk

anca.muscholl@labri.fr