Skip to main content
ALL
All research areas
AI
Artificial Intelligence
CHI
Computer-Human Interaction
DM
Database, Data Mining and Information Retrieval
GM
Computer Graphics and Multimedia
NET
Computer Networks
NEW
New and Interdisciplinary Fields
SEC
Cybersecurity and System Security
SW
Software Engineering and System Software
SYS
Computer Systems and Architecture
TH
Theory of Computing
中文
한국어
EN
OpenAccept
.org
Menu
Home
Contribute
About
Back
Home
/
Conferences
/
CAV
International Conference on Computer-Aided Verification
(CAV)
Latest record
2025 · Main Track
Year
2025
Submitted
305
Accepted
79
Acceptance rate
25.90%
Main Track
Historical statistics
Year
Submitted
Accepted
Acceptance rate
2025
305
79
25.90%
2024
317
69
21.77%
2023
261
67
25.67%
2022
209
51
24.40%
2021
290
79
27.24%
2020
240
65
27.08%
2019
258
67
25.97%
2018
215
65
30.23%
2017
191
57
29.84%
2016
195
58
29.74%
2015
252
69
27.38%
2014
229
57
24.89%
2013
209
70
33.49%
Main Track
Submission and acceptance trend
Share on
×
Bluesky
Facebook
LinkedIn
Reddit
X / Twitter
Copy page link