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

[Aaron Gray]

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.

Regards,

Aaron