Kalender
Må 14 november
-
Kursstart
ti 2016-11-01, 10.00 - ti 2016-12-20, 11.00
Plats: 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 (Kursstart) Room 306, building 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Reading course: Homotopy Type Theory (Kursstart) -
Seminarium, Teoretisk datalogi
måndag 2016-11-14, 13.15
Medverkande: Patrizio Pelliccione, Chalmers University of Technology
Plats: 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 (Seminarium, Teoretisk datalogi) Room 1440 Biblioteket, Lindstedtsvägen 3 (KTH, Stockholm, Sweden)Patrizio Pelliccione: Architecting the next generation of vehicles (Seminarium, Teoretisk datalogi)