Seminar, Logic
Tue 27 April
No calendar events were found within the current period.
Upcoming calendar events:
-
Seminar, Logic
Wednesday 2021-05-19, 10:00 - 12:00
Participating: Max Zeuner
Location: Zoom, meeting ID: 610 2070 5696
2021-05-19T10:00:00.000+02:00 2021-05-19T12:00:00.000+02:00 Max Zeuner: Towards formalizing affine schemes in univalent foundations (Seminar, Logic) Zoom, meeting ID: 610 2070 5696 (KTH, Stockholm, Sweden)Max Zeuner: Towards formalizing affine schemes in univalent foundations (Seminar, Logic)