Kalender
On 7 december
-
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, Logik
onsdag 2016-12-07, 10.00 - 11.45
Medverkande: Mateus de Oliveira Oliveira, University of Bergen
Plats: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University
2016-12-07T10:00:00.000+01:00 2016-12-07T11:45:00.000+01:00 Mateus de Oliveira Oliveira: Ground Reachability and Joinability in Linear Term Rewriting Systems are Fixed Parameter Tractable with Respect to Depth (Seminarium, Logik) Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Mateus de Oliveira Oliveira: Ground Reachability and Joinability in Linear Term Rewriting Systems are Fixed Parameter Tractable with Respect to Depth (Seminarium, Logik) -
SMC kollokvium
onsdag 2016-12-07, 15.15 - 17.00
Medverkande: Professor Karen Smith, University of Michigan
Plats: Oskar Klein, AlbaNova
2016-12-07T15:15:00.000+01:00 2016-12-07T17:00:00.000+01:00 Karen Smith: Geometry and Combinatorics via Finite Fields (SMC kollokvium) Oskar Klein, AlbaNova (KTH, Stockholm, Sweden)Karen Smith: Geometry and Combinatorics via Finite Fields (SMC kollokvium)