Dear all, We are pleased to announce that the Homotopy Type Theory Electronic Seminar Talks (HoTTEST) will be returning in 2019. The Spring 2019 speakers are: January 31: Nicola Gambino February 7: Nima Rasekh February 21: Simon Huber March 7: Evan Cavallo March 21: Dan Licata April 4: Joachim Kock April 18: Paolo Capriotii May 2: Mathieu Anel May 16: Andrej Bauer Per usual, the seminar will be meeting on alternating Thursdays (with the exception of the first two talks, which are only one week apart) at 11:30 Eastern. For updates and instructions how to attend, please see our website 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/ ]