The forty-first Agda Implementors' Meeting (AIM XLI) will take place in Angers, France from 2025-11-25 to 2025-05-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.
Program
Sunday, 23 November | |
---|---|
18:30- | Dinner (tba) |
Monday, 24 November | |
9:30 | Introduction Round, Talk Schedule |
10:30 | Coffee break |
11:00 | Talk 1 |
12:30 | Lunch |
14:00 | Code sprints / discussions |
15:30 | Coffee break |
16:00 | Code sprints / discussions |
17:30 | Wrap up meeting |
Tuesday, 25 November | |
9:30 | Talk 2 |
10:30 | Coffee break |
11:00 | Talk 3 |
12:30 | Lunch |
14:00 | Code sprints / discussions |
15:30 | Coffee break |
16:00 | Code sprints / discussions |
17:30 | Wrap up meeting |
Wednesday, 26 November | |
9:30 | Talk 2 |
10:30 | Coffee break |
11:00 | Talk 3 |
12:00 | Lunch |
13:00 | Excursion (tbd) |
Thursday, 27 November | |
9:30 | Talk 4 |
10:30 | Coffee break |
11:00 | Talk 5 |
12:30 | Lunch |
14:00 | Code sprints / discussions |
15:30 | Coffee break |
16:00 | Code sprints / discussions |
17:30 | Wrap up meeting |
Friday, 28 November | |
9:30 | Talk 6 |
10:30 | Coffee break |
11:00 | Talk 7 |
12:30 | Lunch |
14:00 | Code sprints / discussions |
15:30 | Coffee break |
16:00 | Code sprints / discussions |
17:30 | Wrap up meeting |
Saturday, 29 November | |
10:00 | Code sprints / discussions |
10:30 | Coffee break |
11:00 | Talk 8 |
12:30 | Lunch |
14:00 | Code sprints / discussions |
15:30 | Coffee break |
16:00 | Final wrap up meeting |
Registration
To register, you can fill out the following form and send it to j.g.h.cockx@tudelft.nl. Please advise us, if you don't want your name to be added to this webpage. You can also (if you are okay with your name being public) directly fill your name in the section participants on this webpage using the edit option for it. In this case, you can also directly add a talk / discussion / code sprint proposal by copy and pasting the box examples.
If there is demand for it, it might be possible to attend online. Please contact the organizers directly so we can check what we can arrange.
to: akaposi <at> inf <dot> elte <dot> hu |
Subject: Registration for AIM XLI |
|
Participants
- Nicolas Pouillard (local organizer)
- Jesper Cockx (co-organizer)
Talk proposals
Please add your proposals here by editing this webpage (using the edit button). You can refer to examples from previous Agda Implementors meetings.
Talk title 1 |
Speaker 1 |
(no abstract yet) |
Talk title 2 |
Speaker 2 |
(no abstract yet) |
Talk title 3 |
Speaker 3 |
(no abstract yet) |
Location
The location is La Bulle en Bois 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)
Address: 11 rue Alexandre Fleming 49000 ANGERS
Lunch: Lunch is available on site on week days, cooking here is vegan and we have alternatives.
Travel to Angers
tba
Getting around in Angers
tba
Accommodation
tba
Excursion
tba
Sponsorship
The location for the meeting is provided free of charge very kindly by La Bulle en Bois.
Code sprints
- ...
Wrap-up notes
Code sprint 1
- Monday: ...
- Tuesday: ...
Code sprint 2
- Monday: ...
- Tuesday: ...