### Homotopy Type Theory Electronic Seminar Talks

#### Posted by John Baez

Learn cool math without flying around making the planet hotter! The Homotopy Type Theory Electronic Seminar Talks (HoTTEST) will be returning in Fall 2019. The speakers are:

- October 9: Andrej Bauer
- October 23: Anders Mörtberg
- November 6: Andrew Swan
- November 20: Benno van den Berg
- December 4: Christian Sattler (TBC)
- December 11: Richard Garner

This semester, the seminar will be meeting on alternating Wednesdays at 11:30 Eastern Time. For updates and instructions how to attend, please see

The seminar is open to everyone, but some prior familiarity with homotopy type theory will be assumed.

Posted at September 6, 2019 10:49 AM UTC
## Re: Homotopy Type Theory Electronic Seminar Talks

I really like this idea and might drop in on one of the sessions just to see how it’s done, since it seems like the kind of thing my group could host in our own field.