Seminarium, Övrigt
Ti 6 oktober - Lö 31 oktober
-
Seminarium, Övrigt
fredag 2026-10-09, 15.00 - 16.00
Medverkande: Yaël Dillies (SU)
Plats: Albano, Cramér room
2026-10-09T15:00:00.000+02:00 2026-10-09T16:00:00.000+02:00 Yaël Dillies: Maths formalisation in the age of AI: What the working mathematician should know about Lean (Seminarium, Övrigt) Albano, Cramér room (KTH, Stockholm, Sweden)Yaël Dillies: Maths formalisation in the age of AI: What the working mathematician should know about Lean (Seminarium, Övrigt) -
Seminarium, Övrigt
torsdag 2026-10-15, 12.00 - 13.00
Medverkande: Mason A. Porter (Stockholm University and Nordita)
Plats: KTH, Digital Futures hub, Osquars Backe 5, floor 2
2026-10-15T12:00:00.000+02:00 2026-10-15T13:00:00.000+02:00 Mason A Porter: Opinion Dynamics on Networks (Seminarium, Övrigt) KTH, Digital Futures hub, Osquars Backe 5, floor 2 (KTH, Stockholm, Sweden)Mason A Porter: Opinion Dynamics on Networks (Seminarium, Övrigt)