[Agda] CICM 2012: Programme details on-line, last call for participation

[Johan Jeuring]

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