Dear all,

on Wednesday, 12 October 2022, we will hold a workshop in honour of
Thorsten Altenkirch's 60th birthday:

http://www.cs.nott.ac.uk/~psznk/events/thorsten60/

If you would like to participate (online or in person), please fill out the
Google form at

https://docs.google.com/forms/d/e/1FAIpQLSf99-Tw-FnWWTRwaR22Qn63nMurg6oUAKH8nk9ahx2y6N_KXw/viewform?usp=sf_link

Zoom details for online participants will be sent out closer to the event.

Best wishes,
Nicolai Kraus, Conor McBride, Tarmo Uustalu

-- 
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/CA%2BAZBBq4VQGkddtQOD6_zg1Jkptgn82aMSUGiZ7LoW9DM-a9pw%40mail.gmail.com.