[TYPES/announce] Third Nordic Logic Summer School (NLS) 2017, First Announcement
Dilian Gurov
dilian at csc.kth.se
Thu Nov 17 12:03:26 EST 2016
Third Nordic Logic Summer School (NLS) 2017, First Announcement
----------------------------------------------------------------------------
Stockholm, August 7 - 11, 2017
The third Nordic Logic Summer School is arranged under the auspices of
the Scandinavian Logic Society (http://scandinavianlogic.org/). The two
previous schools were organized in Nordfjordeid, Norway (2013) and
Helsinki (2015). The intended audience is advanced master students,
PhD-students, postdocs and experienced researchers wishing to learn the
state of the art in a particular subject. The
school is co-located with Logic Colloquium 2017 (14-20 August)
and Computer Science Logic 2017 (21-24 August).
The school will consist of 10 five-hour courses, running in two parallel
streams. In addition, there will be short student presentations and
poster sessions.
Lecturers and courses
------------------------------
The following lecturers and course topics are confirmed.
Mirna Dzamonja (Univeristy of East Anglia) -- Set Theory
Martin Escardo (Birmingham) -- Topological and Constructive Aspects of
Higher-Order Computation
Henrik Forssell (Oslo) -- Categorical Logic
Volker Halbach (Oxford) -- Formal Theories of Truth
Larry Moss (Indiana University, Bloomington) -- Natural Logic
Anca Muscholl (LaBRI, Université Bordeaux) -- Logic in Computer Science
- Control and Synthesis, from a Distributed Perspective
Eric Pacuit (University of Maryland) -- Logic and Rationality
Peter Pagin and Dag Westerståhl (Stockholm University) -- Compositionality
Sara L. Uckelman (Durham) -- Medieval Logic
Andreas Weiermann (Ghent) -- Proof Theory
Certificates for participation will be provided. There will be
possibilities to take official credits for some of the courses.
Venue: Kräftriket Campus, Stockholm University.
Important dates
---------------------
Registration
Registration opens: March 6, 2017
Early registration: June 2, 2017
Late registration: August 4, 2017.
Submission of abstracts for presentations and posters
Opening: March 6, 2017
Closing: May 2, 2017
Notification of acceptance: May 16, 2017
The registration fee will be at most 2000 SEK (approx 200 Euros) per
participant, and includes lunches, coffee breaks and conference materials.
It does not cover accommodation, but there will special offers at
hostels and hotels (in the range 700 -1200 SEK/night for single rooms,
and much lower for shared hostel rooms) available when the registration
opens. Some participation/fee waiver grants may be available.
Further information
-------------------------
Further information about submissions, registration and accommodation
possibilities will (in due time)
be available on the NLS webpage:
https://www.sls17.conf.kth.se
Enquiries: nls2017 at philosophy.su.se
Committees
----------------
Program Committee of NLS 2017:
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 Organizing Committee of NLS 2017:
Valentin Goranko (co-chair), Dilian Gurov, Roussanka Loukanova, Peter
LeFanu Lumsdaine, Anders Lundstedt, Erik Palmgren (co-chair).
More information about the Types-announce
mailing list