[Agda] Agda meeting (AIM XX) in Tallinn 16-22 October (one month
tomorrow!)
James Chapman
james at cs.ioc.ee
Mon Sep 15 16:26:05 CEST 2014
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
More information about the Agda
mailing list