The 46th ACM SIGPLAN Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. To be held in Lisbon, Portugal from 13-19 January, POPL 2019 will feature 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.
Countdown to POPL 2019 in Lisbon, Portugal
Recent Posts
- BCS Announces Alastair Revell as New President
- IFIP Honours Past President Mike Hinchey
- Nominate Now for IFIP Awards
- ACS Names Fellows and Honorary Life Members for 2023
- Progressing an International Standard for Advanced IT Professionals
- WG 10.4 Concludes Multi-Year Project on Intelligent Vehicle Dependability and Security
- IFIP Congratulates Dr Pieter Hogenbirk on his Knighthood
- ACM News
- IFIP WG 5.15 Stages 8th ITDRR Conference
- WG 12.13 Seeks Papers for November Event
Categories
Media Contacts
Caroline New
caroline@quantumvalues.com