[Agda] AIM XX in Tallinn 16-22 October 2014

James Chapman james at cs.ioc.ee
Sat Sep 6 20:40:26 CEST 2014


Dear all,

The next Agda meeting will be held in Tallinn, Estonia on 16-22 October 2014.

Preliminary information can be found here:

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

Further information will be forthcoming next week.

James


More information about the Agda mailing list