Dear all, The Homotopy Type Theory Electronic Seminar Talks (HoTTEST) are returning in Winter 2020. The speakers are: January 23: Simon Henry February 6: Niels van der Weide February 20: Karol Szumiło March 19: Jon Sterling April 2: Denis-Charles Cisinski April 16: Matthew Weaver The seminar is back to its usual time of alternating Thursdays at 11:30 Eastern. For updates and instructions how to attend, please see https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html The seminar is open to everyone, but some prior familiarity with HoTT will be assumed. Best wishes, Chris Kapulkin for the organizers [For admin and other information see: http://www.mta.ca/~cat-dist/ ]