CFP summary
POPL 2027 is the 54th ACM SIGPLAN Symposium on Principles of Programming Languages, one of the flagship conferences in programming languages and formal reasoning about software. The symposium brings together work on language design, type systems, semantics, verification, compilation, and mathematically grounded approaches to programming. The 2027 edition is held in Mexico City as part of the long-running POPL series.
Topics
The conference focuses on foundational and principled work in programming languages, including semantics, type systems, program verification, logic and theorem proving, compilation, synthesis, language design, mechanized metatheory, program analysis, concurrency, probabilistic and differentiable programming, and rigorous reasoning about real-world software systems.