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

[Jesper Cockx]

Hi all,

This is a gentle reminder to register for the Agda meeting which starts in
a little over a week. There are still open slots for talks, so if you'd
like to give one please let me know (preferably before Monday the 5th).

Best regards,
Jesper

On Fri, Sep 11, 2020 at 9:56 PM Jesper Cockx <Jesper at sikanda.be> wrote:

> 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.chalmers.se/pipermail/agda/attachments/20201002/c84f5722/attachment.html>