Due to author request, we have extended the final submission deadline until Monday, 17 June.
Thanks for submitting to CPP 2013! -- Michael ----------------------------------------------------------------------- 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
signature.asc
Description: OpenPGP digital signature
------------------------------------------------------------------------------ This SF.net email is sponsored by Windows: Build for Windows Store. http://p.sf.net/sfu/windows-dev2dev
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
