POPL
Sun 19 - Sat 25 January 2025 Denver, Colorado, United StatesPOPL 2025with CPP 2025, VMCAI 2025, PADL 2025, CoqPL 2025, Dafny 2025, LAFI 2025, PEPM 2025, PLMW @ POPL 2025, PLanQC 2025, PriSC 2025, TPSA 2025, WAW 2025, WITS 2025Welcome to the website of the 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025). POPL 2025 will take place in Denver, Colorado. See the Call For Paper for detailed information. The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome o ... |
Sun 14 - Sat 20 January 2024 London, United KingdomPOPL 2024with CPP 2024, VMCAI 2024, PADL 2024, CoqPL 2024, Dafny 2024, GALOP 2024, Incorrectness 2024, LAFI 2024, N40AI 2024, O'Hearn Fest, PEPM 2024, PLMW @ POPL 2024, PLanQC 2024, POCL 2024, PROPL 2024, PriSC 2024, The Future of Weak Memory 2024, WAW 2024, WITS 2024Welcome to the website of the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024). POPL 2024 will take place in the Institution of Engineering and Technology (IET), Savoy Place, London The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welc ... |
Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United StatesPOPL 2023with CPP 2023, VMCAI 2023, PADL 2023, CoqPL 2023, LAFI 2023, PEPM 2023, PLMW @ POPL 2023, PriSC 2023, ProLaLa 2023Welcome to the website of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). For the fiftieth POPL and the 50th anniversary of POPL, we will be back where POPL #1 happened: Boston, Massachusetts. The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimenta ... |
Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United StatesPOPL 2022with CPP 2022, VMCAI 2022, PADL 2022, CoqPL 2022, LAFI 2022, PEPM 2022, PLMW 2022, PriSC 2022, ProLaLa 2022, WITS 2022Welcome to the website of the 49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022). The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. We seek submissions that make pri ... |
Sun 17 - Fri 22 January 2021 OnlinePOPL 2021with CPP 2021, PLMW 2021, VMCAI 2021, PADL 2021, CoqPL 2021, LAFI 2021, PEPM 2021, PriSC 2021POPL 2021 videos are publicly available on Clowdr! There are also Clowdr tutorial videos available. POPL 2021 papers published in PACMPL, vol. 5, issue POPL. Preprints are also linked from Clowdr. Having trouble getting on Clowdr? DM @poplconf on Twitter or email popl2021team@gmail.com. Online registration is still open. POPL 2021 will take place on January 17–22, 2021 as a virtual meeting. Here’s How to POPL ... |
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United StatesPOPL 2020with CPP 2020, VMCAI 2020, PADL 2020, ADSL 2020, CoqPL 2020, HASE 2020, LAFI 2020, PEPM 2020, PLMW 2020, PLanQC 2020, PriSC 2020, WGT 2020Program of POPL 2020 and Co-located Events POPL 2020 Accepted Papers Distinguished Papers To download (the definitive and open access version of) a POPL paper, click “Link to publication” under the paper’s title and authors. Videos of POPL 2020 talks (hosted on YouTube) are available on their event page, where slides and other supplementary material may also be available. To get to a talk’s event page, c ... |
Sun 13 - Sat 19 January 2019 Cascais, PortugalPOPL 2019with CPP 2019, VMCAI 2019, PADL 2019, BEAT 2019, CoqPL 2019, LAFI 2019, OPCT 2019, Off the Beaten Track 2019, PEPM 2019, PLMW 2019, PriSC 2019Program of POPL 2019 and Co-located Events List of Papers Accepted for POPL 2019 Distinguished Papers To download (the definitive and open access version of) a POPL paper, click “Link to publication” under the paper’s title and authors. Videos of POPL 2019 talks (hosted on YouTube) are available on their event page, where slides and other supplementary material may also be available. To get to a talk’s e ... |
Sun 7 - Sat 13 January 2018 Los Angeles, California, United StatesPOPL 2018with CPP 2018, VMCAI 2018, PADL 2018, PPS 2018, CoqPL 2018, NetPL 2018, Off the Beaten Track 2018, PEPM 2018, PLMW 2018, PriSC 2018Welcome to the website of The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018) The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. We seek submissions that make prin ... |
Sun 15 - Sat 21 January 2017 POPL 2017with CPP 2017, VMCAI 2017, PADL 2017, PPS 2017, CoqPL 2017, N40AI 2017, Off the Beaten Track 2017, PEPM 2017, PLMW, PiP 2017, RDP 2017, SCM 2017, TTT 2017The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. The symposium is organised by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG. Latest news POPL 2017 is ove ... |
Wed 20 - Sat 23 January 2016 St. Petersburg, Florida, United StatesPOPL 2016with CPP 2016, VMCAI, PADL, CoqPL 2016, Off the Beaten Track 2016, PEPM 2016, PLMW, PPS 2016POPL is the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. Hotel updates A block of rooms at Hotel Indigo. ... |
Steve ZdancewicGeneral Chair
University of Pennsylvania
United States
Armando Solar-LezamaProgram Chair
Massachusetts Institute of Technology
United States
Ilya SergeyIndustrial Relations Co-Chair
National University of Singapore
Singapore
Michael GreenbergIndustrial Relations Co-Chair
Stevens Institute of Technology
United States
Ningning XiePublicity Chair
University of Toronto; Google DeepMind
Canada
Christoph MathejaWorkshops Co-Chair
DTU
Denmark
Robert RandWorkshops Co-Chair
University of Chicago
United States
Caleb StanfordArtifact Evaluation Co-Chair
University of California, Davis
United States
Vadim ZalivaArtifact Evaluation Co-Chair
University of Cambridge, UK
United States
Neel KrishnaswamiStudent Research Competition Co-Chair
University of Cambridge
United Kingdom
Ralf JungStudent Research Competition Co-Chair
ETH Zurich
Switzerland
Marco VassenaWeb Co-Chair
Utrecht University
Netherlands
Yannick ZakowskiWeb Co-Chair
Inria
France
Sacha-Élie AyounStudent Volunteer Co-Chair
Imperial College London
United Kingdom
Stephen MellStudent Volunteer Co-Chair
Christopher LamAudio/Video Co-Chairs
University of Illinois, Urbana-Champaign
United States
Jan-Paul Ramos-DavilaAudio/Video Co-Chairs
Cornell University
United States
Conrad WattVirtualization Chair
Nanyang Technological University
Singapore