Calendar

Kathryn Lesh: Fixed points of p-toral subgroups acting on decomposition spaces

22 Mar

Topological Activities

Tuesday 2016-03-22, 13:15 - 15:00

Participating: Kathryn Lesh

Location: Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University

2016-03-22T13:15:00.480+01:00 2016-03-22T15:00:00.480+01:00 Kathryn Lesh: Fixed points of p-toral subgroups acting on decomposition spaces (Topological Activities) Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Kathryn Lesh: Fixed points of p-toral subgroups acting on decomposition spaces (Topological Activities)

Martín Escardó: Mathematical degrees of existence in type theory

22 Mar

Seminar, Logic

Tuesday 2016-03-22, 14:30 - 16:15

Participating: Martín Escardó, University of Birmingham

Location: Room 22, building 5, Kräftriket, Department of mathematics, Stockholm university

2016-03-22T14:30:00.503+01:00 2016-03-22T16:15:00.503+01:00 Martín Escardó: Mathematical degrees of existence in type theory (Seminar, Logic) Room 22, building 5, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Martín Escardó: Mathematical degrees of existence in type theory (Seminar, Logic)