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.

Registration is open and Hotel bookings are possible. (Early registration by June 14. Most hotels have cutoff dates in early June.)

New: Visa Support letters. To obtain one, please send an email to viktor.kuncak@epfl.ch and rupak@mpi-sws.org with evidence of registration and (a) Name as in passport, (b) passport number and nationality.