[Agda] Call for Participation (online/in-person): type theory workshop, Nottingham, 12 Oct
nicolai.kraus at gmail.com
Sun Oct 2 13:11:14 CEST 2022
on Wednesday, 12 October 2022, we will hold a workshop in honour of
Thorsten Altenkirch's 60th birthday:
If you would like to participate (online or in person), please fill out the
Google form at
Zoom details for online participants will be sent out closer to the event.
Nicolai Kraus, Conor McBride, Tarmo Uustalu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Agda