Logic in Stockholm 2017

NLS Summer School in Logic 2017

Logic Colloquium 2017

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

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