w

Scandinavian Logic Society

3rd Nordic Logic Summer School 2017Stockholm University

7 - 11 Augusthttps://www.sls17.conf.kth.se

Volker Halbach (Oxford) Truth & Paradox Larry Moss (Indiana U, Bloomington) Natural Logic Eric Pacuit (U Maryland) Logic and Rationality Peter Pagin and Dag Westerståhl (Stockholm U) Compositionality Sara L. Uckelman (Durham) Medieval Logic

C o u r s e s s t r e a m 1

Thierry Coquand (Göteborg)Ali Enayat (Göteborg)Mai Gehrke (IRIF, Paris)Nina Gierasimczuk (Copenhagen)Valentin Goranko (Stockholm U)Lauri Hella (Tampere)Lars Kristiansen (Oslo)Juha Kontinen (Helsinki)Øystein Linnebo (Oslo)Sara Negri (Helsinki)Erik Palmgren (chair, Stockholm U)

Programme committee

Stefan Buijsman (Stockholm U)Mads Dam (KTH)Jacopo Emmenegger (Stockholm U)Valentin Goranko (OC co-chair Stockholm U)Dilian Gurov (OC co-chair, KTH)Eric Johannesson (Stockholm U) Vera Koponen (Uppsala U)Johan Lindberg (Stockholm U)Roussanka Loukanova (Stockholm U)Peter LeFanu Lumsdaine (Stockholm U)Anders Lundstedt (Stockholm U)Karl Nygren (Stockholm U)Erik Palmgren (OC co-chair, Stockholm U)

Local organizing committee

Stockholm UniversityStockholm Mathematics Center

Sponsors

RegistrationEarly: May 15Late: August 4

Submission deadlineAbstracts: May 2

Mirna Džamonja (U East Anglia) Set Theory Martín Escardó (Birmingham) Topological and Constructive Aspects of Higher-Order Computation Henrik Forssell (Oslo) Categorical Logic Anca Muscholl (LaBRI, U Bordeaux) Logic in Computer Science - Control and Synthesis, from a Distributed Perspective Andreas Weiermann (Ghent) Proof Theory

C o u r s e s s t r e a m 2

http

://m

edia

bank

.vis

itsto

ckho

lm.c

om/

Phot

ogra

pher

Sta

ffan

Elia

sson