<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">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">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>