POPL 2025
Welcome to the website of the 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025). POPL 2025 will take place in Denver, Colorado.
See the Call For Paper for detailed information.
The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation, or application of programming languages.
The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.
Talk live streams will be available on the YouTube SIGPLAN channel.
Registration is now open! The early registration deadline is December the 20th.
| Wed 4 Dec 2024 PEPM Camera ready version | |||||||||||||||||||||||||||||||||||||||||
| Thu 5 Dec 2024 CPP Camera ready version | |||||||||||||||||||||||||||||||||||||||||
| Thu 12 Dec 2024 PriSC Acceptance notification | |||||||||||||||||||||||||||||||||||||||||
| Fri 20 Dec 2024 new VMCAI Early Registration Closes | |||||||||||||||||||||||||||||||||||||||||
| Sun 19 Jan 2025 Dafny Workshop | |||||||||||||||||||||||||||||||||||||||||
| Mon 20 Jan 2025 WAW Workshop | |||||||||||||||||||||||||||||||||||||||||
| Mon 20 Jan 2025 PriSC Workshop | |||||||||||||||||||||||||||||||||||||||||
| Mon 20 - Tue 21 Jan 2025 CPP Conference | |||||||||||||||||||||||||||||||||||||||||
| Mon 20 - Tue 21 Jan 2025 PADL Symposium | |||||||||||||||||||||||||||||||||||||||||
| Tue 21 Jan 2025 PEPM Workshop | |||||||||||||||||||||||||||||||||||||||||
| Tue 21 Jan 2025 PLMW @ POPL Workshop | |||||||||||||||||||||||||||||||||||||||||
| Tue 21 Jan 2025 TPSA Workshop | |||||||||||||||||||||||||||||||||||||||||
| Carbon Offset | |
| Platinum | |
| Gold | |
| Silver | |
| Women@POPL 2025 dinner | |
| Bronze |