[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear Agda folks,
I hereby warmly invite you to join us for the forty-second Agda
Implementors' Meeting (AIM XLII). The meeting will take place in Leuven,
Belgium from **Mon 2026-04-13 to Sat 2026-04-18**. The meeting aims to
bring together people not only developing but also using Agda or even
those who are simply interested in it, and will be similar to previous ones:
- Presentations concerning theory, implementation, and use cases of Agda.
- Discussions around issues of the Agda language.
- Plenty of time to work on or in Agda, in collaboration with the other
participants.
Registering for the meeting is free but mandatory, with a soft deadline
on **March 8, 2026**.
Information about how to register and how to propose a talk or a code
sprint can be found on the Agda Wiki:
https://urldefense.com/v3/__https://wiki.portal.chalmers.se/agda/Main/AIMXLII__;!!IBzWLUs!Rct_ucs-kusLsIUVBSF2vvdBmy51706uTnHQfaIoK4l9PpPDLHRqCQSz6AKTVVnHUSZNOzwyhSKp5Cc20Q1ntCGWiXdQbviG5uHI$
Location information is available here:
https://urldefense.com/v3/__https://anuyts.github.io/2026/venue.html__;!!IBzWLUs!Rct_ucs-kusLsIUVBSF2vvdBmy51706uTnHQfaIoK4l9PpPDLHRqCQSz6AKTVVnHUSZNOzwyhSKp5Cc20Q1ntCGWiXdQbo8dJX73$
Best regards,
Andreas Nuyts - local organizer, together with Yee-Jian Tan
