Important Dates

Authors are required to submit a paper title and a short abstract before submitting the full paper. The submission should include when necessary a url where to find the formal development assessing the essential aspects of the work. All submissions will be electronic. All deadlines are at midnight (GMT).

CPP 2012
The Second International Conference on Certified Programs and Proofs
Home Call For Papers Organizers Important Dates Invited Speakers Submit Paper Accepted Papers Program Local Information