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.