Homotopy Type Theory Electronic Seminar Talks
algebraic topology logic
|Audience:||Researchers in the topic|
|Seminar series time:||Thursday 16:30-18:00 in your time zone, UTC|
|Organizers:||Dan Christensen, Chris Kapulkin|
|*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.
|Thu||Apr 16||15:30||Matthew Weaver||A constructive model of directed univalence in bicubical sets|