[Agda] 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:

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20221002/de7492da/attachment.html>