Licentiatseminarium

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Eleftherios Theodosiadis: Explicit Loewner flows and their geometry

  25 nov

  Licentiatseminarium

  fredag 2022-11-25, 09.00

  Plats: Cramér room, Albano building 1

  Licentiand: Eleftherios Theodosiadis

  2022-11-25T09:00:00.000+01:00 2022-11-25T09:00:00.000+01:00 Eleftherios Theodosiadis: Explicit Loewner flows and their geometry (Licentiatseminarium) Cramér room, Albano building 1 (KTH, Stockholm, Sweden)Eleftherios Theodosiadis: Explicit Loewner flows and their geometry (Licentiatseminarium)

• Josefien Kuijper: A general descent principle for compact support extensions of functors

  2 dec

  Licentiatseminarium

  fredag 2022-12-02, 10.00

  Plats: Cramér room, Albano building 1

  Licentiand: Josefien Kuijper

  2022-12-02T10:00:00.000+01:00 2022-12-02T10:00:00.000+01:00 Josefien Kuijper: A general descent principle for compact support extensions of functors (Licentiatseminarium) Cramér room, Albano building 1 (KTH, Stockholm, Sweden)Josefien Kuijper: A general descent principle for compact support extensions of functors (Licentiatseminarium)

• Max Zeuner: Formalizing Univalent Set-Level Structures in Cubical Agda

  19 jan

  Licentiatseminarium

  torsdag 2023-01-19, 13.00 - 14.00

  Plats: Cramér room, Albano building 1

  Licentiand: Max Zeuner

  2023-01-19T13:00:00.000+01:00 2023-01-19T14:00:00.000+01:00 Max Zeuner: Formalizing Univalent Set-Level Structures in Cubical Agda (Licentiatseminarium) Cramér room, Albano building 1 (KTH, Stockholm, Sweden)Max Zeuner: Formalizing Univalent Set-Level Structures in Cubical Agda (Licentiatseminarium)