POPL is the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.
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.
Hotel updates A block of rooms at Hotel Indigo. However, the hotel has sold out on some nights. You can call the hotel directly to ask about their available nights at 727-822-4814 and let the front desk know you are with the POPL 2016 Overflow group. The group code is POP. If you run into any complications with booking, email accomodationpopl2016.
Student Research Competition Winners
Congratulations to the Student Research Competition Winners!
- Suguman Bansal, Rice University: Reasoning about incentive compatibility (First Place)
- Calvin Smith, University of Wisconsin - Madison: Synthesis with Respect to Normality (Second Place)
- Maria A Schett, University of Innsbruck: From Trees To Graphs: Understanding The Implications Of Sharing For Rewriting (Third Place)
- Joey Eremondi, Utrecht University:Polyvariant Pattern Match Analysis with Implication Constraints (First Place)
Verification, Model Checking, and Abstract Interpretation
Principles of Programming Languages
Off the Beaten
Certified Programs and Proofs
Probabilistic Programming Semantics
Practical Aspects of Declarative Languages
Coq for Programming Languages
Programming Languages Mentoring
|PEPM 2016 Papers Now AvailableThu 21 Jan 2016|
|POPL 2016 Papers Now AvailableThu 21 Jan 2016|
|PADL program and schedule is available.Tue 5 Jan 2016|
|PLMW Scholarships closedMon 4 Jan 2016|
|Early registration deadline extendedFri 11 Dec 2015|
|PLMW Invited Speakers ConfirmedWed 18 Nov 2015|
|VMCAI 2016 Conference Program Fri 13 Nov 2015|
|POPL 2016 Registration OpenThu 16 Apr 2015|