Write a Blog >>

0 results

Tracks (2 results)

: The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs

… and theoretical topics in all areas that consider certification as an essential … and theoretical topics in all areas that consider certification as an essential …, or all the way to deep liveness, security, and correctness properties. It provides …

Research Papers

… for the discussion of all aspects of programming languages and programming systems. Both … on Principles of Programming Languages is a forum for the discussion of all aspects … experts and the general POPL audience. All papers will be judged …

General (2 results)

CPP 2020 Homepage

… Certified Programs and Proofs 2020 Welcome to the website of the Certified Programs and Proofs 2020 conference. We are working hard to fill the website with all related information. Please check back soon …

POPL 2020 Homepage

… for the discussion of all aspects of programming languages and programming systems …