Write a Blog >>

Welcome to the website of the 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020).

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 principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages.

The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.

POPL 2020 and its co-located events will take place in New Orleans, USA, January 19–25, 2020.

Invited Talks