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

17 views
Skip to first unread message

Nicolai Kraus

unread,
Oct 2, 2022, 7:11:27 AM10/2/22
to agda list, types-a...@lists.seas.upenn.edu, Homotopy Type Theory, coq-...@inria.fr
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


Reply all
Reply to author
Forward
0 new messages