Seminarium, Beräkningsmatematik

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Reid W. Barton: Condensed type theory and directed univalence

  30 apr

  Seminarium, Beräkningsmatematik

  onsdag 2025-04-30, 13.00 - 14.00

  Medverkande: Reid W. Barton

  Plats: Room Cramer

  2025-04-30T13:00:00.000+02:00 2025-04-30T14:00:00.000+02:00 Reid W. Barton: Condensed type theory and directed univalence (Seminarium, Beräkningsmatematik) Room Cramer (KTH, Stockholm, Sweden)Reid W. Barton: Condensed type theory and directed univalence (Seminarium, Beräkningsmatematik)