Homotopy Type Theory Electronic Seminar Talks

Homotopy Type Theory Electronic Seminar Talks

[Chris Kapulkin]

Dear all,

We are pleased to announce the start of the Homotopy Type Theory
Electronic Seminar Talks, a series of online talks by the leading
experts in Homotopy Type Theory. The Seminar is open to all, although
knowledge of the main concepts of HoTT will be assumed.

The Seminar will meet on alternating Thursdays at 11:30 AM Eastern,
starting on February 15. We will be using Zoom for the talks. Zoom is
similar to Skype, and provides software for all common platforms and
devices.

For more details, including schedule of talks and the information on
how to attend the meetings, please see:

  http://uwo.ca/math/faculty/kapulkin/seminars/hottest.html

The inaugural talks will be given by:

February 15
Peter LeFanu Lumsdaine (Stockholm University)
Inverse diagram models of type theory

March 1
Emily Riehl (Johns Hopkins University)
The synthetic theory of infinity-categories vs the synthetic theory of
infinity-categories

March 15
Carlo Angiuli (Carnegie Mellon University)
Computational semantics of Cartesian cubical type theory

We are looking forward to seeing you all there!

Best wishes,
Dan Christensen and Chris Kapulkin