Kalender

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

22 mar

Topologiska aktiviteter

tisdag 2016-03-22, 13.15 - 15.00

Medverkande: Kathryn Lesh

Plats: 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 (Topologiska aktiviteter) 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 (Topologiska aktiviteter)

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

22 mar

Seminarium, Logik

tisdag 2016-03-22, 14.30 - 16.15

Medverkande: Martín Escardó, University of Birmingham

Plats: 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 (Seminarium, Logik) Room 22, building 5, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Martín Escardó: Mathematical degrees of existence in type theory (Seminarium, Logik)