Homotopy Type Theory Electronic Seminar Talks

External homepage

algebraic topology logic

Audience: Researchers in the topic
Seminar series time: Thursday 15:30-17:00 in your time zone, UTC
Organizers: Dan Christensen, Chris Kapulkin
Curator: David Roe*
*contact for this listing

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. Please join the meeting a few minutes before the scheduled start time and mute your microphone when not asking a question. We encourage attendees from the same institution to attend using one connection.

Upcoming talks
Past talks
Export series to