Calendar
Wed 07 December
-
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, Logic
Wednesday 2016-12-07, 10:00 - 11:45
Participating: Mateus de Oliveira Oliveira, University of Bergen
Location: 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 (Seminar, Logic) 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 (Seminar, Logic) -
SMC Colloquium
Wednesday 2016-12-07, 15:15 - 17:00
Participating: Professor Karen Smith, University of Michigan
Location: 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 Colloquium) Oskar Klein, AlbaNova (KTH, Stockholm, Sweden)Karen Smith: Geometry and Combinatorics via Finite Fields (SMC Colloquium)