Verification, Model Checking & Abstract Interpretation Workshops

More workshops at ACM-SIGACT Symposium on Principles of Programming Languages 2026

• Certified Programs and Proofs — Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in...
• Auto-Active Program Verification — There is an established group of verification-aware programming languages that have native support for specifications...
• Languages for Inference — The Languages for Inference (LAFI) workshop aims to bring programming-language and machine-learning researchers together to...
• Partial Evaluation and Program Manipulation — The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) has a history going...
• Programming Quantum Computers — The Sixth International Workshop on Programming Languages for Quantum Computing (PLanQC 2026) aims to bring...
• Principles of Secure Compilation — Today’s computer systems are insecure. The semantics of mainstream low-level languages like C provide no...
• Rocq for Programming Languages — The goal of this workshop is to provide an opportunity for programming languages researchers and...
• Theory and Practice of Static Analysis — This workshop provides a venue where researchers and practitioners can present speculative ideas about new...
• Implementation of Type Systems — The goal of this workshop is to bring together the implementors of a variety of...