Kalender
Fr 20 mars
Kalenderhändelser saknas för aktuell period.
Kommande kalenderhändelser:
-
Seminarium, Beräkningsmatematik
onsdag 2020-03-25, 14.00 - 15.00
Medverkande: Max Zeuner
Plats: 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 (Seminarium, Beräkningsmatematik) https://stockholmuniversity.zoom.us/j/384148555 (KTH, Stockholm, Sweden)Max Zeuner: Constructive Mathematics and the Computational Content of Proofs (Seminarium, Beräkningsmatematik) -
Seminarium, Algebraisk geometri (arXiv)
fredag 2020-03-27, 10.15 - 12.00
Medverkande: Kristian Jonsson Moi
Plats: 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 (Seminarium, Algebraisk geometri (arXiv)) Zoom (KTH, Stockholm, Sweden)Kristian Jonsson Moi: Universality and localization for K-theory (Seminarium, Algebraisk geometri (arXiv)) -
Examensarbete
måndag 2020-03-30, 09.30 - 10.30
Medverkande: Elisabeth Bonnevier
Plats: 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 (Examensarbete) Zoom, Meeting ID: 788 997 020 (KTH, Stockholm, Sweden)Elisabeth Bonnevier: Formalizing Cartesian Cubical Sets in UniMath (Examensarbete)