[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]Dear all, on Wednesday, 12 October 2022, we will hold a workshop in honour of Thorsten Altenkirch's 60th birthday: https://urldefense.com/v3/__http://www.cs.nott.ac.uk/*psznk/events/thorsten60/__;fg!!IBzWLUs!XaCm6duELdY95K6G69k40IaAKydYQedNSDhfawOFDSPFHqIG8cdN4i8qCpVSU4Vgx-a9F_3dM2ivhgcMBV0g0qtBO7j4iW-jUGm9jQ$ If you would like to participate (online or in person), please fill out the Google form at https://urldefense.com/v3/__https://docs.google.com/forms/d/e/1FAIpQLSf99-Tw-FnWWTRwaR22Qn63nMurg6oUAKH8nk9ahx2y6N_KXw/viewform?usp=sf_link__;!!IBzWLUs!XaCm6duELdY95K6G69k40IaAKydYQedNSDhfawOFDSPFHqIG8cdN4i8qCpVSU4Vgx-a9F_3dM2ivhgcMBV0g0qtBO7j4iW_t6Y_gXg$ Zoom details for online participants will be sent out closer to the event. Best wishes, Nicolai Kraus, Conor McBride, Tarmo Uustalu
