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 will take place on January 17–22, 2021 as a virtual meeting. POPL 2021 Call for Tutorials |
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. .. |
Jan 13 Sun | Jan 14 Mon | Jan 15 Tue | Jan 16 Wed | Jan 17 Thu | Jan 18 Fri | Jan 19 Sat |
---|---|---|---|---|---|---|
VMCAI | POPL | CoqPL | ||||
PriSC | PADL | OBT | ||||
BEAT | CPP | |||||
PEPM | ||||||
OPCT | ||||||
Tutorial Fest | LAFI | |||||
PLMW | ||||||
Jan 13 Sun | Jan 14 Mon | Jan 15 Tue | Jan 16 Wed | Jan 17 Thu | Jan 18 Fri | Jan 19 Sat |