Conference Information
CAV 2027: International Conference on Computer-Aided Verification
Embed deadline badge
Get this via API
Conference Partner Index (CP-I)
#10 of 245 in Software Engineering
| Academic recognition (35%) |
|
100 |
| Submission selectivity (20%) |
|
83 |
| Editions held (20%) |
|
99 |
| Community attention (10%) |
|
51 |
| 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: 8
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.1 · Computed 2026-09-10
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% |
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 |
| A | A* | 89.3 | STOC | ACM Symposium on Theory of Computing | 2025-11-04 | 2026-06-22 |
| A | A* | 95.2 | OSDI | USENIX Symposium on Operating Systems Design and Implementation | 2026-12-01 | 2027-07-07 |
| A | A* | 91.9 | ICML | International Conference on Machine Learning | 2026-01-23 | 2026-07-06 |
| A | A* | 97.2 | INFOCOM | International Conference on Computer Communications | 2026-07-24 | 2027-05-24 |
| A | A* | 89.2 | ICCV | International Conference on Computer Vision | 2025-03-07 | 2025-10-19 |
| A | A* | 94.1 | CHI | ACM Conference on Human Factors in Computing Systems | 2026-09-10 | 2027-05-10 |
| A | A | 89.0 | ISSTA | International Symposium on Software Testing and Analysis | 2026-01-29 | 2026-10-03 |
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.