[Agda] CICM 2012: Programme details on-line,
last call for participation
Johan Jeuring
J.T.Jeuring at uu.nl
Mon Jul 2 16:21:35 CEST 2012
The detailed programme of CICM 2012 is now on-line.
http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=detailed-programme
If you want to attend CICM 2012, and haven't registered yet, please do so as soon as possible:
http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=registration
Johan Jeuring
General program chair for CICM 2012
More information about the Agda
mailing list