We are deeply saddened by the loss of another of the founders of CAV, Bob Kurshan, who died on March 10, 2021. Bob was, in a way, the guiding spirit of CAV, and gave generously of his time and prodigious energy to make the conference what it is today. His foundational research in automata-theoretic methods helped to create the field of computer-aided verification. His practical work at Bell Labs and Cadence Design Systems helped to make formal verification a reality in industrial practice. He was a great friend and mentor to many of us in both industry and academia. We are grateful to Bob for his indispensable contributions in fostering the vibrant research community that surrounds CAV today, and hope to build on that legacy for the future.


We are deeply saddened by the loss of Edmund Clarke, who passed away on December 22, 2020. Ed was a founder of CAV and a visionary leader in the field. He was also a friend, a mentor and an inspiration to all of us.  His ideas, his dedication and his generosity of spirit have touched each of our lives and provided a foundation for our careers in a field that he was instrumental in creating.  As we mourn his loss, we are grateful for his many contributions, both personal and professional, and we know that his work will continue to inspire new generations of researchers.   


Orna Grumberg
Aarti Gupta
Daniel Kroening
Ken McMillan
The CAV Steering Committee



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

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