Apr 03

CPP 2012 : The Second International Conference on Certified Programs and Proofs

When Dec 13, 2012 – Dec 15, 2012
Where Kyoto, Japan
Abstract Registration Due Jun 8, 2012
Submission Deadline Jun 15, 2012
Notification Due Aug 27, 2012
Final Version Due Sep 17, 2012

CPP 2012 : The Second International Conference on Certified Programs and Proofs.