[concurrency-interest] NLS 2017: Third Nordic Logic Summer School (NLS) 2017: Call for Participation and Registration

Roussanka Loukanova rl.stpuu at gmail.com
Wed Apr 5 23:12:54 EDT 2017

Third Nordic Logic Summer School (NLS) 2017
Stockholm, August 7 - 11, 2017

         Call for participation

    *** Registration is now open ***

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

The lectures run from

** Monday August 7, 9:00 to Friday August 11, 16:15 **


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

* 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

Programme and course descriptions can be found on
the Logic in Stockholm 2017 web site:


Certificates for participation will be provided. There will be
possibilities to take official credits for some of the courses.

Department of Mathematics, Kräftriket Campus, Stockholm University.

Registration opens: April 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, for students and participants from developing
countries, is 2000 SEK including VAT (approx. 200 Euros) per participant,
and includes coffee breaks and conference materials. For all others the
early registration fee is 2600 SEK including VAT. Late registration is 3200
SEK for all.

The registration is done on the Logic in Stockholm 2017 web site:


To be considered for a grant, you need to submit an application, with file


via EasyChair on this link:


On the bottom of the submission page of EasyChair, under Topics, you need
to check the box "Grant application", before uploading your application.

The application must contain the following documents, in one PDF document:

(1) Letter of Application for a grant, stating your logic-related interests
(2) academic records or transcripts of courses taken so far that
demonstrate your background in logic
(3) Letter of Recommendation from your current or most recent supervisor

Note 1: In case your recommender prefers to send the recommendation
directly, she/he should send it as an email attachment of a pdf file named:


to the following email address:

nls2017-grants at math.su.se

Email Subject: Letter-of-Recommendation-Your-Name.pdf

Note 2: "Your-Names" should be your actual first and family name, without

Note 3: In case the originals are not in English, the best is to provide
scans of official, certified translations. If that would be problematic,
you should supplement the scans of the originals with translations that are
verified by the name and signature of your supervisor. The applications
nominated for grants will be subject to further verifications.

Deadline for grant applications: ** April 24, 2017**
Notification: May 9, 2017

The registration fee does not cover accommodation, but there are special
offers at hostels and hotels (in the range 700 - 1200 SEK/night for single


There will be offers of inexpensive accommodation via the Stockholm
University Housing Office. The cost will be around 350 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 about submissions, registration and accommodation
possibilities is available on the Logic in Stockholm 2017 web site


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


Prover Technology

Stockholm Mathematics Centre


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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cs.oswego.edu/pipermail/concurrency-interest/attachments/20170406/111a788e/attachment-0001.html>

More information about the Concurrency-interest mailing list