28th International Conference on Computer Science Logic

Add to watchlist Add to Google Calendar

Location: Barcelona, Spain
Begin: January 13, 2020
End: January 16, 2020
Keywords: logic, theoretical computer science, ,
Submission Deadline: July 4, 2019
Abbreviation: CSL 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 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.


  • paper submission : 4 July 2019

  • notifications :  14 October 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 


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

  • 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

  • Kamal Lodaya, IMSc, Chennai, India

  • Salvador Lucas, Technical University of Valencia, Spain

  • Angelo Montanari, University of Udine, Italy

  • Anca Muscholl, University of Bordeaux, France (co-chair)

  • Elaine Pimentel, University of Rio Grande do Norte, Brazil

  • Damien Pous, Ecole Normale Superieure de 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, Spain

  • Juan Carlos Martínez, University of Barcelona, Spain

Invited Speakers



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


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


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

Maribel Fernández Maribel.Fernandez@kcl.ac.uk

Anca Muscholl anca@labri.fr


Related Calls

  • 4th Workshop on Molecular Communications

    4th Workshop on Molecular Communications
    Topic: Computer science & Information and Communication Technology
    Location: Linz , Austria
    Begin: April 16, 2019
    Deadline: February 1, 2019

    Description   The 4th Workshop on Molecular Communications is being held in Linz, Austria, on April, 16th -18th, 2019. Building on the success of the previous three workshops, this workshop will ...

  • 25th International European Conference on Parallel and Distributed Computing

    25th International European Conference on Parallel and Distributed Computing
    Topic: Computer science & Information and Communication Technology
    Location: Göttingen , Germany
    Begin: August 27, 2019
    Deadline: February 15, 2019

    For many years Euro-Par has been established as one of the most important High Performance Computing Conferences. The conference series celebrates its 25th anniversary in 2019. Göttingen as an histori...

  • 10th International Conference on Computing and Informatics in Northern Chile

    10th International Conference on Computing and Informatics in Northern Chile
    Topic: Computer science & Information and Communication Technology
    Location: Antofagasta , Chile
    Begin: August 21, 2019

    INFONOR-CHILE is a space for the dissemination of scientific and professional academic activity in the area of computer engineering and computer science, including: presentations of scientific article...



Share by email Share on Facebook Share on Twitter Share on Google+ Share on LinkedIn Pin on Pinterest

Ask your question about this call