Home
CAV 2012 is the 24th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue its leadership in hardware verification, maintain its recent momentum in software verification, and consider new domains such as biological 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. The proceedings of the conference will be published in Springer-Verlag's Lecture Notes in Computer Science series.
News
- Program is up.
- Local information (accomodation, travel, visa info.) is available here.
- The invited talks are described here.
- The invited tutorials are described here.
- Associated workshops are listed here.
- Call for Papers is here. [txt]
- Call for Workshops is here. [txt]
Important Dates
- Conference: July 9-13, 2012
- Workshops: July 7-8, 2012
- Final version due:
April 20, 2011 - Notification of acceptance/rejection:
March 22, 2012 - Author feedback/rebuttal period:
March 7-9, 2012 - Paper submission (firm):
January 22, 2012 at 23:59 Anywhere on Earth - Abstract submission: (closed)
CAV 2012 gratefully acknowledges the support from the following sponsors:
