This article has multiple issues. Please helpimprove it or discuss these issues on thetalk page.(Learn how and when to remove these messages) The topic of this articlemay not meet Wikipedia'snotability guideline for events. Please help to demonstrate the notability of the topic by citingreliable secondary sources that areindependent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to bemerged,redirected, ordeleted. Find sources: "Symposium on Principles of Programming Languages" – news ·newspapers ·books ·scholar ·JSTOR(April 2021) (Learn how and when to remove this message) This articleneeds additional citations forverification. Please helpimprove this article byadding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Symposium on Principles of Programming Languages" – news ·newspapers ·books ·scholar ·JSTOR(April 2021) (Learn how and when to remove this message) This articlerelies excessively onreferences toprimary sources. Please improve this article by addingsecondary or tertiary sources. Find sources: "Symposium on Principles of Programming Languages" – news ·newspapers ·books ·scholar ·JSTOR(April 2021) (Learn how and when to remove this message) (Learn how and when to remove this message)

The annualACMSIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is anacademic conference in the field ofcomputer science, with focus on fundamental principles in the design, definition, analysis, and implementation of programming languages, programming systems, and programming interfaces. The venue is jointly sponsored by twoSpecial Interest Groups of theAssociation for Computing Machinery:SIGPLAN andSIGACT.

POPL ranks as A* (top 4%) in the CORE conference ranking.^[1]

The proceedings of the conference are hosted at theACM Digital Library. They were initially under apaywall, but since 2017 they are published inopen access as part of the journalProceedings of the ACM on Programming Languages (PACMPL).

• Declarative Aspects of Multicore Programming (DAMP)
• Foundations and Developments of Object-Oriented Languages (FOOL/WOOD)
• Partial Evaluation and Semantics-Based Program Manipulation (PEPM)
• Practical Applications of Declarative Languages (PADL)
• Programming Language Technologies for XML (PLAN-X)
• Types in Language Design and Implementation (TLDI)
• Verification, Model Checking and Abstract Interpretation (VMCAI)
• Languages for Inference (LAFI)

• International Conference on Functional Programming (ICFP)
• Programming Language Design and Implementation (PLDI)
• POPLmark challenge

• Official website
• Acceptance Rates of Compiler Conferences

• Association for Computing Machinery conferences
• Programming languages conferences

• Articles with short description
• Short description is different from Wikidata
• Articles with topics of unclear notability from April 2021
• All articles with topics of unclear notability
• Event articles with topics of unclear notability
• Articles needing additional references from April 2021
• All articles needing additional references
• Articles lacking reliable references from April 2021
• All articles lacking reliable references
• Articles with multiple maintenance issues