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

[Jesper Cockx]

The thirty-third Agda Implementors' Meeting will take place online from
Monday 2020-10-12 to Friday 2020-10-23. The meeting will be organized in a
similar way to AIM XXXII, with a reduced program spread over two weeks. See
the wiki for details:

    https://wiki.portal.chalmers.se/agda/Main/AIMXXXIII

You can register by sending me an email at jesper at sikanda.be, or by editing
the wiki page directly. Please also send me an email if you would like to
give a talk, preferably before 2020-10-05.

Best regards,
Jesper
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200914/bb5a4c19/attachment-0001.htm>