<div dir="ltr"><div>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 <span class="gmail-il">AIM</span> XXXIII, but the program is spread over a single week instead of two. See the wiki for details:</div><div><br></div><div>    <a href="https://wiki.portal.chalmers.se/agda/Main/AIMXXXIII" target="_blank"><span class="gmail-il">https://wiki.portal.chalmers.se/agda/Main/AIMXXXIV</span></a></div><div><br></div><div>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.</div><div><br></div><div>Best regards,</div><div>Jesper</div></div>