<div dir="ltr"><div><div><div>Hi all,<br><br></div>Wednesday is the twenty-second edition of the Agda meeting. You can find a preliminary schedule and other practical information on the wiki (<a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXII">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXII</a>). If you give a talk, please check if the time slot on the schedule is ok for you. If you want to give a talk but haven&#39;t notified me, please tell me now or at the start of the meeting and I&#39;ll give you a time slot. </div><div><br></div>We&#39;re looking forward to welcome you in Leuven!<br><br></div>The organization<br>(Jesper and Dominique) <br></div>