Calendar
Mon 14 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, Theoretical computer science
Monday 2016-11-14, 13:15
Participating: Patrizio Pelliccione, Chalmers University of Technology
Location: Room 1440 Biblioteket, Lindstedtsvägen 3
2016-11-14T13:15:00.000+01:00 2016-11-14T13:15:00.000+01:00 Patrizio Pelliccione: Architecting the next generation of vehicles (Seminar, Theoretical computer science) Room 1440 Biblioteket, Lindstedtsvägen 3 (KTH, Stockholm, Sweden)Patrizio Pelliccione: Architecting the next generation of vehicles (Seminar, Theoretical computer science)