Logic in Stockholm 2017

NLS Summer School in Logic 2017

Logic Colloquium 2017

26th EACSL Annual Conference on Computer Science Logic CSL'2017

The events

There will be a series of logic-related events in Stockholm in August 2017. Our poster for these events can be found here.

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 25-26:
CSL 2017 affiliated workshops

Location and venue

The events will be held at Stockholm University as follows.

NLS 2017:
Kräftriket campus (Department of Mathematics)

LC 2017 and CSL 2017:
Frescati campus (the main campus of Stockholm University)

Contact

For contact info, see the webpages of the respective events.

Organized by