<div dir="ltr"><div><div><div><div>Dear all,<br><br></div>This is a gentle reminder that the twenty-second Agda Implementor&#39;s Meeting will be held in Leuven 16-22 September, which is in one month. If you want to attend, please fill out this form before 4 September: <a href="http://goo.gl/forms/5wav2d9C6q" rel="noreferrer" target="_blank">http://goo.gl/forms/5wav2d9C6q</a> (soft deadline). More information can be found at <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXII" rel="noreferrer" target="_blank">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXII</a>. <br><br></div>Kind regards,<br></div><br></div>Jesper<br></div>