Conference Information
CAV 2027: International Conference on Computer-Aided Verification
Embed deadline badge
Get this via API
Conference Partner Index (CP-I)
#11 of 247 in Software Engineering
| Academic recognition (35%) |
|
100 |
| Submission selectivity (20%) |
|
83 |
| Editions held (20%) |
|
99 |
| Community attention (10%) |
|
57 |
| Public record completeness (15%) |
|
85 |
Inputs used: Listed as CCF A, QUALIS A1 · Acceptance rate: 25.8% (mean of 5 editions on file) · Editions on record: 39 · Researchers following it here: 34 · Researchers who opened this page in the past 24 months: 20
Missing from the public record:
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 100% - 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.2 · Computed 2026-10-20
Never miss the CAV deadline
Create a free account and we will email you 30, 14, 7, 3, 1 days before the submission deadline.
Your first reminder would be sent on 2026-12-21.
Call For Papers
CAV 2027 (International Conference on Computer-Aided Verification) is a CCF A / ICORE A* / QUALIS A1 conference held in Amsterdam, the Netherlands on 2027-07-19. The paper submission deadline is 2027-01-20. Acceptance notifications are sent on 2027-04-23.
Acceptance Ratio
Average acceptance rate: 30.3% over 14 years (1996–2014).
| Year | Submitted | Accepted | Accepted(%) |
|---|---|---|---|
| 2014 | 175 | 46 | 26.3% |
| 2013 | 209 | 54 | 25.8% |
| 2012 | 140 | 38 | 27.1% |
| 2006 | 121 | 35 | 28.9% |
| 2005 | 155 | 32 | 20.6% |
| 2004 | 144 | 32 | 22.2% |
| 2003 | 102 | 32 | 31.4% |
| 2002 | 94 | 35 | 37.2% |
| 2001 | 106 | 33 | 31.1% |
| 2000 | 91 | 35 | 38.5% |
| 1999 | 107 | 34 | 31.8% |
| 1998 | 117 | 33 | 28.2% |
| 1997 | 84 | 34 | 40.5% |
| 1996 | 93 | 32 | 34.4% |
People who viewed this also viewed
| CCF | ICORE | CP-I | Short | Full Name | Submission | Conference |
|---|---|---|---|---|---|---|
| A | A | 92.8 | ISSTA | International Symposium on Software Testing and Analysis | 2027-01-08 | 2027-09-07 |
| A | A* | 97.5 | ICDE | International Conference on Data Engineering | 2026-11-11 | 2027-05-17 |
| A | A* | 91.8 | FSE | ACM SIGSOFT Symposium on the Foundations of Software Engineering | 2026-10-02 | 2027-07-12 |
| A | A* | 97.2 | The Web Conference | The ACM Web Conference | 2026-10-18 | 2027-05-10 |
| A | A | 93.1 | OOPSLA | Object-Oriented Programming Systems, Languages and Applications | 2027-04-07 | 2027-10-10 |
| A | A* | 94.3 | PLDI | ACM SIGPLAN conference on Programming Language Design and Implementation | 2026-11-12 | 2027-06-05 |
| B | A | 84.2 | ICFP | ACM SIGPLAN International Conference on Functional Programming | 2027-02-25 | 2027-09-26 |
| B | A | 93.4 | DSN | International Conference on Dependable Systems and Networks | 2026-11-25 | 2027-06-22 |
| A | A* | 93.5 | USENIX Security | USENIX Security Symposium | 2027-01-19 | 2027-08-11 |
| B | A* | 96.6 | SIGMETRICS | International Conference on Measurement and Modeling of Computer Systems | 2027-01-11 | 2027-06-07 |
Related Conferences
| CCF | ICORE | CP-I | Short | Full Name | Submission | Conference |
|---|---|---|---|---|---|---|
| A | A* | 95.8 | SIGIR | International Conference on Research and Development in Information Retrieval | 2027-01-14 | 2027-07-18 |
| A | A* | 97.8 | AAAI | AAAI Conference on Artificial Intelligence | 2026-07-21 | 2027-02-16 |
| A | A* | 94.7 | CVPR | IEEE Conference on Computer Vision and Pattern Recognition | 2026-11-10 | 2027-06-20 |
| A | A* | 92.9 | STOC | ACM Symposium on Theory of Computing | 2026-11-02 | 2027-06-06 |
| A | A* | 95.4 | OSDI | USENIX Symposium on Operating Systems Design and Implementation | 2026-12-01 | 2027-07-07 |
| A | A* | 95.2 | ICML | International Conference on Machine Learning | 2026-01-23 | 2026-07-06 |
| A | A* | 97.3 | INFOCOM | International Conference on Computer Communications | 2026-07-24 | 2027-05-24 |
| A | A* | 89.4 | ICCV | International Conference on Computer Vision | 2025-03-07 | 2025-10-19 |
| A | A* | 94.2 | CHI | ACM Conference on Human Factors in Computing Systems | 2026-09-10 | 2027-05-10 |
| A | A | 92.8 | ISSTA | International Symposium on Software Testing and Analysis | 2027-01-08 | 2027-09-07 |
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| Journal of Computer-Aided Molecular Design | 3.1 | Springer | 0920-654X | |
| Integrated Computer-Aided Engineering | 5.3 | IOS Press | 1069-2509 | |
| Computer-Aided Civil and Infrastructure Engineering | 9.1 | Wiley | 1093-9687 | |
| Software Testing Verification and Reliability | 1.2 | Wiley | 0960-0833 | |
| International Journal of RF and Microwave Computer-Aided Engineering | 0.900 | Wiley | 1096-4290 | |
| A | IEEE Transactions on Multimedia | 9.7 | IEEE | 1520-9210 |
| A | IEEE Transactions on Computers | 3.8 | IEEE | 0018-9340 |
| A | IEEE Transactions on Dependable and Secure Computing | 7.5 | IEEE | 1545-5971 |
| A | IEEE Transactions on Parallel and Distributed Systems | 6.0 | IEEE | 1045-9219 |
| A | IEEE Transactions on Image Processing | 13.7 | IEEE | 1057-7149 |
No comments yet.