[TYPES/announce] Call for Participation (online/in-person): type theory workshop, Nottingham, 12 Oct

[Nicolai Kraus]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221002/de7492da/attachment.htm>