CAV Acceptance Rate and Submission Statistics

International Conference on Computer-Aided Verification is tracked by CS Conf Stats as a FMV conference. The dataset covers 33 events from 1992-2024.

CAV 2024 accepted 69 papers out of 317 submissions, for an acceptance rate of 21.8%.

Latest Acceptance Rate

21.8%

2024: 69 accepted / 317 submitted

Years Covered

1992-2024

Discipline

FMV

Formal Verification, Model Checking, Automated Reasoning

Yearly Statistics

Year	Location	Accepted	Submitted	Acceptance Rate
2024	Montreal, Canada	69	317	21.8%
2023	Paris, France	67	261	25.7%
2022	Haifa, Israel	51	209	24.4%
2021	Online, Online	79	290	27.2%
2020	Los Angeles, California, USA	65	240	27.1%
2019	New York City, USA	67	258	26.0%
2018	Oxford, UK	65	215	30.2%
2017	Heidelberg, Germany	57	191	29.8%
2016	Toronto, Canada	58	195	29.7%
2015	San Francisco, California, USA	69	252	27.4%
2014	Vienna, Austria	57	229	24.9%
2013	Saint Petersburg, Russia	70	209	33.5%
2012	Berkeley, California, USA	58	185	31.4%
2011	Snowbird, USA	55	161	34.2%
2010	Edinburgh, Scotland, UK	51	145	35.2%
2009	Grenoble, France	52	169	30.8%
2008	Princeton, USA	47	131	35.9%
2007	Berlin, Germany	47	173	27.2%
2006	Seattle, USA	45	144	31.3%
2005	Edinburgh, Scotland, UK	48	155	31.0%
2004	Boston, USA	48	144	33.3%
2003	Boulder, USA	32	87	36.8%
2002	Copenhagen, Denmark	35	94	37.2%
2001	Paris, France	33	106	31.1%
2000	Chicago, USA	35	91	38.5%
1999	Trento, Italy	34	107	31.8%
1998	Vancouver, Canada	33	98	33.7%
1997	Haifa, Israel	34	84	40.5%
1996	New Brunswick, USA	32	93	34.4%
1995	Liege, Belgium	31	77	40.3%
1994	Stanford, California, USA	37	121	30.6%
1993	Crete, Greece	37	84	44.0%
1992	Montreal, Canada	31	75	41.3%

Full Title: International Conference on Computer-Aided Verification
Main Discipline: Formal Verification, Model Checking, Automated Reasoning
Other Topics: Program Analysis & Software Verification, Synthesis, SAT/SMT Solving, Decision Procedures, Cyber-Physical & Embedded Systems, Formal Methods for AI & Security
Parent Organization: CAV Steering Committee
Notes: Short papers and other types of papers including tool papers are not distinguished from full papers in some years of the conferences.

Related FMV conferences: LICS, TACAS, FM.