[TYPES/announce] Agda Implementors' Meeting XLII: Call for talks and participation

[Andreas Nuyts]

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