Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

7-10 September 2015, Computer Science Logic 2015 (CSL 2015), Berlin, Germany

Date: 7-10 September 2015
Location: Berlin, Germany
Deadline: 3 April 2015

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.

On 11-12 september two co-located events will take place:
- The 11th International Workshop on Fixed Points in Computer Science (FICS'15)
- YuriFest, a celebration of Yuri Gurevich's 75th birthday with a symposium in his honour

For more information, see http://logic.las.tu-berlin.de/csl2015/

We invite original research in the area of logic in computer science, very broadly construed. Abstract submission deadline is 3 April 2015.

Please note that this newsitem has been archived, and may contain outdated information or links.