ACM-SIGACT Symposium on Principles of Programming Languages — 2027

POPL is the premier international forum for research on the foundations of programming languages and systems. It covers programming language theory, type systems, formal semantics, compilers, program analysis, and verification, welcoming both theoretical and experimental contributions. Its proceedings, published in PACMPL, are among the most cited in the programming languages field, and the symposium fosters close dialogue between theorists and practitioners.

  For more information, visit the conference website