Logic in Stockholm 2017, August 7-25
There will be a series of logic-related events in Stockholm in August 2017.
The Third Nordic Logic Summer School,
The 2017 ASL European Summer Meeting (Logic Colloquium),
The 26th EACSL Annual Conference on Computer Science Logic,
August 16–19 and 25
Workshop on Logic and Algorithms in Computational Linguistics 2017, .
Workshop on Logical Aspects of Multi-Agent Systems, .
Workshop on Logic and Automata Theory in memory of Zoltán Ésik.
Location and venue
LC 2017 and CSL 2017: Frescati campus (main campus of Stockholm University)
NLS 2017 and CSL 2017 affiliated workshops: Kräftriket campus (Stockholm University Department of Mathematics)
- Stockholm University, and
- Stockholm City Hall
See individual event pages for contact information.