Calendar

No calendar events were found within the current period.

Upcoming calendar events:

• Max Zeuner: Constructive Mathematics and the Computational Content of Proofs

  25 Mar

  Seminar, Computational Mathematics

  Wednesday 2020-03-25, 14:00 - 15:00

  Participating: Max Zeuner

  Location: https://stockholmuniversity.zoom.us/j/384148555

  2020-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) https://stockholmuniversity.zoom.us/j/384148555 (KTH, Stockholm, Sweden)Max Zeuner: Constructive Mathematics and the Computational Content of Proofs (Seminar, Computational Mathematics)

• 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

  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, K-theory and derived algebraic geometry) Zoom (KTH, Stockholm, Sweden)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

  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)