Seminar, Computational Mathematics

No calendar events were found within the current period.

Upcoming calendar events:

• Anders Mörtberg: Computer formalization of mathematics and Univalent Foundations

  3 Jun

  Seminar, Computational Mathematics

  Wednesday 2020-06-03, 14:00 - 14:45

  Participating: Anders Mörtberg, Stockholms universitet

  Location: 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 (Seminar, Computational Mathematics) Zoom, meeting ID: 637 3645 9054 (KTH, Stockholm, Sweden)Anders Mörtberg: Computer formalization of mathematics and Univalent Foundations (Seminar, Computational Mathematics)