Logic in Stockholm 2017, August 7-25, Stockholm University
Time: Mon 2017-04-17 11.00
Location: Stockholm University
This is a series of logic related events organized by the Departments of Mathematics and Philosophy at Stockholm University and the Department of Computer Science and Communication at the Royal Institute of Technology, with support from Stockholm Mathematics Centre.
The series consists of the following events:
August 7–11
The Third Nordic Logic Summer School, NLS 2017
Venue: Kräftriket Campus
August 14–20
The 2017 ASL European Summer Meeting (Logic Colloquium), LC 2017
Venue: Frescati Campus
August 20–24
The 26th EACSL Annual Conference on Computer Science Logic, CSL 2017
Venue: Frescati Campus
CSL 2017 affiliated workshops:
August 16–19
Workshop on Logic and Algorithms in Computational Linguistics 2017, LACompLing2017.
Venue: Kräftriket Campus
August 25
Workshop on Logical Aspects of Multi-Agent Systems, LAMAS 2017.
Venue: Kräftriket Campus
August 25
Workshop on Logic and Automata Theory in memory of Zoltán Ésik.
Venue: Kräftriket Campus
Registration is now open for all events.