More information at the main event page: Logic in Stockholm 2017, SMC

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