[Agda] Agda meeting 3-9 June in Gothenburg, call for participation
Andrea Vezzosi
sanzhiyan at gmail.com
Mon Apr 27 19:22:55 CEST 2015
-------------------------------------------------------------
Agda Implementors' Meeting XXI
Call for participation
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXI
-------------------------------------------------------------
The twenty-first Agda Implementors' Meeting will be held in Gothenburg 3-9
June 2015 (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 XXI please fiil out this form:
http://goo.gl/forms/NwKuGsU10Q
The (soft) registration deadline is 22 May 2015.
There is a registration fee of 1000kr (~106 EUR) which will be
possible to pay by credit card online soon.
For preliminary information (more appearing later), please visit
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXI
Regards,
Andrea & Chalmers Agda team
More information about the Agda
mailing list