[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