the scandinavian logic society

slideshow 1

Logic in Stockholm 2017, August 7-25

https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2
There will be a series of logic-related events in Stockholm in August 2017.

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.

 Photo of Mount Akka / Àhkka massif seen from the high plateau Maukojaureh north-east of it by Tobias Radeskog / CC BY 3.0.