POPL

24December, 2018

Countdown to POPL 2019 in Lisbon, Portugal

By |December 24th, 2018|ACM, Events|0 Comments

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, […]

30November, 2018

ACM Announces POPL 2019

By |November 30th, 2018|ACM|0 Comments

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 […]