Conference Information
CPP 2027: International Conference on Certified Programs and Proofs
Embed deadline badge
Get this via API
Conference Partner Index (CP-I)
| Academic recognition (35%) |
|
72 |
| Submission selectivity (20%) | No data - scored at the neutral baseline of 50 | — |
| Editions held (20%) |
|
76 |
| Community attention (10%) |
|
28 |
| Public record completeness (15%) |
|
55 |
Inputs used: Listed as ICORE B · Editions on record: 16 · Researchers following it here: 3 · Researchers who opened this page in the past 24 months: 6
Missing from the public record:
Historical acceptance rates (+4.5) · Best-paper records (+2.3)
Organizers can add these from this page after claiming the conference; scores are recomputed nightly. How to raise this score
Confidence 80% - the share of the score backed by observed data rather than the neutral baseline. How this score is calculated · Browse the ranking · Algorithm version 1.1 · Computed 2026-09-16
Get notified when the next edition opens
This edition is over. Create a free account and we will email you as soon as the next call for papers is published.
Based on the previous edition, the next deadline is estimated around 2027-09.
Call For Papers
CPP 2027 (International Conference on Certified Programs and Proofs) is a ICORE B conference held in Mexico City, Mexico on 2027-01-10. The paper submission deadline is 2026-09-03. Acceptance notifications are sent on 2027-11-10.
People who viewed this also viewed
| CCF | ICORE | CP-I | Short | Full Name | Submission | Conference |
|---|---|---|---|---|---|---|
| 48.0 | CVAA | International Conference on Computer Vision, Application and Algorithm | 2026-09-04 | 2026-09-18 | ||
| 43.7 | ICACRS | International Conference on Automation, Computing and Renewable Systems | 2026-09-03 | 2026-12-02 |
Related Conferences
| CCF | ICORE | CP-I | Short | Full Name | Submission | Conference |
|---|---|---|---|---|---|---|
| A | A* | 92.4 | SIGIR | International Conference on Research and Development in Information Retrieval | 2026-01-15 | 2026-07-20 |
| A | A* | 97.7 | AAAI | AAAI Conference on Artificial Intelligence | 2026-07-21 | 2027-02-16 |
| A | A* | 91.1 | CVPR | IEEE Conference on Computer Vision and Pattern Recognition | 2025-11-06 | 2026-06-03 |
| B | A* | 89.7 | ICRA | International Conference on Robotics and Automation | 2026-09-15 | 2027-05-24 |
| B | A* | 94.0 | IJCAI | International Joint Conference on Artificial Intelligence | 2026-01-31 | 2026-08-15 |
| A | A* | 89.3 | STOC | ACM Symposium on Theory of Computing | 2025-11-04 | 2026-06-22 |
| C | 87.3 | ICC | International Conference on Communications | 2026-10-02 | 2027-05-30 | |
| C | B | 62.6 | IJCNN | International Joint Conference on Neural Networks | 2027-01-31 | 2027-06-14 |
| B | 91.2 | ICASSP | International Conference on Acoustics, Speech and Signal Processing | 2026-09-16 | 2027-05-16 | |
| B | A* | 79.4 | PODS | ACM SIGMOD Conference on Principles of DB Systems | 2026-12-03 | 2027-06-13 |
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| Computer Methods and Programs in Biomedicine | 4.8 | Elsevier | 0169-2607 | |
| A | IEEE Transactions on Multimedia | 9.7 | IEEE | 1520-9210 |
| C | Knowledge-Based Systems | 7.2 | Elsevier | 0950-7051 |
| B | Software & Systems Modeling | 3.2 | Springer | 1619-1366 |
| A | IEEE Transactions on Computers | 3.8 | IEEE | 0018-9340 |
| C | Future Generation Computer Systems | 5.9 | Elsevier | 0167-739X |
| C | Neurocomputing | 6.5 | Elsevier | 0925-2312 |
| C | Pattern Recognition Letters | 3.9 | Elsevier | 0167-8655 |
| B | Pattern Recognition | 7.6 | Elsevier | 0031-3203 |
| IEEE Access | 3.6 | IEEE | 2169-3536 |
No comments yet.