CPP 2019 - The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs
This page will soon grow in content and contain information about the scope of this research track.
Call for Papers
This is a placeholder text.
You can expect more information about the call for papers soon.
This page will have information about the submission and selection process and list the important dates.