Agda Implementors' Meeting XLI

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:30Introduction Round, Talk Schedule
10:30Coffee break
11:00Talk 1
12:30Lunch
14:00Code sprints / discussions
15:30Coffee break
16:00Code sprints / discussions
17:30Wrap up meeting
Tuesday, 25 November
9:30Talk 2
10:30Coffee break
11:00Talk 3
12:30Lunch
14:00Code sprints / discussions
15:30Coffee break
16:00Code sprints / discussions
17:30Wrap up meeting
Wednesday, 26 November
9:30Talk 2
10:30Coffee break
11:00Talk 3
12:00Lunch
13:00Excursion (tbd)
Thursday, 27 November
9:30Talk 4
10:30Coffee break
11:00Talk 5
12:30Lunch
14:00Code sprints / discussions
15:30Coffee break
16:00Code sprints / discussions
17:30Wrap up meeting
Friday, 28 November
9:30Talk 6
10:30Coffee break
11:00Talk 7
12:30Lunch
14:00Code sprints / discussions
15:30Coffee break
16:00Code sprints / discussions
17:30Wrap up meeting
Saturday, 29 November
10:00Code sprints / discussions
10:30Coffee break
11:00Talk 8
12:30Lunch
14:00Code sprints / discussions
15:30Coffee break
16:00Final 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
  • Name:
  • Online or In person:
  • Add my name to the Meeting webpage (yes/no):
  • Affiliation:
  • If you wish to give a talk:
    • Title
    • Short Abstract (Optional)
  • If you wish to suggest a discussion topic:
    • Topic
    • Short Description (Optional)
  • If you wish to suggest a code sprint:
    • Proposal
    • Short Description (Optional)
  • Other comments:

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: ...
Page last modified on September 06, 2025, at 11:28 am
Powered by PmWiki