Calendar
Wed 11 December
-
Conference
Mon 2019-12-09, 09:30 - Fri 2019-12-13, 14:30
Location: Kräftriket, house 5, room 14
2019-12-09T09:30:00.000+01:00 2019-12-13T14:30:00.000+01:00 Lucia Geometrica, a celebration of geometry (Conference) Kräftriket, house 5, room 14 (KTH, Stockholm, Sweden)Lucia Geometrica, a celebration of geometry (Conference) -
Degree project
Wednesday 2019-12-11, 09:00 - 10:00
Participating: Johan Klint
Location: Kräftriket, house 5, room 32
2019-12-11T09:00:00.000+01:00 2019-12-11T10:00:00.000+01:00 Johan Klint: Simulating carriage of an infectious disease using mathematical models (Degree project) Kräftriket, house 5, room 32 (KTH, Stockholm, Sweden)Johan Klint: Simulating carriage of an infectious disease using mathematical models (Degree project) -
Seminar, Logic
Wednesday 2019-12-11, 10:00 - 11:45
Participating: Anders Mörtberg, Stockholms universitet
Location: Kräftriket, house 5, room 16
2019-12-11T10:00:00.000+01:00 2019-12-11T11:45:00.000+01:00 Anders Mörtberg: Programming and proving with higher inductive types in Cubical Agda, part 2 (Seminar, Logic) Kräftriket, house 5, room 16 (KTH, Stockholm, Sweden)Anders Mörtberg: Programming and proving with higher inductive types in Cubical Agda, part 2 (Seminar, Logic) -
Licentiate seminar
Wednesday 2019-12-11, 15:15
Location: Kräftriket, house 6, room 306 (Cramér-rummet)
Doctoral student: Erik Thorsén , Stockholms universitet
2019-12-11T15:15:00.000+01:00 2019-12-11T15:15:00.000+01:00 Erik Thorsén: Assessment of the uncertainty in small and large dimensional portfolio allocation (Licentiate seminar) Kräftriket, house 6, room 306 (Cramér-rummet) (KTH, Stockholm, Sweden)Erik Thorsén: Assessment of the uncertainty in small and large dimensional portfolio allocation (Licentiate seminar)