Seminarium, Beräkningsmatematik
Fr 22 maj - To 31 december
-
Seminarium, Beräkningsmatematik
onsdag 2020-06-03, 14.00 - 14.45
Medverkande: Anders Mörtberg, Stockholms universitet
Plats: Zoom, meeting ID: 637 3645 9054
2020-06-03T14:00:00.000+02:00 2020-06-03T14:45:00.000+02:00 Anders Mörtberg: Computer formalization of mathematics and Univalent Foundations (Seminarium, Beräkningsmatematik) Zoom, meeting ID: 637 3645 9054 (KTH, Stockholm, Sweden)Anders Mörtberg: Computer formalization of mathematics and Univalent Foundations (Seminarium, Beräkningsmatematik)