Seminarium, Övrigt
Lö 26 september - On 30 september
-
Seminarium, Övrigt
tisdag 2026-09-29, 15.15 - 16.00
Medverkande: Isabel Dahlgren (KTH)
Plats: KTH, Room D2
2026-09-29T15:15:00.000+02:00 2026-09-29T16:00:00.000+02:00 Isabel Dahlgren: Lean for the Working Mathematician (for KTH) (Seminarium, Övrigt) KTH, Room D2 (KTH, Stockholm, Sweden)Isabel Dahlgren: Lean for the Working Mathematician (for KTH) (Seminarium, Övrigt)