Invited Speakers

In conjunction with APLAS 2012, we are happy to announce the following joint CPP/APLAS keynote speakers:

We are delighted to announce the following CPP 2012 invited speakers:

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