Third Nordic Logic Summer School (Stockholm, Sweden) Date/Time Date(s) - 07 Aug 2017 - 11 Aug 201712:00 am Visit https://www.sls17.conf.kth.se