International Conference on Computer-Aided Verification
International Conference on Computer-Aided Verification
Latest edition: CAV 2027
Official Portals
Prestige Metrics & Badges
CORE Ranking2026
A*Top 4%
Software engineering
CCF RankingChina CF
CCF ATier A
China Computer Federation
Google Scholar H5-IndexScholar
N/A
Top 5-year cited metric
Submission Deadlines & Live Countdown
CAV 2027 • Kit Netherlands(21 – 23 Jul, 2027)
Main Track
(conference)Deadline: Jan 21, 2027
AMPLE TIME
Anywhere on Earth (UTC-12)
75
Days
21
Hours
48
Mins
46
Secs
Complete Track Deadlines
| Track / Round | Format | Abstract Due | Paper Submission | Rebuttal Period | Notification Date | Camera-Ready Due | Time Remaining |
|---|---|---|---|---|---|---|---|
Main Track | conference | TBA | Jan 21, 2027 | — | Apr 23, 2027 | TBA | 75d21:48:46AoE |
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 | A* | Year 2026 | Software engineering | Flagship conference (Top 4%–7% globally) |
| CCF Ranking | China Computer Federation (CCF) | Tier A | CCF 2022 Catalog | Computer Science | Top-tier international conference |
| TH-CPL | Tsinghua University | Class 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 |
| CCF | Academic Association | A | N/A | General | International prestige ranking |
| CORE | Academic Association | A* | N/A | General | International prestige ranking |
| THCPL | Academic Association | A | N/A | General | International prestige ranking |
Conference Editions Timeline
Locations, dates, proceedings, and historical tracks of past & future editions
2023
CAV 2023
UpcomingParis, France
19 – 22 Jul, 2023
2022
CAV 2022
UpcomingTechnion, Israel
7 – 10 Aug, 2022
2021
CAV 2021
UpcomingLos Angeles, Virtual
20 – 23 Jul, 2021
2020
Computer Aided Verification
PastLos Angeles, USA
21 – 24 Jun, 2020
2019
31st International Conference on Computer-Aided Verification
PastNew York City, New York City
13 – 18 Jul, 2019
2018
Computer Aided Verification
PastOxford, UK
14 – 17 Jul, 2018
2017
29th International Conference on Computer-Aided Verification
PastHeidelberg, Germany
22 – 28 Jul, 2017
2016
International Conference on Computer Aided Verification
PastToronto, Canada
17 – 23 Jul, 2016
2015
27th International Conference on Computer Aided Verification
PastSan Francisco, san francisco
18 – 24 Jul, 2015
2013
25th International Conference on Computer Aided Verification
PastSt. Petersburg, Russia
13 – 19 Jul, 2013
2012
24th International Conference on Computer Aided Verification
PastBerkeley, USA
7 – 13 Jul, 2012
2011
23rd International Conference on Computer Aided Verification
PastCliff Lodge, USA
14 – 20 Jul, 2011
2010
22nd International Conference on Computer Aided Verification
PastEdinburgh, United Kingdom
15 – 19 Jul, 2010
2009
Computer Aided Verification
PastGrenoble, France
26 Jun – 2 Jul, 2009
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 ↗