Welcome to the The 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2023) (CPP 2023) submissions site. For general conference information, see https://conf.researchr.org/home/POPL-2023/CPP-2023.
Submissions
The site is not open for submissions at the moment.