Calendar
Sun 26 February
No calendar events were found within the current period.
Upcoming calendar events:
-
Topological Activities
Monday 2017-02-27, 15:15 - 17:00
Participating: Markus Spitzweck (Universität Osnabrück)
Location: Room 3418, Lindstedtsvägen 25, 4th floor, Department of mathematics, KTH
2017-02-27T15:15:00.000+01:00 2017-02-27T17:00:00.000+01:00 Markus Spitzweck: Hermitian K-theory for stable infinity categories with duality (Topological Activities) Room 3418, Lindstedtsvägen 25, 4th floor, Department of mathematics, KTH (KTH, Stockholm, Sweden)Markus Spitzweck: Hermitian K-theory for stable infinity categories with duality (Topological Activities) -
Seminar, Mittag-Leffler
Tuesday 2017-02-28, 15:00 - 16:00
Participating: Markus Spitzweck, University of Osnabrück
Location: Institut Mittag-Leffler, Auravägen 17, Djursholm
2017-02-28T15:00:00.000+01:00 2017-02-28T16:00:00.000+01:00 Markus Spitzweck: Hermitian K-theory for stable infinity categories with duality (Seminar, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Markus Spitzweck: Hermitian K-theory for stable infinity categories with duality (Seminar, Mittag-Leffler) -
Seminar, Logic
Wednesday 2017-03-01, 10:00 - 11:45
Participating: Erik Palmgren
Location: Room 22, building 5, Kräftriket, Department of Mathematics, Stockholm University
2017-03-01T10:00:00.000+01:00 2017-03-01T11:45:00.000+01:00 Erik Palmgren: Intuitionistic Ramified Type Theory (Seminar, Logic) Room 22, building 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Erik Palmgren: Intuitionistic Ramified Type Theory (Seminar, Logic)