Calendar
Thu 26 March
No calendar events were found within the current period.
Upcoming calendar events:
-
Seminar, Algebraic Geometry (arXiv)
Friday 2020-03-27, 10:15 - 12:00
Participating: Kristian Jonsson Moi
Location: Zoom
2020-03-27T10:15:00.000+01:00 2020-03-27T12:00:00.000+01:00 Kristian Jonsson Moi: Universality and localization for K-theory (Seminar, Algebraic Geometry (arXiv)) Zoom (KTH, Stockholm, Sweden)Kristian Jonsson Moi: Universality and localization for K-theory (Seminar, Algebraic Geometry (arXiv)) -
Degree project
Monday 2020-03-30, 09:30 - 10:30
Participating: Elisabeth Bonnevier
Location: Zoom, Meeting ID: 788 997 020
2020-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) Zoom, Meeting ID: 788 997 020 (KTH, Stockholm, Sweden)Elisabeth Bonnevier: Formalizing Cartesian Cubical Sets in UniMath (Degree project) -
Degree project
Monday 2020-03-30, 11:00 - 12:00
Participating: Philip Stassen
Location: Zoom, Meeting ID: 678 046 973
2020-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) Zoom, Meeting ID: 678 046 973 (KTH, Stockholm, Sweden)Philip Stassen: An Analysis of Curiens Explicit Syntax for Dependent Type Theory (Degree project)