The Second International Conference on Certified Programs and Proofs (CPP 2012) will be held in Kyoto, Japan during December 13-15, 2012. It will be co-located with APLAS 2012.
CPP is a new international forum on theoretical and practical topics in all areas, including computer science, mathematics and education, that consider certification as a essential paradigm for their work.
Chris Hawblitzel (Microsoft Research Redmond) and Dale Miller (INRIA Saclay and LIX, Ecole Polytechnique) are the co-PC chairs.
