Seminar, Computational Mathematics

No calendar events were found within the current period.

Upcoming calendar events:

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

  30 Apr

  Seminar, Computational Mathematics

  Wednesday 2025-04-30, 13:00 - 14:00

  Participating: Reid W. Barton

  Location: 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 (Seminar, Computational Mathematics) Room Cramer (KTH, Stockholm, Sweden)Reid W. Barton: Condensed type theory and directed univalence (Seminar, Computational Mathematics)