27.4721, Summer Schools: Third Nordic Logic Summer School (NLS) 2017/Sweden

[The LINGUIST List via LINGUIST]

LINGUIST List: Vol-27-4721. Thu Nov 17 2016. ISSN: 1069 - 4875.

Subject: 27.4721, Summer Schools: Third Nordic Logic Summer School (NLS) 2017/Sweden

Moderators: linguist at linguistlist.org (Damir Cavar, Malgorzata E. Cavar)
Reviews: reviews at linguistlist.org (Helen Aristar-Dry, Robert Coté,
                                   Michael Czerniakowski)
Homepage: http://linguistlist.org

*****************    LINGUIST List Support    *****************
                       Fund Drive 2016
                   25 years of LINGUIST List!
Please support the LL editors and operation with a donation at:
           http://funddrive.linguistlist.org/donate/

Editor for this issue: Yue Chen <yue at linguistlist.org>
================================================================


Date: Thu, 17 Nov 2016 13:55:53
From: Roussanka Loukanova [rl.stpuu at gmail.com]
Subject: Third Nordic Logic Summer School (NLS) 2017/Sweden

 

Third Nordic Logic Summer School (NLS) 2017

Host Institution:   
Coordinating Institution:   
Website: https://www.sls17.conf.kth.se/

Dates: 07-Aug-2017 - 11-Aug-2017
Location: Stockholm, Sweden

Focus: 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.
Minimum Education Level: MA


Description:
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 (University 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).


Linguistic Field(s): Computational Linguistics
                      General Linguistics

Registration: 06-Mar-2017 to 04-Aug-2017

Contact Person: Erik Palmgren
                Email: nls2017 at philosophy.su.se


Registration Instructions:
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




------------------------------------------------------------------------------

*****************    LINGUIST List Support    *****************
                       Fund Drive 2016
Please support the LL editors and operation with a donation at:
            http://funddrive.linguistlist.org/donate/

        Thank you very much for your support of LINGUIST!
 


----------------------------------------------------------
LINGUIST List: Vol-27-4721	
----------------------------------------------------------
Visit LL's Multitree project for over 1000 trees dynamically generated
from scholarly hypotheses about language relationships:
          http://multitree.org/