[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 [email protected], 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
