[FOM] Logic Session at the 27th Nordic Congress of Mathematicians, 19 March 2016, Stockholm
Erik Palmgren
palmgren at math.su.se
Thu Feb 18 12:35:00 EST 2016
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:
http://www.mittag-leffler.se/congress-2016/sessions
or directly here: http://staff.math.su.se/palmgren/Logic_NCM.html
Registration for the Congress is free of charge. If you wish
to attend, please register at
http://www.mittag-leffler.se/congress-2016/registration
Welcome!
Dag Normann
Erik Palmgren
Jouko Väänänen
(Organizers of the Logic session)
More information about the FOM
mailing list