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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]