December 9-10, 2014The IoC Autumn Workshop combined with Christmas celebration at Jäneda Manor: www.janedaturism.ee (see programme).
16. - 22.10.2014 IoC organizes in Academy of Sciences Building (Kohtu 6) The twentieth edition of the Agda Implementors’ Meeting: Theory, implementation, and applications of Agda, AIMXX (see http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXX).