Licentiatseminarium

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

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

  maj
  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) Building Data for Stacky Covers and the Étale Cohomology Ring of an Arithmetic Curve (Licentiatseminarier)
• Menno de Boer: A proof and formalization of the initiality conjecture of dependent type theory
  15

  jun
  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) Menno de Boer: A proof and formalization of the initiality conjecture of dependent type theory (Licentiatseminarium)