Seminar, Master in mathematics

No calendar events were found within the current period.

Upcoming calendar events:

• Fabian Lukas Grubmüller: A Gentle Introduction to Homotopy Type Theory

  16 Sep

  Seminar, Master

  Tuesday 2025-09-16, 16:00 - 18:00

  Participating: Fabian Lukas Grubmüller (SU/KTH)

  Location: Albano hus 1, Cramér room

  2025-09-16T16:00:00.000+02:00 2025-09-16T18:00:00.000+02:00 Fabian Lukas Grubmüller: A Gentle Introduction to Homotopy Type Theory (Seminar, Master) Albano hus 1, Cramér room (KTH, Stockholm, Sweden)Fabian Lukas Grubmüller: A Gentle Introduction to Homotopy Type Theory (Seminar, Master)