[Agda] Agda Implementors' Meeting (AIM XXXX): Call for talks and participation

[Ambrus Kaposi]

Dear all,

The fortieth Agda Implementors' Meeting will take place in Budapest,
Hungary from 26 May to Saturday 31 May 2025 (Monday to Saturday).

The meeting aims to bring together people not only developing but also
using Agda or even those who are simply interested in it. We will have
talks on the implementation details of Agda in the morning and code
sprints in the afternoon. You can still submit your proposal for a talk
or discussion!

Wiki link with registration instructions and more details:
https://wiki.portal.chalmers.se/agda/Main/AIMXXXX

There's a soft deadline for registration on 25 May 2025.

Cheers,
Ambrus