[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]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)
publickey - [email protected] - 0x42DD5655.asc
Description: application/pgp-keys
signature.asc
Description: OpenPGP digital signature
