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

Submissions

Submissions are currently closed.