Universiteit van Amsterdam


Institute for Logic, Language and Computation

20 - 24 August 2017, 26th Annual EACSL Conference on Computer Science Logic (CSL 2017), Stockholm, Sweden

Date: 20 - 24 August 2017
Location: Stockholm, Sweden
Target audience: logicians; computer scientists
Deadline: Sunday 4 June 2017

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 and is intended for computer scientists whose research involves logic, as well as for logicians working on issues essential for computer science.

CSL2017 is the 26th EACSL annual conference. It will be co-organised by Stockholm University and KTH Royal Institute of Technology, and hosted by Stockholm University. CSL2017 will be co-located with, and immediately preceded by, the Logic Colloquium 2017 (LC2017). There will be a joint session of CSL2017 and LC2017 in the morning of August 20, as well as CSL-affiliated workshops during August 25-26.

Authors are invited to submit abstracts for short oral presentations. Abstracts should be in English, up to 4 pages (including references) in LIPIcs style, describing work fitting the scope of the conference. They will NOT be included in the proceedings. Note that the deadline for contributed full papers passed on March 24rd.

For more information, see https://www.csl17.conf.kth.se or contact Valentin Goranko at .