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.
- Time: alternate Thursdays at 11:30 AM Eastern (60-minute talk + 30-minute discussion).
- Mailing list: HoTT Electronic Seminar Talks (for updates) .
- Google Calendar: link.
- Youtube channel: HoTTEST.
- Organizers: Dan Christensen and Chris Kapulkin.