AIM AND SCOPE
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.
Please select one of the following items to view the programme.
- Monday, 7 September 2015
- Tuesday, 8 September 2015
- Wednesday, 9 September 2015
- Thursday, 10 September 2015
Alternatively, you can view all days on one page.
The proceedings are now available.
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.
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.
- The 11th International Workshop on Fixed Points in Computer Science (FICS'15) will be held on 11 and 12 September 2015 as a co-located event of CSL'15.
- YuriFest: we will celebrate Yuri Gurevich's 75th birthday with a symposium to his honour on 11 and 12 September 2015 as a co-located event of CSL'15.
- The annual meeting of the GI Fachgruppe Logik will be organised at Technische Universität Berlin in conjunction with CSL'15. Follow this link for information about the programme and contribution of talks.