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

0 results

People (1 results)
Pavel Panchekha

Pavel Panchekha

… …

Tracks (3 results)

Certified Programs and Proofs

… and theoretical topics in all areas that consider formal verification … and Proofs (CPP 2021) will welcome contributions from all members … in all

Research Papers

… for the discussion of all aspects of programming languages and programming systems. Both … contributions from all members of the community. Independent of what will happen … of all aspects of programming languages and programming systems. Both theoretical …

Workshops and Co-located Events

… for workshops and other events to be co-located with POPL 2021. All co-located ….

Selection Committee

All submissions will be evaluated by a committee comprising …

General (3 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! …

VMCAI 2021 Homepage

… hard to fill the website with all related information. Please check back soon …

POPL 2021 Homepage

… -and-co-located-events)

POPL 2021 will welcome contributions from all members … for the discussion of all aspects of programming languages and programming systems. Both …