Disputation
Må 30 september - Sö 6 oktober
-
Disputation
fredag 2024-10-04, 13.00
Medverkande: Max Zeuner (Stockholm University)
Plats: Lärosal 5, Hus 1, Albano campus, Stockholm Univ.
Respondent: Max Zeuner , Department of Mathematics, Stockholm University
2024-10-04T13:00:00.000+02:00 2024-10-04T13:00:00.000+02:00 Max Zeuner: Univalent Constructive Algebraic Geometry: Foundations and Formalizations (Disputation) Lärosal 5, Hus 1, Albano campus, Stockholm Univ. (KTH, Stockholm, Sweden)Max Zeuner: Univalent Constructive Algebraic Geometry: Foundations and Formalizations (Disputation)