Seminar, other
Tue 06 October - Sat 31 October
-
Seminar, other
Friday 2026-10-09, 15:00 - 16:00
Participating: Yaël Dillies (SU)
Location: 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 (Seminar, other) 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 (Seminar, other) -
Seminar, other
Thursday 2026-10-15, 12:00 - 13:00
Participating: Mason A. Porter (Stockholm University and Nordita)
Location: 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 (Seminar, other) KTH, Digital Futures hub, Osquars Backe 5, floor 2 (KTH, Stockholm, Sweden)Mason A Porter: Opinion Dynamics on Networks (Seminar, other)