[Agda] Agda meeting 16-22 September in Leuven,
call for participation
Jesper Cockx
Jesper at sikanda.be
Tue Jun 30 10:46:43 CEST 2015
-------------------------------------------------------------
Agda Implementors' Meeting XXII
Call for participation
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXII
-------------------------------------------------------------
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:
* Presentations concerning theory, implementation, and use cases of Agda.
* Discussions around issues of the Agda language.
* Plenty of time to work on or in Agda, in collaboration with the other
participants.
To register for AIM XXII please fiil out this form:
http://goo.gl/forms/5wav2d9C6q
The (soft) registration deadline is 4 September 2015.
For more information, please visit
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXII
Regards,
Jesper
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20150630/604bb859/attachment.html
More information about the Agda
mailing list