POPL 2025
Table of Contents
1. Overview
- Date: January 19-25, 2025
- Location: Denver, Colorado, USA
- URL: https://popl25.sigplan.org/
2. Notes
- 52nd ACM SIGPLAN Symposium on Principles of Programming Languages
- General Chair: Steve Zdancewic (UPenn)
- Program Chair: Armando Solar-Lezama (MIT)
- Co-located with VMCAI, CPP, and other workshops
3. Topics
- Programming language design
- Type systems
- Program analysis
- Verification
- Semantics