Calendar
Mon 23 March
No calendar events were found within the current period.
Upcoming calendar events:
-
25MarSeminar, Computational MathematicsWednesday 2020-03-25, 14:00 - 15:00Lecturer: Max Zeuner2020-03-25T14:00:00.000+01:00 2020-03-25T15:00:00.000+01:00 Max Zeuner: Constructive Mathematics and the Computational Content of Proofs (Seminar, Computational Mathematics) Max Zeuner: Constructive Mathematics and the Computational Content of Proofs (Seminar, Computational Mathematics)
-
27MarSeminar, K-theory and derived algebraic geometryFriday 2020-03-27, 10:15 - 12:00Lecturer: Kristian Jonsson MoiLocation: Zoom2020-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)
-
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)