POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Tracks (17 results)

CPP 2024

… and theoretical topics in all areas that consider formal verification … (CPP) is an international conference on practical and theoretical topics in all … will welcome contributions from all members of the community. The CPP 2024 organizers …

O'Hearn Fest

… A day of talks in celebration of Peter O’Hearn’s scientific and industrial work. Peter is a professor of Computer Science at University College London and an Engineering Director at Lacework. All are welcome, please register …

LAFI 2024

… The Languages for Inference (LAFI) workshop aims to bring programming-language and machine-learning researchers together to advance all aspects of languages … and machine-learning researchers together to advance all aspects of languages …

PADL 2024: The 26th International Symposium on Practical Aspects of Declarative Languages

… for all forms of declarative programming, including functional and logic … for all forms of declarative programming, including functional and logic ….

All page limits exclude references. Submissions must be written in English …

PriSC 2024

… language. For a concrete example, all modern languages provide a notion of structured ….

Past editions (all collocated with POPL)

  • [PriSC 2023](https …, all modern languages provide a notion of structured control flow and an invoked …

PLMW @ POPL 2024

… that there’s a whole community out there of like-minded folks who are all very excited … that folks all over the world also care about these problems, and that it’s not just …. The workshop registration is open to all (with or without scholarships). Students …

WAW 2024 - WebAssembly Workshop

… SIGPLAN CARES. She holds BS, MS, and PhD, all in Computer Science, from KAIST …, manually generating all the artifacts is labor intensive and error-prone …

Programming for the Planet (PROPL)

… , and not widely and openly available to all interested parties. Concurrently, domains … the discussants all have. We have no preconceived notion of how much group involvement …

Dafny 2024

… /Author/

Contact

All questions about submission should be emailed …

POCL 2024 - Principles of Capability Languages

… Hardware support for capabilities offers the prospect of substantially increased security for the computing infrastructure that we all depend on. Capabilities … of substantially increased security for the computing infrastructure that we all depend …

Diversity, Equity and Inclusion

… . The event is open to everyone and our goal is to foster DEI discussions, all … or suggestions are also most welcome.

NOTE:

  • All the events are open … to everyone and our goal is to foster DEI discussions, all while drinking fabulous …

Artifact Evaluation

… an artifact evaluation process since 2015, and invites artifact submissions from all … authors of all accepted papers. Artifacts can be software, mechanical proofs, test … as possible, supporting all evaluated claims of the paper - Documentation …

VMCAI 2024

… * Case Studies on all of the above topics

Submissions can address any programming …=vmcai2024).

All accepted papers will be published in Springer’s Lecture Notes … encourage all authors to also submit an artifact. A successfully evaluated …

Student Volunteers

… experience for all attendants!

POPL 2024 is pleased to offer a number of opportunities … to the conferences, tutorials, workshops, and all associated events (but not travel …:

  • A complimentary conference registration, offering access to all open …

POPL Research Papers

… PACMPL Issue POPL 2024 seeks contributions on all aspects of programming … Languages (POPL) is a forum for the discussion of all aspects of programming … experts and the general POPL audience. All papers will be judged on significance …

Student Research Competition

… of three rounds:

  • Round 1, Extended abstract: All students are encouraged …, $300, and $200, respectively.

  • All six winners will receive award medals …

Workshops and Co-located Events

… and other events to be co-located with POPL 2024. All co-located events …/Diversity/ for more details.

Selection committee

All submissions …