HoTTEST Seminars


Homotopy Type Theory Electronic Seminar Talks

Homotopy Type Theory Electronic Seminar Talks is a series of research talks by leading experts in Homotopy Type Theory. The seminar is open to all, although familiarity with Homotopy Type Theory will be assumed. To attend a talk, please follow the instructions below.

Essential information

More Information