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

Wed Feb 8 15:24:52 UTC 2017

LINGUIST List: Vol-28-764. Wed Feb 08 2017. ISSN: 1069 - 4875.

Subject: 28.764, 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

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

Date: Wed, 08 Feb 2017 10:23:43
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: Stockholm University
Coordinating Institution: Stockholm University
Website: https://www.sls17.conf.kth.se

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

Focus: The Third Nordic Logic Summer School (NLS) 2017 offers accessible courses in Logic.
Minimum Education Level: MA

Description:
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 (August 14-20)
and Computer Science Logic 2017 (August 21-24).

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. 

The lectures start on: Monday August 7, 9:00, and end Friday August 11, 16:15

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) 
-- Truth & Paradox

- 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: Department of Mathematics, Kräftriket Campus, Stockholm University.

Important Dates:

Registration:

Registration opens: March 6, 2017
Early registration ends: May 15, 2017
Late registration ends: August 4, 2017

Submission of abstracts for presentations and posters:

Opening: March 6, 2017
Closing: May 2, 2017
Notification of acceptance: May 9, 2017

The early registration fee will be 1900 SEK including VAT (approx. 190 Euros)
per participant, and includes coffee breaks and conference materials. Late
registration fee is 2600 SEK including VAT.

Some participation-fee grants may be available.

Accommodation:

The registration fee does not cover accommodation, but there will be special
offers at hostels and hotels (in the range 700 -1200 SEK/night for single
rooms) available when the registration opens.

Special Offer for Accommodation:

There will be offers of inexpensive accommodation via the Stockholm University
Housing Office. The cost will be around 300 SEK per person per night, in
studio apartments shared by two people. To be able to take part in this offer,
participants need to register at the latest May 15. Enquiries may be directed
to:

logic2017-accommodation [at] math.su.se

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

General enquiries: nls2017 [at] philosophy.su.se

Accommodation enquiries: logic2017-accommodation [at] math.su.se

Linguistic Field(s): Computational Linguistics
                      Semantics
                      Syntax

Tuition: 1900 Other

Tuition Explanation: The registration fee allows taking all 10 courses, student presentations and
poster sessions.

Financial Aid: Applications accepted until 15-May-2017
Some participation-fee grants may be available.
Special Offer for accommodation.

Financial Aid Instructions:
General enquiries: nls2017 at philosophy.su.se

There will be offers of inexpensive accommodation via the Stockholm University Housing Office. The cost will be around 300 SEK per person per night, in studio apartments shared by two people. To be able to take part in this offer, participants need to register at the latest May 15. Enquiries may be directed to:

logic2017-accommodation at math.su.se

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

Contact Person: Valentin Goranko
                Email: nls2017 at philosophy.su.se

Apply by Email: nls2017 at philosophy.su.se
Apply on the web: https://www.sls17.conf.kth.se

Registration Instructions:
Information about submissions, registration and accommodation possibilities
will (in due time) be available on the NLS webpage:

https://www.sls17.conf.kth.se

General enquiries: nls2017 at philosophy.su.se
Accommodation enquiries: logic2017-accommodation at math.su.se

----------------------------------------------------------
LINGUIST List: Vol-28-764	
----------------------------------------------------------