Seminarium, Övrigt

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Per Alexandersson: Research with AI – what has changed in 6 months?

  9 sep

  Seminarium, Övrigt

  onsdag 2026-09-09, 15.15 - 16.00

  Medverkande: Per Alexandersson (SU)

  Plats: KTH, Room D2

  2026-09-09T15:15:00.000+02:00 2026-09-09T16:00:00.000+02:00 Per Alexandersson: Research with AI – what has changed in 6 months? (Seminarium, Övrigt) KTH, Room D2 (KTH, Stockholm, Sweden)Per Alexandersson: Research with AI – what has changed in 6 months? (Seminarium, Övrigt)

• Isabel Dahlgren: Lean for the Working Mathematician (for KTH)

  29 sep

  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)

• Yaël Dillies: Maths formalisation in the age of AI: What the working mathematician should know about Lean

  9 okt

  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)