[Agda] AIM XXV - Gothenburg, May 9 - 15
Víctor López Juan
victor at lopezjuan.com
Wed Feb 22 17:29:44 CET 2017
---------------------------------------------------------------
Agda Implementors' Meeting XXV
Call for participation
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXV
---------------------------------------------------------------
The twenty-fifth Agda Implementors' Meeting will be held in Gothenburg,
Sweden from May 9 – 15 (Tue to Mon). Anyone with an interest in Agda is
invited to attend. The meeting will be similar to previous ones:
* Presentations concerning theory, implementation, and
use cases of Agda and other Agda-like languages.
* Discussions around issues related to the Agda language.
* Plenty of time to work in, on, under or around Agda, in
collaboration with other participants.
Registration
------------
To participate, please fill out the following form before April 30:
http://framaforms.org/registration-for-aim-xxv-1487690243
There is no registration fee.
Each participant covers their own transportation, accommodation and meals.
More information
----------------
Check out the wiki for travel suggestions and up-to-date information:
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXV
Best regards,
Víctor
More information about the Agda
mailing list