CAV 2007

Computer Aided Verification (CAV)

19th International Conference

July 3-7, 2007, Berlin, Germany

Call for Papers

Aims and Scope

CAV'07 is the 19th 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, and maintain its recent momentum in software verification. 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 the Springer-Verlag Lecture Notes in Computer Science series. A selection of papers will be invited to a special issue of the International Journal on Formal Methods and System Design.

Topics of interest include

Invited Speakers

This year, there will be eight affiliated workshops:
Paper submission

There are two categories of submissions:
Information concerning the procedure for submissions will be available on the conference home page:

Papers exceeding the stated maximum length or submitted after January 28, 2007 run the risk of rejection without review.

On an experimental basis for this year, authors will be granted access to the text content of their reviews during the review process. Authors will be given a short time period in which to submit feedback, which may (at the PC's discretion) be taken into account in the decision process. Strict guidelines on length and content of feedback will be provided to the authors.

Important dates
Program Chairs
Program Committee
Steering Committee