<div dir="ltr"><div>Hi all,<br></div><div><br></div><div>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).</div><div><br></div><div>Best regards,</div><div>Jesper<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Sep 11, 2020 at 9:56 PM Jesper Cockx <<a href="mailto:Jesper@sikanda.be">Jesper@sikanda.be</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>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:</div><div><br></div><div>    <a href="https://wiki.portal.chalmers.se/agda/Main/AIMXXXIII" target="_blank">https://wiki.portal.chalmers.se/agda/Main/AIMXXXIII</a></div><div><br></div><div>You can register by sending me an email at <a href="mailto:jesper@sikanda.be" target="_blank">jesper@sikanda.be</a>, 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.</div><div><br></div><div>Best regards,</div><div>Jesper<br></div></div>
</blockquote></div>