No calendar events were found within the current period.

Upcoming calendar events:

• Kristian Jonsson Moi: Universality and localization for K-theory
  27

  Mar
  Seminar, K-theory and derived algebraic geometry

  Friday 2020-03-27, 10:15 - 12:00

  Lecturer: 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, K-theory and derived algebraic geometry) Kristian Jonsson Moi: Universality and localization for K-theory (Seminar, K-theory and derived algebraic geometry)
• Elisabeth Bonnevier: Formalizing Cartesian Cubical Sets in UniMath
  30

  Mar
  Degree project

  Monday 2020-03-30, 09:30 - 10:30

  Lecturer: 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) Elisabeth Bonnevier: Formalizing Cartesian Cubical Sets in UniMath (Degree project)
• Philip Stassen: An Analysis of Curiens Explicit Syntax for Dependent Type Theory
  30

  Mar
  Degree project

  Monday 2020-03-30, 11:00 - 12:00

  Lecturer: 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) Philip Stassen: An Analysis of Curiens Explicit Syntax for Dependent Type Theory (Degree project)