Calendar
Tue 17 March
No calendar events were found within the current period.
Upcoming calendar events:

25MarSeminar, Computational MathematicsWednesday 20200325, 14:00  15:00Lecturer: Max Zeuner20200325T14:00:00.000+01:00 20200325T15: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, Ktheory and derived algebraic geometryFriday 20200327, 10:15  12:00Lecturer: Kristian Jonsson MoiLocation: Zoom20200327T10:15:00.000+01:00 20200327T12:00:00.000+01:00 Kristian Jonsson Moi: Universality and localization for Ktheory (Seminar, Ktheory and derived algebraic geometry) Kristian Jonsson Moi: Universality and localization for Ktheory (Seminar, Ktheory and derived algebraic geometry)

30MarDegree projectMonday 20200330, 09:30  10:30Lecturer: Elisabeth BonnevierLocation: Zoom, Meeting ID: 788 997 02020200330T09:30:00.000+02:00 20200330T10: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)