Registration is now open for POPL 2027; be sure to register before December 10th to get the early registration price.

The annual Symposium on Principles of Programming Languages is the premier forum for the discussion of all aspects of programming languages and programming systems. Our community has produced foundational ideas that have shaped computing for decades, including type systems, program synthesis, theorem proving, static analysis, and verified systems.

The 2027 conference and associated workshops will take place in Mexico City at the Hilton Mexico City Reforma from January 10 to January 16.

Call for Student Volunteers: The deadline for applications to be student volunteers is November 11. If you are a student and would like to be a volunteer, be sure to apply before then.

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

The paper deadline has passed, but you can still view the call for papers here.

Companies and non-profits interested in supporting POPL should reach out to the POPL Industrial Relations Chairs.