Calendar
Sun 29 March
No calendar events were found within the current period.
Upcoming calendar events:
-
30MarDegree projectMonday 2020-03-30, 09:30 - 10:30Lecturer: Elisabeth BonnevierLocation: Zoom, Meeting ID: 788 997 0202020-03-30T09:30:00.000+02:00 2020-03-30T10:30:00.000+02:00 Elisabeth Bonnevier: Formalizing Cartesian Cubical Sets in UniMath (Degree project) Elisabeth Bonnevier: Formalizing Cartesian Cubical Sets in UniMath (Degree project)
-
30MarDegree projectMonday 2020-03-30, 11:00 - 12:00Lecturer: Philip StassenLocation: Zoom, Meeting ID: 678 046 9732020-03-30T11:00:00.000+02:00 2020-03-30T12:00:00.000+02:00 Philip Stassen: An Analysis of Curiens Explicit Syntax for Dependent Type Theory (Degree project) Philip Stassen: An Analysis of Curiens Explicit Syntax for Dependent Type Theory (Degree project)
-
30MarDegree projectMonday 2020-03-30, 14:00 - 15:00Lecturer: Olavus RogowskiLocation: Zoom Meeting ID: 642 223 2672020-03-30T14:00:00.000+02:00 2020-03-30T15:00:00.000+02:00 Olavus Rogowski: Kedjebråk, Fareyföljder och Fordcirklar (Degree project) Olavus Rogowski: Kedjebråk, Fareyföljder och Fordcirklar (Degree project)