coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Johan Jeuring <J.T.Jeuring AT uu.nl>
To: <comlab AT comlab.ox.ac.uk>, <complog AT cs.nmsu.edu>, <coq-club AT inria.fr>, Digital Libraries List <diglib AT infoserv.inist.fr>, "DML-EU project mailing list" <dml-eu AT listy.icm.edu.pl>, <eapls AT eapls.org>, <elsnet-list AT let.uu.nl>, Digitisation on Demand <EOD AT bsb-muenchen.de>, ERECS-L <ERECS-L-request AT LISTSERV.ALBANY.EDU>, <event AT in.tu-clausthal.de>
Subject: [Coq-Club] CICM 2012: Programme details on-line, last call for participation
Date: Mon, 2 Jul 2012 16:21:40 +0200

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

[Coq-Club] CICM 2012: Programme details on-line, last call for participation, Johan Jeuring, 07/02/2012