Ssreflect Users Discussion List

[David Aspinall <>]

Dear Coq (& SSreflect) users,

Just a reminder that the deadline for CICM 2013 is approaching:

 http://www.cicm-conference.org/2013/cicm.php?event=&menu=cfp

 Deadline: 8th March (1st March for abstracts)

I'm especially welcoming submissions from Coq users to the MKM 
(Mathematical Knowledge Management) track.

Best wishes,

 - David (Track Chair MKM)

--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.