[TYPES/announce] Agda Implementors' Meeting XXXVI: Call for talks and participation

[Jesper Cockx]

Dear all,



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


-- Jesper
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230328/74d22200/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: publickey - jesper at sikanda.be - 0x42DD5655.asc
Type: application/pgp-keys
Size: 645 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230328/74d22200/attachment-0001.skr>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 249 bytes
Desc: OpenPGP digital signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230328/74d22200/attachment-0001.asc>