CAUTION: The Sender of this email is not from within Dalhousie. Dear all, The Homotopy Type Theory Electronic Seminar Talks (HoTTEST) are returning in Fall 2020. The speakers are: September 10: Guillaume Brunerie and Peter LeFanu Lumsdaine September 24: Jakob von Raumer October 8: Yuki Maehara October 22: Ambrus Kaposi November 5: Nima Rasekh November 19: Pierre Cagne December 3: Jamie Vicary The seminar will meet on alternating Thursdays at 11:30 Eastern. The seminar is open to all, but some prior familiarity with HoTT will be assumed. For updates and instructions how to attend, please see https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html We know you have a choice when it comes to electronic seminars and we thank you for choosing HoTTEST. Best wishes, Dan Christensen Chris Kapulkin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]