Seminarium, Övrigt

Isabel Dahlgren: Skip to the Point: Identifiability and Criticality of ResNets

27 jul

Seminarium, Övrigt

måndag 2026-07-27, 10.15 - 11.00

Medverkande: Isabel Dahlgren (ETH/KTH)

Plats: KTH, 3418, Lindstedsvägen 25

2026-07-27T10:15:00.000+02:00 2026-07-27T11:00:00.000+02:00 Isabel Dahlgren: Skip to the Point: Identifiability and Criticality of ResNets (Seminarium, Övrigt) KTH, 3418, Lindstedsvägen 25 (KTH, Stockholm, Sweden)Isabel Dahlgren: Skip to the Point: Identifiability and Criticality of ResNets (Seminarium, Övrigt)

Orlando Marigliano: Grover's Algorithm in Practice

27 jul

Seminarium, Övrigt

måndag 2026-07-27, 11.00 - 12.00

Medverkande: Orlando Marigliano (Chalmers)

Plats: KTH, 3418, Lindstedsvägen 25

2026-07-27T11:00:00.000+02:00 2026-07-27T12:00:00.000+02:00 Orlando Marigliano: Grover's Algorithm in Practice (Seminarium, Övrigt) KTH, 3418, Lindstedsvägen 25 (KTH, Stockholm, Sweden)Orlando Marigliano: Grover's Algorithm in Practice (Seminarium, Övrigt)

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)

Mason A Porter: Opinion Dynamics on Networks

15 okt

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)