Countdown to POPL 2019 in Lisbon, Portugal
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, […]