the scandinavian logic society

slideshow 1

Logic Session at the 27th Nordic Congress of Mathematicians

19 March 2016, Stockholm

The 27th Nordic Congress of Mathematicians (16-20 March 2016 in Stockholm) celebrates the 100th anniversary of Institut Mittag-Leffler. The founder of the institute Gösta Mittag-Leffler (1846 - 1927) was an early supporter of Georg Cantor and his set theory.

The Logic session of the Congress is devoted to set theory and foundational theories of mathematics, and consists of four invited talks followed by two shorter talks by PhD-students (TBA).

Saturday 19 March 2016, 14:00 - 18:30:

* Hugh Woodin, Independence, the Continuum Hypothesis, and the nature of infinity.
* Vadim Kulikov, Descriptive Set Theory of Topological Equivalence Relations.
* Martin Escardo, When the principle of omniscience just holds.
* Peter LeFanu Lumsdaine, "Type theory as a language for homotopy theory": what does it mean, really?

The full schedule and abstracts are available under the session "Logic" here:
or directly here:

Registration for the Congress is free of charge. If you wish to attend, please register at


Dag Normann
Erik Palmgren
Jouko Väänänen

(Organizers of the Logic session)

 Photo of Mount Akka / Àhkka massif seen from the high plateau Maukojaureh north-east of it by Tobias Radeskog / CC BY 3.0.