Logic in Stockholm 2017, August 7-25
The events
Logic in Stockholm is a series of logic-related events taking places in Stockholm in August 2017.
Poster (pdf 2.0 MB) / high resolution (pdf 7.4 MB)
General schedule/practical information (pdf 2.7 MB)
August 7–11
The Third Nordic Logic Summer School, NLS 2017
August 14–20
The 2017 ASL European Summer Meeting (Logic Colloquium), LC 2017
August 20–24
The 26th EACSL Annual Conference on Computer Science Logic, CSL 2017
August 16–19 and 25
CSL 2017 affiliated workshops :
August 16–19
Workshop on Logic and Algorithms in Computational Linguistics 2017, LACompLing2017 .
August 25
Workshop on Logical Aspects of Multi-Agent Systems, LAMAS 2017 .
August 25
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)
Sponsors
- Stockholm Mathematics Centre
- Stockholm University, Department of Mathematics and Department of Philosophy
- KTH Royal Institute of Technology
- Prover Technology
-
Stockholm City Hall
- G.S. Magnuson Foundation
Contact
See individual event pages for contact information.