<div dir="ltr"><div><div>Dear all,<br><br></div>The twenty-second Agda Intensive / Implementors&#39; Meeting will be held after the summer break in Leuven, Belgium. While searching for possible dates, we settled on a tentative date from 16/9 to 22/9. However, if this conflicts with people&#39;s schedules, we can still move the date back to October. If you would like to come to the Agda meeting, please indicate whether you will be able to attend during the proposed dates using the poll below:<br><br><a href="http://doodle.com/vcfbixwmpmx39pa6">http://doodle.com/vcfbixwmpmx39pa6</a><br><br></div><div>We look forwards to welcome you to Leuven.<br><br></div><div>Best regards,<br></div><div>Jesper Cockx and Dominique Devriese<br></div></div>