Computer Science Logic 2018

Birmingham, United Kingdom
4–7 September

Early Bird Extended

Registration is now open and the early bird period has been extended till 7 August!

The list of accepted papers and the (preliminary) programme are also available!


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 Edgbaston Park Hotel. CSL 2017 took place in Stockholm, Sweden.

Achim Jung Fest

On the day following CSL 2018 there will be a workshop dedicated to Achim Jung, to commemorate his career on occasion of his 60th birthday.

Invited Speakers


Thirty-six papers were selected for presentation at CSL 2018. You can find the preliminary programme on EasyChair.

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.

Submission happened through EasyChair (deadlines). Further details can be found on the submission instructions or on the Easychair CfP.


Registration is now open through the University’s webshop. The fees are as follows:

Early Bird Conference (Standard) £300
Early Bird Conference (Student) £240
Regular Conference (after 7 August) £350
Conference Dinner £48
Excursion—Black Country Living Museum £32
Achim Jung Fest free

For help on travelling to and arranging your stay in Birmingham, please check our Local Information page.

Programme Committee

Organizing Committee