Logic in Stockholm 2017

NLS Summer School in Logic 2017

Logic Colloquium 2017

26th EACSL Annual Conference on Computer Science Logic CSL'2017

The event

The third Nordic Logic Summer School is arranged under the auspices of the Scandinavian Logic Society. 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. It will be held between August 7th and 11th.

Our poster for NLS 2017 can be found here.

The school will consist of 10 five hour courses, running in two parallel streams. In addition there will be student presentations and poster sessions.

The following lecturers and course topics are confirmed.

  • Mirna Dzamonja (U East Anglia)
    Set Theory: Forcing methods at the successor of a singular cardinal
  • 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 (U Maryland)
    Logic and Rationality
  • Peter Pagin and Dag Westerståhl (Stockholm U)
  • Sara L. Uckelman (Durham)
    Medieval Logic
  • Andreas Weiermann (Ghent)
    Proof Theory


Registration dates

  • Registration will open soon
  • Early registration: May 15, 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 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.

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.

Grant applications

Please see the instructions for grant applications.

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

Social programme

An excursion and conference dinner is planned for Wednesday.

Location and venue

Department of Mathematics, Kräftriket, Stockholm, 7-11 August, 2017.


Email for enquiries: nls2017 [at] philosophy.su.se.


Stockholm Mathematics Centre and Stockholm University, Department of Mathematics and Department of Philosophy.

Earlier instances

Organized by