About

CAV is the premier international conference on computer-aided verification. It provides a forum for a broad range of advanced research in areas ranging model checking and automated theorem proving to testing, synthesis and related fields. Research reported in CAV includes the application of formal methods to many kinds of systems,including hardware, software and communication protocols. It covers many system models, including finite-state and infinite state systems, hybrid systems and probabilistic systems. It encompasses both theory and industrial case studies. The common thread is the use of automation to help designers build more reliable systems.

CAV is held each year in July, and usually alternates between North America and Europe. It began as a workshop held in 1989 in Grenoble France. Subsequently, CAV was organized as a conference by Edmund Clarke, Robert Kurshan, Amir Pnueli and Joseph Sifakis. It has been held each year since 1990. A list of past and planned CAV conferences by year can be found below.

The current steering committee of CAV consists of:

Orna Grumberg , The Technion
Aarti Gupta , Princeton University
Daniel Kröning , University of Oxford
Ken McMillan , UT Austin

2025Zagreb
2024Montreal
2023Paris
2022Haifa
2021Los Angeles (virtual)
2020Los Angeles (virtual)
2019New York
2018Oxford
2017Heidelberg
2016Toronto
2015San Francisco
2014Vienna
2013St. Petersburg
2012Berkeley
2011Salt Lake City
2010Edinburgh
2009Grenoble
2008Princeton
2007Berlin
2006Seattle
2005Edinburgh
2004Boston
2003Boulder
2002Copenhagen
2001Paris
2000Chicago
1999Trento
1998Vancouver
1997Haifa
1996Rutgers
1995Liege
1994Stanford
1993Elounda
1992Montreal
1991Aalborg
1990Rutgers
1989Grenoble