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

Aaron Gray aaronngray.lists at gmail.com
Sat Nov 12 16:51:59 CET 2022

On Sun, 2 Oct 2022 at 12:11, Nicolai Kraus <nicolai.kraus at gmail.com> wrote:
> 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/

Sorry I missed this, are there any recordings at all as I am
interested in several of the talks.



More information about the Agda mailing list