ACM Events
POPL 2024, 14—20 January 2024
The ACM SIGPLAN Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. This event is co-located with several other conferences including Certified Programs and Proofs (CPP) and the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI). Presentations […]