Licentiatseminarium
Må 13 januari - To 31 december
-
Licentiatseminarium
måndag 2020-02-03, 11.00
Plats: Kräftriket, house 6, room 306 (Cramér-rummet)
Licentiand: Jacob Muller , Mathematics
2020-02-03T11:00:00.000+01:00 2020-02-03T11:00:00.000+01:00 Jacob Muller: Higher order differential operators on metric graphs (Licentiatseminarium) Kräftriket, house 6, room 306 (Cramér-rummet) (KTH, Stockholm, Sweden)Jacob Muller: Higher order differential operators on metric graphs (Licentiatseminarium) -
Licentiatseminarier
Matematik
onsdag 2020-05-20, 10.00
Plats: via ZOOM https://kth-se.zoom.us/j/65217857763, (English)
Licentiand: Eric Ahlqvist , Matematik (Avd.)
2020-05-20T10:00:00.000+02:00 2020-05-20T10:00:00.000+02:00 Building Data for Stacky Covers and the Étale Cohomology Ring of an Arithmetic Curve (Licentiatseminarier) via ZOOM https://kth-se.zoom.us/j/65217857763, (English) (KTH, Stockholm, Sweden)Building Data for Stacky Covers and the Étale Cohomology Ring of an Arithmetic Curve (Licentiatseminarier) -
Licentiatseminarium
måndag 2020-06-15, 14.30
Plats: Zoom, meeting ID: 666 6583 8464
Respondent: Menno de Boer , Stockholms universitet
2020-06-15T14:30:00.000+02:00 2020-06-15T14:30:00.000+02:00 Menno de Boer: A proof and formalization of the initiality conjecture of dependent type theory (Licentiatseminarium) Zoom, meeting ID: 666 6583 8464 (KTH, Stockholm, Sweden)Menno de Boer: A proof and formalization of the initiality conjecture of dependent type theory (Licentiatseminarium)