The forty-third Agda Implementors' Meeting (AIM XLIII) will take place in Rzeszów, Poland from 2026-10-19 to 2026-10-24 (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.
- Opportunities to write your first Agda programs and proofs and meet its developers and users.
- Plenty of time to work on or in Agda, in collaboration with the other participants.
Location
Rzeszów, Poland
The venue is at Przestrzeń konferencyjna, which is located close to the city center. Address: Teofila Lenartowicza 4 , 35-051 Rzeszów.
Zulip stream
Please subscribe to the AIM XLIII channel on the Agda Zulip to get the latest updates and organize code sprints.
Food
Program
Provisional schedule. The daily timings below are proposed and may change. All times are local to Rzeszów (Europe/Warsaw).
Individual talks and presentations have not yet been assigned to time slots. They are listed separately under Talk proposals, with discussion topics under Discussions. The detailed allocation of talks and code sprints will be agreed with participants at the opening session.
Afternoons are primarily reserved for collaborative work on and with Agda. Unused talk slots will be available for code sprints and discussions. Breaks reserve time in the programme; catering arrangements will be announced separately.
Monday, 19 October
Tuesday, 20 October
Wednesday, 21 October
Thursday, 22 October
Friday, 23 October
Excursion.
Friday is reserved for the excursion. No ordinary talk or code-sprint sessions are scheduled for this day. The route, timings, meeting point, transport arrangements and any additional costs will be announced separately.
Saturday, 24 October
The proposed finish on Saturday is 16:30; the final closing time and room-access arrangements are still to be confirmed.
Registration
Registering for the meeting is free but mandatory. There is a soft registration deadline on tba. In order to ensure we have enough food and a room with sufficient capacity, please register soon!
To register, you can fill out the following form and send it to xliii.agda.implementors.meeting@gmail.com . 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 make the necessary preparations.
Participants
- Marcin Grzybowski (organizer)
- Jesper Cockx (TU Delft)
- Andreas Abel (Chalmers/Gothenburg University)
- Yee-Jian Tan (KU Leuven)
- András Kovács (University of Cambridge)
- Nathaniel Burke (TU Delft)
- Andre Knispel? (IOG)
- Satoshi Takimoto (Institute of Science Tokyo)
- Lorenzo Molena (University of Verona)
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.