July 26-29 2026 in Lisbon, Portugal, as part of FLoC 2026
CAV 2026 is the 38th 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 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 machine learning, quantum verification, autonomous systems, and computer security.
IMPORTANT DATES
- Full papers due: January 28, 2026
- Author Response Period: March 30 - April 1, 2026
- Author Notification: April 17, 2026