POPL 2025 Co-Located Events
POPL 2025 Co-Located Events
Powered by
Conference Publishing Consulting
14th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2025)
,
January 20-21, 2025
,
Denver, CO, USA
CPP 2025 – Preliminary Table of Contents
Contents
-
Abstracts
-
Authors
14th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2025)
Frontmatter
Title Page
Message from the Chairs
Committees
proc time: 0