Write a Blog >>
Tracks (12 results)

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

… on practical and theoretical topics in all areas that consider certification … (CPP) covers all areas that consider formal verification as an essential … the attendees - an opportunity to include branded merchandise in all POPL and CPP …

LAFI 2020: Languages for Inference (formerly PPS)

… programming-language and machine-learning researchers together to advance all … to advance all aspects of languages for inference. Topics include but are not limited …

Principles of Secure Compilation 2020

… -level attacks. All the abstraction and security guarantees of the source language …

PLMW 2020

… registration is open to all. Students with alternative sources of funding are welcome …

: 22nd Symposium on Practical Aspects of Declarative Languages

… techniques for all forms of declarative programming, including functional …/conferences/?conf=padl2020

All submissions must be original work written …

WGT 2020: First ACM SIGPLAN Workshop on Gradual Typing

… that 5-10 pages are all you need to expose your unbaked topic or your …

- 21st International Conference on Verification, Model Checking, and Abstract Interpretation

… |

Artifact Evaluation

All artifacts are evaluated by the artifact evaluation …

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 …

Artifact Evaluation

… .

Creating a bundle that meets all these properties can be onerous and therefore, the process we describe below does not require an artifact to have all … of all conditionally accepted papers will be asked whether they intend to have …

Student Volunteers

… experience for all attendants!

POPL is pleased to offer a number of opportunities ….

Compensation

A Complimentary Conference Registration, offering access to all open sessions … volunteer garments. Free admission to all social events. Please note that Student …

Student Research Competition

… will consist of three rounds:

• Extended abstract round: All students …, respectively.

All six winners will receive award medals and an one-year … to the Annual ACM Awards Banquet for an all-expenses-paid trip, where …

Workshops and Co-located Events

… events to be co-located with POPL 2020. All Co-located Events are sponsored … Committee

All submissions will be evaluated by a committee comprising …