POPL 2024
Wed 17 - Fri 19 January 2024 London, United Kingdom

POPL

All Editions
Wed 17 - Fri 19 January 2024 London, United Kingdom

POPL 2024

with 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 2024

Welcome 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 States

POPL 2023

with CPP 2023, VMCAI 2023, PADL 2023, CoqPL 2023, LAFI 2023, PEPM 2023, PLMW @ POPL 2023, PriSC 2023, ProLaLa 2023

Welcome 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 States

POPL 2022

with CPP 2022, VMCAI 2022, PADL 2022, CoqPL 2022, LAFI 2022, PEPM 2022, PLMW 2022, PriSC 2022, ProLaLa 2022, WITS 2022

Welcome 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 Online

POPL 2021

with CPP 2021, PLMW 2021, VMCAI 2021, PADL 2021, CoqPL 2021, LAFI 2021, PEPM 2021, PriSC 2021

POPL 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 States

POPL 2020

with CPP 2020, VMCAI 2020, PADL 2020, ADSL 2020, CoqPL 2020, HASE 2020, LAFI 2020, PEPM 2020, PLMW 2020, PLanQC 2020, PriSC 2020, WGT 2020

Program 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, Portugal

POPL 2019

with CPP 2019, VMCAI 2019, PADL 2019, BEAT 2019, CoqPL 2019, LAFI 2019, OPCT 2019, Off the Beaten Track 2019, PEPM 2019, PLMW 2019, PriSC 2019

Program 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 States

POPL 2018

with CPP 2018, VMCAI 2018, PADL 2018, PPS 2018, CoqPL 2018, NetPL 2018, Off the Beaten Track 2018, PEPM 2018, PLMW 2018, PriSC 2018

Welcome 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 2017

with 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 2017

The 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 States

POPL 2016

with CPP 2016, VMCAI, PADL, CoqPL 2016, Off the Beaten Track 2016, PEPM 2016, PLMW, PPS 2016

POPL 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. ...

Organizing Committee (POPL 2024)