[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