[Agda] AIM XX registration now open!
James Chapman
james at cs.ioc.ee
Tue Sep 16 23:15:01 CEST 2014
Hi,
Registration for The Twentieth Edition of the Agda Implementors’
Meeting (AIM XX) is now open!
AIM XX will be held in Tallinn: 16-22 October 2014.
The registration site can be reached here:
https://purchase.ioc.ee/aimxx14/
The registration deadline is 2 October 2014.
For more information on the meeting go here:
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXX
James
More information about the Agda
mailing list