Powered by
POPL 2020 Co-Located Events,
January 19–25, 2020,
New Orleans, LA, USA
9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2020)
Frontmatter
Invited Talks
Program Verification
Automated Verification and SAT Solving
Proof Engineering and User Interaction
Decidability and Complexity
Homotopy Type Theory
Mechanized Metatheory
Verified Cryptography
Concurrency and Linearity
Formalized Mathematics 1
Formalized Mathematics 2
2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2020)
Frontmatter
Research Papers
Short Papers
proc time: 7.52