The 38th Agda Implementors’ Meeting will take place in Swansea, United Kingdom from Monday 13 to Saturday 18 May 2024. It will be hosted by the Theoretical Computer Science Research Group, Department of Computer Science, Swansea University
Program: https://wiki.portal.chalmers.se/agda/Main/AIMXXXVIII