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