Calendar
Mon 21 November
-
Course start
Tue 2016-11-01, 10:00 - Tue 2016-12-20, 11:00
Location: 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 (Course start) Room 306, building 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Reading course: Homotopy Type Theory (Course start) -
Seminar, Theoretical computer science
Monday 2016-11-21, 12:00
Participating: Ilario Bonacina, Theory Group, KTH
Location: 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 (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Ilario Bonacina: Strong size lower bounds in regular resolution via games (Seminar, Theoretical computer science) -
Seminar, Probability Theory
Monday 2016-11-21, 15:15 - 16:15
Participating: Ellen Powell (Cambridge)
Location: 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 (Seminar, Probability Theory) 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 (Seminar, Probability Theory)