[Agda] AIM XX in Tallinn - 4 days left to register

James Chapman james at cs.ioc.ee
Sun Sep 28 22:34:55 CEST 2014


This is a reminder that registration for AIM XX (Tallinn 16-22 October
2014) closes on  Thursday (2 October).

Information about the AIM XX:

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

Registration link:

https://purchase.ioc.ee/aimxx14

James


More information about the Agda mailing list