The Coq mailing list

[Georges Gonthier <gonthier AT microsoft.com>]

Due to author request, we have extended the final submission deadline until 
Monday, 17 June.

Thanks for submitting to CPP 2013!


--
Georges

-----------------------------------------------------------------------
3rd International Conference on Certified Programs and Proofs (CPP2013)
-----------------------------------------------------------------------

December 2013, Australia (co-located with APLAS 2013)

CPP is an international forum on theoretical and practical topics in all 
areas, including computer science, mathematics, and education, that consider 
certification as an essential paradigm for their work.
Certification here means formal, mechanized verification of some sort, 
preferably with production of independently checkable certificates. We invite 
submissions on topics that fit under this rubric.

For more, see http://cpp2013.forge.nicta.com.au