POPL 2021
Sun 17 - Fri 22 January 2021 Copenhagen, Denmark

0 results

Tracks (2 results)

Certified Programs and Proofs

… and theoretical topics in all areas that consider formal verification … all … - an opportunity to include branded merchandise in all POPL and CPP participant’s swag …

Research Papers

… for the discussion of all aspects of programming languages and programming systems. Both … for the discussion of all aspects of programming languages and programming systems. Both … as well as its accessibility to both experts and the general POPL audience. All papers …

General (2 results)

CPP 2021 Homepage

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

POPL 2021 Homepage

… POPL 2021 Welcome to the website of the 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021).

The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects …