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

0 results

People (1 results)
Pavel Panchekha

Pavel Panchekha

… …

Attending Information (1 results)

Supporting POPL

… relationship with our sponsors:

  • We acknowledge all sources of financial support.
  • We disclose all benefits that sponsors receive in exchange … students to pursue careers in programming language research. All funds designated …
Tracks (7 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

The 23rd International Symposium on Practical Aspects of Declarative Languages (PADL) 2021

… and implementation techniques for all forms of declarative programming, including … emphasizing novel applications and implementation techniques for all forms … website but will not be published in the formal proceedings.

All page limits …

Artifact Evaluation

… artifacts from all authors of accepted papers. Artifacts can be software, mechanical … as possible, supporting all evaluated claims of the paper + Documentation … that in the past we have had more nominees than slots on the AEC, and so not all

General (9 results)

PEPM 2021 Homepage

… c8cce6d8-9e69-4ec0-9391-f80b1cee6db8 PEPM 2021 Welcome to the website of the PEPM 2021 conference. We are working hard to fill the website with all related … to fill the website with all related information. Please check back soon! …

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! …

LAFI 2021 Homepage

… d648188b-9a92-4014-9f39-fc645af3b53c LAFI 2021 Welcome to the website of the LAFI 2021 conference. We are working hard to fill the website with all related information. Please check back soon! 7138e4db-59c4-4433-9ceb-d45652971521 …