[TYPES/announce] Agda Implementors' Meeting XLI: First Call for Participation

[Jesper Cockx]

Dear Types folks,

I hereby warmly invite you to join us for the forty-first Agda Implementors' Meeting (AIM XLI). The meeting will take place in Angers, France from 2025-11-24 to 2025-11-29 (Mon to Sat). The meeting 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.

The location is La Bulle en Bois (https://labulleenbois.fr/) and is a so-called Third Place. Namely, a hybrid combination of work and non-work activities. The place includes:

- A coworking place with shared offices and meeting rooms.
- A canteen with locally cooked food (vegan & organic)
- A fablab (3d printing, laser cutting)

Registering for the meeting is free but mandatory. There is a soft registration deadline on 24 October. Registrations might be closed after this date due to the limited capacity of the room (30 people), so register soon!

Information about how to register and how to propose a talk or a code sprint can be found on the Agda Wiki:

https://wiki.portal.chalmers.se/agda/Main/AIMXLI

Suggestions for travel and accommodation will also be added to this page soon.

Best regards,
Nicolas Pouillard (local organizer) and Jesper Cockx (co-organizer)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: publickey - jesper at sikanda.be - 0x42DD5655.asc
Type: application/pgp-keys
Size: 645 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250912/acc3ea5c/attachment-0001.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 343 bytes
Desc: OpenPGP digital signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250912/acc3ea5c/attachment-0001.sig>