New:  The conference proceedings are available:
Part One CAV 2017 Proceedings
Part Two CAV 2017 Proceedings

Attention:  If you will be giving a talk, please make yourself known to your session chair (indicated in the program).

New:  You may also download
Workshop Program as PDF and
Main Conference Program as PDF

New:  All further registration is on-site, at the site of workshops on Saturday and Sunday, and in Heidelberg Stadthalle from Monday morning on. Online Registration is now closed, but we will gladly accept further registrations for the workshops and the main conference. The caveat is that banquet space is limited, so there is a small possibility that no banquet tickets are available by the time you do on-site registration.

Check Heidelberg Transit Map and Public Transport Web Site.

Information about CAV

CAV 2017 is the 29th 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 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.

The program of the 2017 edition of the International Conference on Computer-Aided Verification consists of the presentation of accepted papers, keynotes including the announcement and a keynote of the CAV Award winners, tutorials, workshop on the occasion of 60th birthday of David Dill, verification mentoring workshops, as well as workshops SYNT on synthesis, SMT on satisfiability modulo theories, VSTTE on verified software, DARS on robust systems, FEVER on explainable verification, and NSV/Rise4CPS on numerical software verification and cyberphysical systems.

Please book your hotel as if you did not do so already.