Certified Programs and Proofs
Indexed in CORE Rankings with rank B (ICORE2026).
Latest edition: Certified Programs and Proofs 2023
Official Portals
Prestige Metrics & Badges
CORE Ranking2026
B
Theory of computation
CCF RankingChina CF
N/A
China Computer Federation
Google Scholar H5-IndexScholar
N/A
Top 5-year cited metric
Submission Deadlines & Live Countdown
Certified Programs and Proofs 2023 • Boston USA(16 – 17 Jan, 2023)
No active deadlines currently announced for the upcoming edition
Please check the official conference portal or DBLP for the latest Call for Papers announcements.
Multi-Source Prestige Rankings
Comparative classification across international academic evaluation bodies
| Ranking System | Evaluation Body | Classification | Edition / Year | Field / Scope | Prestige Significance |
|---|---|---|---|---|---|
| CORE Ranking | Computing Research and Education Association of Australasia | B | Year 2026 | Theory of computation | Good conference (Top 35%–40% globally) |
| CCF Ranking | China Computer Federation (CCF) | N/A | CCF 2022 Catalog | Computer Science | Important international conference |
| TH-CPL | Tsinghua University | N/A | TH-CPL List | CS & Engineering | Tsinghua Recommended Conference Publishing List |
| Qualis CAPES | CAPES (Brazilian Ministry of Education) | N/A | Sucupira / Qualis | Ciência da Computação | South American academic evaluation standard |
| CORE | Academic Association | B | ICORE2026 | General | International prestige ranking |
Conference Editions Timeline
Locations, dates, proceedings, and historical tracks of past & future editions
2023
Certified Programs and Proofs 2023
PastBoston, USA
16 – 17 Jan, 2023
2022
Certified Programs and Proofs (CPP) 2022
PastPhiladelphia, US
17 – 18 Jan, 2022
2021
Certified Programs and Proofs
PastCopenhagen, Denmark
18 – 19 Jan, 2021
2020
Certified Programs and Proofs
PastNew Orleans, USA
20 – 21 Jan, 2020
2018
Spanish Parallel Programming Contest
PastNon Presential, non presential
14 Jun – 14 Sep, 2018
2014
The Third International Meeting on Cardiac Problems in Pregnancy
PastHiton Molino Stucky Venice, Hiton Molino Stucky Venice
20 – 23 Feb, 2014
2013
Certified Programs and Proofs
PastMelbourne, Australia
9 – 11 Dec, 2013
2012
The Second International Conference on Certified Programs and Proofs
PastKyoto, Japan
13 – 15 Dec, 2012
Academic Resources & External Links
Access DBLP archives, Papers With Code, and official conference portals
DBLP Computer Science
Comprehensive open bibliographic database tracking full papers across editions.
dblp.org ↗
Papers With Code
Explore trending papers, open-source code repositories, and leaderboards.
paperswithcode.com ↗
CORE Ranking Portal
Official evaluation catalog from Computing Research and Education Association.
portal.core.edu.au ↗