Dear all,
On behalf of the organizers, we are pleased to announce the Fall 2023 lineup for the Homotopy Type Theory Electronic Seminar Talks (HoTTEST). The speakers are:
October 5: Nikolai Kudasov
October 19: Felix Cherubini
November 2: Elisabeth Bonnevier
November 16: David Wärn
November 30: Ingo Blechschmidt
December 14: David Jaz Myers
The seminar will meet on alternating Thursdays at 11:30 Eastern Time. For the first three meetings of the seminar this means Eastern Daylight Time (11:30 EDT = 15:30 UTC), while for the final three meetings this means Eastern Standard Time (11:30 EST = 16:30 UTC).
For updates and instructions how to attend, please see
https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html
Title and abstracts will be announced shortly before each talk on the hott-electronic-seminar-talks list. Please join if you'd like to receive those announcements.
https://groups.google.com/g/hott-electronic-seminar-talks
All best,
Carlo Angiuli,
Dan Christensen,
Chris Kapulkin.
Emily Riehl
--
Professor of Mathematics (she/her)
Johns Hopkins University
emilyriehl.github.io