[Agda] Agda Implementors' Meeting XXXIV: Call for talks and participation

[Jacques Carette]

The link that was sent actually goes to the last AIM. 
https://wiki.portal.chalmers.se/agda/Main/AIMXXXIV does work.
Jacques

On 2021-May-08 05:30 , Jesper Cockx wrote:
> The thirty-fourth Agda Implementors' Meeting will take place online 
> from Monday 2021-06-07 to Friday 2021-06-12. The meeting will be 
> organized in a similar way to AIM XXXIII, but the program is spread 
> over a single week instead of two. See the wiki for details:
>
> https://wiki.portal.chalmers.se/agda/Main/AIMXXXIV 
> <https://wiki.portal.chalmers.se/agda/Main/AIMXXXIII>
>
> You can register by editing the wiki page and adding your name. 
> Alternatively, you can register by sending me an email with your name, 
> affiliation, and time zone. Please also send me an email if you would 
> like to give a talk, preferably before 2021-05-31.
>
> Best regards,
> Jesper
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210508/64b480ba/attachment.html>