Agda Implementors' Meeting XXXVI: Call for talks and participation
21 views
Skip to first unread message
Bohdan Liesnikov
Mar 24, 2023, 12:09:35 PM3/24/23
to Idris Programming Language
The thirty-sixth Agda Implementors' Meeting will take place in Delft, NL from Wednesday, 2023-05-10 to Tuesday, 2023-05-16.
Wiki link for more details: https://wiki.portal.chalmers.se/agda/Main/AIMXXXVI
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!
There's a (soft) deadline for registration on 2023-04-12
Registration instructions: https://wiki.portal.chalmers.se/agda/Main/AIMXXXVI#Registration
Looking forward to meeting Idris folks there!
Bohdan
Wiki link for more details: https://wiki.portal.chalmers.se/agda/Main/AIMXXXVI
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!
There's a (soft) deadline for registration on 2023-04-12
Registration instructions: https://wiki.portal.chalmers.se/agda/Main/AIMXXXVI#Registration
Looking forward to meeting Idris folks there!
Bohdan
Reply all
Reply to author
Forward
0 new messages