The 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) will be held in Lisbon, Portugal from 13-19 January.
A forum for the discussion of all aspects of programming languages and programming systems, the symposium will involve co-hosted workshops covering Certified Programs and Proofs, and Verification, Model Checking, and Abstract Interpretation.
Keynote speakers are Mark Harman, an Engineering Manager at Facebook London, and Brigitte Pientka, an Associate Professor in the School of Computer Science at McGill University.