About


CAV 2021 is the 33rd in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference will be held online, July 18-24, 2021. It was originally planned to take place in Los Angeles, California, USA. 

The videos of CAV’21 are now available online at http://cav21.org

The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. A selection of papers is expected to be invited to a special issue of Formal Methods in System Design and the Journal of the ACM.

See information of CAV from previous years.

Featured News: 

April 22: CAV 2021 will be virtual. 
June 1: CAV 2021 will take place July 18-24 (workshops: July 18-19, tutorials: July 19 and 24, main conference: July 20-23). 
July 17: The CAV 2021 Proceedings are available online and open access (click images below or here: Part I, Part II). 


We will have two memorials at CAV 2021 to remember Edmund Clarke and Bob Kurshan. They will be held on Tuesday, July 20 and Wednesday, July 21 at 10:30am PDT. The memorials are open to the whole CAV community, you can find the links to join here.

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.

This image has an empty alt attribute; its file name is image.jpeg

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