Licentiate seminar

No calendar events were found within the current period.

Upcoming calendar events:

• Building Data for Stacky Covers and the Étale Cohomology Ring of an Arithmetic Curve

  20 May

  Licentiate seminars

  Mathematics

  Wednesday 2020-05-20, 10:00

  Location: via ZOOM https://kth-se.zoom.us/j/65217857763, (English)

  Doctoral student: 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 (Licentiate seminars) 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 (Licentiate seminars)

• Menno de Boer: A proof and formalization of the initiality conjecture of dependent type theory

  15 Jun

  Licentiate seminar

  Monday 2020-06-15, 14:30

  Location: Zoom, meeting ID: 666 6583 8464

  Doctoral student: 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 (Licentiate seminar) Zoom, meeting ID: 666 6583 8464 (KTH, Stockholm, Sweden)Menno de Boer: A proof and formalization of the initiality conjecture of dependent type theory (Licentiate seminar)