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

Nicolai Kraus nicolai.kraus at gmail.com
Sun Oct 2 13:11:14 CEST 2022

Dear all,

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.

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>

More information about the Agda mailing list