Kalender
Må 21 november
-
Kursstart
ti 2016-11-01, 10.00 - ti 2016-12-20, 11.00
Plats: Room 306, building 6, Kräftriket, Department of Mathematics, Stockholm University
2016-11-01T10:00:00.000+01:00 2016-12-20T11:00:00.000+01:00 Reading course: Homotopy Type Theory (Kursstart) Room 306, building 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Reading course: Homotopy Type Theory (Kursstart) -
Seminarium, Teoretisk datalogi
måndag 2016-11-21, 12.00
Medverkande: Ilario Bonacina, Theory Group, KTH
Plats: Room 4523, Lindstedtsvägen 5, KTH CSC
2016-11-21T12:00:00.000+01:00 2016-11-21T12:00:00.000+01:00 Ilario Bonacina: Strong size lower bounds in regular resolution via games (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Ilario Bonacina: Strong size lower bounds in regular resolution via games (Seminarium, Teoretisk datalogi) -
Seminarium, Sannolikhetsteori
måndag 2016-11-21, 15.15 - 16.15
Medverkande: Ellen Powell (Cambridge)
Plats: Room 3721, Department of Mathematics, KTH. (Lindstedtsvägen 25)
2016-11-21T15:15:00.000+01:00 2016-11-21T16:15:00.000+01:00 Ellen Powell: Level lines of the Gaussian free field with general boundary data (Seminarium, Sannolikhetsteori) Room 3721, Department of Mathematics, KTH. (Lindstedtsvägen 25) (KTH, Stockholm, Sweden)Ellen Powell: Level lines of the Gaussian free field with general boundary data (Seminarium, Sannolikhetsteori)