Skip to content

CAV 2027

International Conference on Computer-Aided Verification

Theory
111days left

Paper submission · Jan 20, 2027 est.

On the horizon · deadline is AoE (UTC-12)

Add to Google Calendar

All deadlines

Paper submissionJan 20, 2027est.

From past proceedings

Papers in CAV's main DBLP volume each year, not official acceptance counts.

Full proceedings stats →

Papers in 2025

79

main DBLP volume

5-year change

+22%

vs 2020

Papers, all years

2,068

37 years since 1990

Authors per paper

4.2

3.7 in 2015

By an entirely new team

15%

of 2025 papers

Papers per year1990 to 2025
1990: 38 papers1991: 44 papers1992: 32 papers1993: 40 papers1994: 38 papers1995: 34 papers1996: 51 papers1997: 52 papers1998: 54 papers1999: 43 papers2000: 47 papers2001: 48 papers2002: 51 papers2003: 41 papers2004: 51 papers2005: 52 papers2006: 49 papers2007: 54 papers2008: 53 papers2009: 60 papers2010: 58 papers2011: 60 papers2012: 64 papers2013: 72 papers2014: 57 papers2015: 70 papers2016: 58 papers2017: 61 papers2018: 70 papers2019: 67 papers2020: 65 papers2021: 84 papers2022: 53 papers2023: 67 papers2024: 69 papers2025: 79 papers
Read the 2025 proceedingsVolume 1 ↗DBLP ↗Volume 2 ↗DBLP ↗Volume 3 ↗DBLP ↗Volume 4 ↗DBLP ↗

Top keywords, 2025

verificationsynthesischeckingautomatedprobabilisticcertificatesproofverifyingcheckercounterformallyinfinite-state

Venues like CAV

  1. FM International Symposium on Formal Methods0.35verificationverification toolverifyingreachability
  2. VMCAI International Conference on Verification, Model Checking, and Abstract Interpretation0.32checkinginfinite-stateverificationreachability
  3. ATVA International Symposium on Automated Technology for Verification and Analysis0.31checkingautomatasynthesisverified
  4. FMCAD Formal Methods in Computer-Aided Design0.26smtverificationformallyhardware model checking

Most published at CAV

  1. Thomas A. Henzinger1993 to 202644
  2. Clark W. Barrett2002 to 202638
  3. Moshe Y. Vardi1990 to 202636
  4. Rajeev Alur1992 to 202329
  5. Alessandro Cimatti1997 to 202529

Who publishes here

2025 to 2026 · papers count once per institution on them

Academia 78%Industry 6%Government and other 16%

Institutions

  1. 1TU Wien🇦🇹10
  2. 2Stanford University🇺🇸10
  3. 3University of Toronto🇨🇦8
  4. 4Chinese Academy of Sciences🇨🇳8
  5. 5Institute of Software🇨🇳8
  6. 6Radboud University Nijmegen🇳🇱7
  7. 7University of Oxford🇬🇧7
  8. 8Amazon (United States)🇺🇸6

Countries

  1. United States52
  2. Germany32
  3. United Kingdom22
  4. China20
  5. Netherlands18
  6. Austria17

Affiliations from OpenAlex for the papers DBLP lists. A paper with authors from three institutions counts for each of them; the split above is over the top institutions.