Calendar
Fri 11 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, Graduate student
Friday 2016-11-11, 13:15 - 14:15
Participating: Christoph Neuner, SU
Location: Room 306, House 6, Kräftriket, SU
2016-11-11T13:15:00.000+01:00 2016-11-11T14:15:00.000+01:00 Christoph Neuner: A Converse of Banach's Fixed Point Theorem (Seminar, Graduate student) Room 306, House 6, Kräftriket, SU (KTH, Stockholm, Sweden)Christoph Neuner: A Converse of Banach's Fixed Point Theorem (Seminar, Graduate student)