• Date: January 11-17, 2026
• Location: Rennes, France
• URL: https://popl26.sigplan.org/

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

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

TBD