Computer Science Logic 2018

Birmingham, United Kingdom
4–7 September


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.

CSL 2018 will be the 27th edition in the series. It will be organised by the School of Computer Science of the University of Birmingham at the nearby Winterbourne House and Garden. CSL 2017 took place in Stockholm, Sweden.


Submissions will be through EasyChair (deadlines TBD). Further details can be found in the Call for Papers

Proceedings will be published in the Leibniz International Proceedings in Informatics. After the conference, selected papers will be invited to a special issue of the online open access journal Logical Methods in Computer Science

Programme Committee

Organizing Committee

Dan R. Ghica and Achim Jung (Chairs); Marco Devesas Campos (Publicity).