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