Kalender
Lö 25 februari
Kalenderhändelser saknas för aktuell period.
Kommande kalenderhändelser:
-
Topologiska aktiviteter
måndag 2017-02-27, 15.15 - 17.00
Medverkande: Markus Spitzweck (Universität Osnabrück)
Plats: 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 (Topologiska aktiviteter) 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 (Topologiska aktiviteter) -
Seminarium, Mittag-Leffler
tisdag 2017-02-28, 15.00 - 16.00
Medverkande: Markus Spitzweck, University of Osnabrück
Plats: 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 (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Markus Spitzweck: Hermitian K-theory for stable infinity categories with duality (Seminarium, Mittag-Leffler) -
Seminarium, Logik
onsdag 2017-03-01, 10.00 - 11.45
Medverkande: Erik Palmgren
Plats: 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 (Seminarium, Logik) Room 22, building 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Erik Palmgren: Intuitionistic Ramified Type Theory (Seminarium, Logik)