Welcome to the 15th Conference on Certified Proofs and Porograms (CPP 2025) submissions site. For general information, see https://popl25.sigplan.org/home/CPP-2025.
Submissions
The deadline for registering submissions has passed.
Welcome to the 15th Conference on Certified Proofs and Porograms (CPP 2025) submissions site. For general information, see https://popl25.sigplan.org/home/CPP-2025.
The deadline for registering submissions has passed.