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.

29 August - 1 September 2016, 25th EACSL Annual Conference on Computer Science Logic (CSL 2016), Marseille, France.

Date: 29 August - 1 September 2016
Location: Marseille, France.
Deadline: 8 April 2016

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.

Three affiliated workshops will be held as co-located events in the days following the conference: LCC'16: Logic and Computational Complexity 2016 (September 2 and 3)
PLRR: Parametricity, Logical Relations and Realizability (September 2)
QSLC: Quantitative Semantics of Logic and Computation (September 2 and 3)

For more information see http://csl16.lif.univ-mrs.fr/

Authors are invited to submit papers of no more than 15 pages in LIPIcs style (including references) presenting work not previously published, fitting the scope of the conference. Abstract submission deadline: April 8, 2016.

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