Kollokvium
Evenemanget har passerat

Kollokvium Matematiska vetenskaper

Thierry Coquand, Göteborgs universitet/Chalmers: Dependent Types, Homotopy and Formalisation of Mathematics

Lägg till i OutlookLägg till i Google kalender

Översikt

Evenemanget har passerat

  • Datum:

    Startar 13 november 2023, 15:30Slutar 13 november 2023, 16:30

  • Plats:

    Euler, Fysikhuset, Skeppsgränd 3

  • Språk:

    Engelska

För sammanfattning, se den engelska sidan.

Fika serveras i lunchrummet från kl 15.00.

Michael Björklund
  • Professor (N1), Analys och sannolikhetsteori, Matematiska vetenskaper
Kontakt
Kollokvium Matematiska vetenskaper | Chalmers