[HPSG-L] Third Nordic Logic Summer School (NLS) 2017, First Announcement

[Roussanka Loukanova]

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

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