Nordic Logic Summer School 2017, August 7-11

Program committee

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).

Local organization committee

Stefan Buijsman (Stockholm U),
Mads Dam (KTH, Stockholm),
Jacopo Emmenegger (Stockholm U),
Valentin Goranko (Stockholm U),
Dilian Gurov (KTH, Stockholm),
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 (Stockholm U).