Computer Science Logic 2015
Berlin, 7-10 September 2015
Technische Universität Berlin


Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

Scientific Programme

Please select one of the following items to view the programme.

Alternatively, you can view all days on one page.


The proceedings are now available.

Social Programme

Welcome Reception

On Monday evening there will be a welcome reception in room H 3005, including drinks and some food. This is the same room as the registration and coffee breaks.

Business Meeting

On Tuesday night there will be the EACSL business meeting.

Ackermann Award Ceremony

Wednesday before lunch we will have the Ackermann Award Ceremony. The EACSL Ackermann Award(s) will be presented and the recipient(s) will give a presentation.

Excursion and Conference Dinner

On Wednesday afternoon there will be an excursion to Potsdam, a small historic town near Berlin, where we will also have the conference dinner. Participants will be given the opportunity to visit Park Sanssouci and the famous palace within the park.


The 24th EACSL Annual Conference on Computer Science Logic will be held at Technische Universität Berlin from Monday, 7 September 2015 to Thursday, 10 September 2015. The conference will be organised by the Logic and Semantics Research Group at the Department of Electrical Engineering and Computer Science of the TU Berlin.