The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Welcome to Rome and to POPL 2013, the fortieth edition of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Rome is a beautiful town, with an incredible millennial history in culture, art, and science, and fantastic opportunities for enjoying the Italian lifestyle, historic sites and museums. POPL 2013 is co-located with new and well-established conferences and workshops in programming languages and systems: 14th Verification, Model Checking, and Abstract Interpretation conference; Workshop on Synthesis, Verification, and Analysis of Rich Models; 15th International Symposium on Practical Aspects of Declarative Languages; Workshop on Partial Evaluation and Program Manipulation; 1st Interference and Dependence workshop; 1st Workshop on Behaviours and Types; Workshop on Data Driven Functional Programming; 7th Programming Languages meets Program Verification workshop; 2nd Program Protection and Reverse Engineering Workshop; and Off The Beaten Track: Underrepresented Problems for Programming Language Researchers. Confirming the long standing tradition and attention of POPL to students and young researchers, the Programming Language Mentoring Workshop and the TutorialFest will provide the necessary warm-up for a full immersion in POPL