0 results

People (2 results)
Pavel Panchekha

Pavel Panchekha

… …

Y. Annie Liu

Y. Annie Liu

… …

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 … researchers together from all over the world, does so at a considerable …
Tracks (9 results)

CPP 2022

… and theoretical topics in all areas that consider formal verification … conference on practical and theoretical topics in all areas that consider formal …, in cooperation with ACM SIGLOG.

CPP 2022 will welcome contributions from all members …

Certified Programs and Proofs

… and theoretical topics in all areas that consider formal verification …/POPL-2021-venue) meeting, where all papers are presented online. The main room …) is an international conference on practical and theoretical topics in all areas …

The Seventh International Workshop on Languages for Inference

… This workshop aims to bring programming-language and machine-learning researchers together to advance all aspects of languages for inference.

Topics include but are not limited to:

  • Design of programming languages ...
General (11 results)

CPP 2022 Homepage

… CPP 2022 Welcome to the website of the CPP 2022 conference. We are working hard to fill the website with all related information. Please check back soon! 69ce875b-2046-469a-a257-585d3750753e …

VMCAI 2022 Homepage

… VMCAI 2022 Welcome to the website of the VMCAI 2022 conference. We are working hard to fill the website with all related information. Please check back soon! 556b8334-deff-48a6-b0c8-52ea9a2afea2 …

LAFI 2022 Homepage

… LAFI 2022 Welcome to the website of the LAFI 2022 conference. We are working hard to fill the website with all related information. Please check back soon! 2af4dab4-b1ad-466a-adab-a9b3acbaa803 …