POPL 2026

Table of Contents

1. Overview

2. Notes

  • 53rd ACM SIGPLAN Symposium on Principles of Programming Languages
  • Sponsored by ACM SIGPLAN, in cooperation with SIGACT and SIGLOG

3. Topics

  • Programming language design
  • Type systems
  • Program analysis
  • Verification
  • Semantics

4. Schedule

TBD