Andreas Blass, Chris Kapulkin, and I are organizing the third Midwest Homotopy Type Theory Seminar.