Homotopy Type Theory Electronic Seminar Talks
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
| Your time | Speaker | Title | |||
|---|---|---|---|---|---|
| Thu | Apr 16 | 15:30 | Matthew Weaver | A constructive model of directed univalence in bicubical sets | |
Export series to