Kalender
Må 29 april - Sö 5 maj
-
29aprSeminarium, Teoretisk datalogimåndag 2019-04-29, 12.00Föreläsare: Jonah Brown-CohenPlats: Room 4523, Lindstedtsvägen 5 - floor 5, KTH2019-04-29T12:00:00.000+02:00 2019-04-29T12:00:00.000+02:00 Jonah Brown-Cohen: Extended Formulation Lower Bounds for Refuting Random CSPs (Seminarium, Teoretisk datalogi) Jonah Brown-Cohen: Extended Formulation Lower Bounds for Refuting Random CSPs (Seminarium, Teoretisk datalogi)
-
30aprTopologiska aktivitetertisdag 2019-04-30, 13.15 - 15.00Föreläsare: Emanuele Dotto (Bonn)Plats: Room 35, House 5, Kräftriket campus, Stockholm University2019-04-30T13:15:00.000+02:00 2019-04-30T15:00:00.000+02:00 Emanuele Dotto: Witt vectors with coefficients and the components of the Hill-Hopkins-Ravenel norm (Topologiska aktiviteter) Emanuele Dotto: Witt vectors with coefficients and the components of the Hill-Hopkins-Ravenel norm (Topologiska aktiviteter)
-
30aprSeminarium, Slumpmatristeoritisdag 2019-04-30, 15.15 - 16.15Föreläsare: Nicos GeorgiouPlats: Room F11, KTH2019-04-30T15:15:00.000+02:00 2019-04-30T16:15:00.000+02:00 Nicos Georgiou: Last passage times in discontinuous inhomogeneous environments (Seminarium, Slumpmatristeori) Nicos Georgiou: Last passage times in discontinuous inhomogeneous environments (Seminarium, Slumpmatristeori)
-
1majSeminarium, Logikonsdag 2019-05-01, 10.00 - 11.45Föreläsare: Joseph Helfer, Stanford UniversityPlats: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University2019-05-01T10:00:00.000+02:00 2019-05-01T11:45:00.000+02:00 Joseph Helfer: First-Order Homotopical Logic (Seminarium, Logik) Joseph Helfer: First-Order Homotopical Logic (Seminarium, Logik)
-
3majSeminarium, Doktorandfredag 2019-05-03, 13.15 - 14.00Föreläsare: Martin RynerPlats: Room 3418, Lindstedtsvägen 25, 4th floor, Department of Mathematics, KTH2019-05-03T13:15:00.000+02:00 2019-05-03T14:00:00.000+02:00 Martin Ryner: Automation of the control and analysis to reduce risk of errors in electron microscopy. (Seminarium, Doktorand) Martin Ryner: Automation of the control and analysis to reduce risk of errors in electron microscopy. (Seminarium, Doktorand)