<div dir="ltr"><div> -------------------------------------------------------------<br>
Agda Implementors' Meeting <span class="">XXI</span>I<br>
Call for participation<br>
<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>
<br>
The twenty-second Agda Implementors' Meeting will be held in Leuven 16-22 September (Wed to Tue). Everyone with a genuine interest in Agda is invited to attend. The meeting will be similar to previous ones:<br>
<br>
* Presentations concerning theory, implementation, and use cases of Agda.<br>
<br>
* Discussions around issues of the Agda language.<br>
<br>
* Plenty of time to work on or in Agda, in collaboration with the other participants.<br>
<br>
To register for <span class="">AIM</span> <span class="">XXII</span> please fiil out this form:<br>
<br>
<a href="http://goo.gl/forms/5wav2d9C6q" rel="noreferrer" target="_blank">http://goo.gl/forms/5wav2d9C6q</a><br>
<br>
The (soft) registration deadline is 4 September 2015.<br>
<br>
For more information, please visit<br>
<br>
<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>
<br>
Regards,<br>
<br>
</div>Jesper<br></div>