Rocq for Programming Languages

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...
• Theory and Practice of Static Analysis — This workshop provides a venue where researchers and practitioners can present speculative ideas about new...
• Verification, Model Checking & Abstract Interpretation Workshops — VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract...
• Implementation of Type Systems — The goal of this workshop is to bring together the implementors of a variety of...