[Agda] AIM XX registration now open!

[James Chapman]

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