[HoTT] Fall 2024 HoTTEST lineup

[HoTT] Fall 2024 HoTTEST lineup

[Chris Kapulkin]

Hi y'all,

We are delighted to announce the Fall 2024 lineup of the HoTT Electronic 
Seminar Talks. In the coming term, we will feature:

   Sept 26 - Reid Barton

   Oct 10 - Floris van Doorn

   Oct 24 - Max Zeuner

   Nov 7 - Tasho Walde

   Nov 21 - Niels van der Weide

   Dec 5 - Paige North

The seminar meets on (alternating) Thursdays at 11:30 Eastern time. The 
title and abstract are announced a few days ahead of each talk on the 
seminar's website

   https://www.math.uwo.ca/faculty/kapulkin/seminars/hottest.html

and by email to the group

   https://groups.google.com/g/hott-electronic-seminar-talks

which you may join if you wish to receive said announcements.

The website also contains the videos and slides of the past 6.5 years of 
talks as well as links to the seminar's calendar and our YouTube 
Channel. At this point, you probably want to make it your startup page.

Looking forward to seeing many of y'all in the talks!

Best wishes,
Chris Kapulkin
for the organizers: Carlo Angiuli, Dan Christensen, and Emily Riehl

-- 
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/bd3a5dfb-b11a-4a2c-bd55-e302cabbe2a6%40gmail.com.