[HoTT] announcing the Fall 2023 HoTTEST lineup

[HoTT] announcing the Fall 2023 HoTTEST lineup

['EMILY Riehl' via Homotopy Type Theory]

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

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/4748c944-2cb2-b497-1a7c-b609559e8f27%40jh.edu.