[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.


If you want to attend CICM 2012, and haven't registered yet, please do so as soon as possible:


Johan Jeuring
General program chair for CICM 2012

More information about the Agda mailing list