<div dir="ltr"><div dir="ltr"><div>The thirty-fourth Agda Implementors' Meeting will take place online 
from Monday 2021-06-07 to Saturday 2021-06-12. The meeting will be 
organized in a similar way to <span>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>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 Cockx<br></div></div></div>