Dear all, We are pleased to announce that the Homotopy Type Theory Electronic Seminar Talks (HoTTEST) will be returning in Fall 2019. The speakers are: Oct 9: Andrej Bauer Oct 23: Anders Mörtberg Nov 6: Andrew Swan Nov 20: Benno van den Berg Dec 4: Christian Sattler (TBC) Dec 11: Richard Garner This semester, the seminar will be meeting on alternating Wednesdays (not 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/ ]