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

Scientific Programme

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

Alternatively, you can view all days on one page.

Proceedings

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.