CPP 2026 — 15th ACM SIGPLAN International Conference on Certified Programs and Proofs | CFP & Deadlines
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. CPP 2026 will be held in January 2026 and will be co-located with POPL 2026 in Rennes, France.
Rennes, FranceConference Schedule & Location
Dates: to
Host Location: Rennes, France (See official conference website)
Indexing & Ranking: ACM Digital Library
Official Website: https://conf.researchr.org/home/POPL-2026/CPP-2026
Important Dates & Deadlines (AoE)
- Abstract Submission
- Full Paper Submission
- Author Notification
- Camera-Ready Copy
Indexed Research Tracks & Topics
- Engineering & Robotics Technical Sessions
- Foundations & Novel Architectures
- Empirical Evaluations & Field Trials
- Interdisciplinary Applications
Frequently Asked Questions about CPP 2026
When and where is CPP 2026?
CPP 2026 (15th ACM SIGPLAN International Conference on Certified Programs and Proofs) takes place Jan 12–13, 2026 and is held in Rennes, France at See official conference website. Format: Hybrid.
What is the CPP 2026 paper submission deadline?
The full paper submission deadline for CPP 2026 is Sep 12, 2025 (Anywhere on Earth / AoE). Track-specific cutoffs may differ — always confirm on the official Call for Papers.
Is CPP 2026 indexed or ranked?
CPP is listed as ACM Digital Library. Accepted papers typically appear in the official conference proceedings and related academic indexes.
How do I submit a paper to CPP 2026?
Authors can submit manuscripts through the official submission portal at https://cpp2026.hotcrp.com/. Review the CFP tracks and formatting guidelines before uploading.
Related Engineering & Robotics Conferences & CFP Deadlines
- CAFE — 2026 IEEE Conference on AgriFood Electronics (CAFE) 📅 2026-09-23 • 📍 Cagliari, Italy
- IWAGPR — 2027 14th International Workshop on Advanced Ground Penetrating Radar (IWAGPR) 📅 2027-06-28 • 📍 Arcavacata di Rende (CS), Italy
- EDKCON — 2026 IEEE International Conference of Electron Devices Society Kolkata Chapter (EDKCON) 📅 2026-11-12 • 📍 Rangpo, India
- IS — 2026 IEEE SENSORS 📅 2026-10-25 • 📍 Rotterdam, Netherlands
- IS — 2027 IEEE SENSORS 📅 2027-10-24 • 📍 Sydney, Australia
Journals Accepting Papers in Engineering & Robotics
-
IEEE Internet of Things Journal (IEEE IoT-J) • Published by Institute of Electrical and Electronics EngineersImpact Factor: 10.6
-
IEEE Access (IEEE Access) • Published by IEEEImpact Factor: 3.9
-
IEEE Robotics and Automation Letters (IEEE RA-L) • Published by IEEE Robotics and Automation SocietyImpact Factor: 5.2
Academic Publishing Insights & Research Guides
-
📚 How to Write a Winning Conference Paper Rebuttal: Expert Reviewer & Meta-Reviewer Insights
Turn borderline reviewer scores into acceptances. Learn how to structure an author response, address reviewer misunderstandings politely, and persuade meta-reviewers during author rebuttal phases.
-
📚 The Complete Guide to AoE (Anywhere on Earth) Deadlines in Academic Conferences (2026–2027)
Master Anywhere on Earth (AoE / UTC-12) conference paper submission deadlines. Learn time conversions, avoid submission portal crashes, and manage global CFP cutoffs across all timezones.