Kalender
Lö 4 mars
Kalenderhändelser saknas för aktuell period.
Kommande kalenderhändelser:
-
Seminarium, Teoretisk datalogi
måndag 2017-03-06, 13.15
Medverkande: Philipp Rümmer, Uppsala University
Plats: Room 4523, Lindstedtsvägen 5, KTH CSC
2017-03-06T13:15:00.000+01:00 2017-03-06T13:15:00.000+01:00 Philipp Rümmer: SAT-based learning to verify liveness of randomised parameterised systems (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Philipp Rümmer: SAT-based learning to verify liveness of randomised parameterised systems (Seminarium, Teoretisk datalogi) -
Seminarium, Sannolikhetsteori
måndag 2017-03-06, 15.15 - 16.15
Medverkande: Anders Szepessy (KTH)
Plats: Room 3721, Lindstedtsvägen 25. Department of Mathematics, KTH
2017-03-06T15:15:00.000+01:00 2017-03-06T16:15:00.000+01:00 Anders Szepessy: Quantum particle dynamics approximated by stochastic molecular dynamics (Seminarium, Sannolikhetsteori) Room 3721, Lindstedtsvägen 25. Department of Mathematics, KTH (KTH, Stockholm, Sweden)Anders Szepessy: Quantum particle dynamics approximated by stochastic molecular dynamics (Seminarium, Sannolikhetsteori) -
Topologiska aktiviteter
måndag 2017-03-06, 15.15 - 17.00
Medverkande: Joana Cirici (Freie Universität Berlin)
Plats: Room 37, House 5, Kräftriket, Department of Mathematics, Stockholm University
2017-03-06T15:15:00.000+01:00 2017-03-06T17:00:00.000+01:00 Joana Cirici: Formality of symmetric monoidal functors and operads via mixed Hodge theory (Topologiska aktiviteter) Room 37, House 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Joana Cirici: Formality of symmetric monoidal functors and operads via mixed Hodge theory (Topologiska aktiviteter)