[Agda] Agda meeting (AIM XX) in Tallinn 16-22 October (one month tomorrow!)

[James Chapman]

Hi,

The next Agda meeting will take place in Tallinn from 16-22 October 2014.

Information can be found here:

http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXX

If you plan to come then please add you name to the list of
participants on the wiki page and/or send me an email. Also please add
proposals for talk, and code sprints.

There is a registration fee of 150 EUR. We intend to be able to take
payment by credit card online, I hope this will be up and running very
soon, keep an eye on the wiki.

Time is short so please act now!

Regards,

James