Welcome to the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2024) submissions site. For general conference information, see https://popl24.sigplan.org/home/CPP-2024.
Submissions
The deadline for registering submissions has passed.