SEMINARS

December 9-10, 2014 The 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).
On May 16-18, 2014 IoC organises the Estonian Computer Science Theory Days at Narva-Jõesuu (see http://cs.ioc.ee/~tarmo/tday-narvajoesuu/).