21st International Conference on

Computer Aided Verification

CAV 2009

June 26 - July 2, 2009

Grenoble, France

No Title

Call for Papers

21st International Conference on

Computer Aided Verification

CAV 2009

June 26 - July 2, 2009

Grenoble, France

http://www-cav2009.imag.fr

Aims and Scope

CAV 2009 is the 21st 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
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:

Algorithms and tools for verifying models and implementations

Hardware verification techniques

Hybrid systems and embedded systems verification

Deductive, compositional, and abstraction techniques for verification

Program analysis and software verification

Verification techniques for security

Testing and runtime analysis based on verification technology

Applications and case studies

Verification in industrial practice

Formal methods for biological systems

Events

There will be pre-conference workshops on June 26-28. The main conference will take place on June 28-July 2. There will be tutorials on the first day of the conference (June 28).
Please see the conference website for details.

CAV Award

See below for nominations for the CAV Award, established

For a specific fundamental contribution
or a series of outstanding contributions to the field of Computer Aided Verification.

The award of $10,000 will be granted to an individual or a group of
individuals chosen by the Award Committee from a list of nominations.
The Award Committee may choose to make no award.

The CAV Award shall be presented in an award ceremony at CAV and a
citation will be published in a Journal of Record (currently, Formal
Methods in System Design).

Paper Submission

There are two categories of submissions:

A. Regular Papers: Submissions, not exceeding fourteen (14) pages using Springer's LNCS format, should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data available with their submission. Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses and strength in sufficient depth. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed.

B. Tool Presentations:
Submissions, not exceeding six (6) pages using Springer's LNCS format, should describe the implemented tool and its novel features. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented (in any conference) will be accepted only if significant and clear enhancements to the tool are reported and implemented.

Papers exceeding the stated maximum length run the risk of rejection without review. For regular papers, an appendix can be joined to the submissions providing additional material such as details on proofs or experimentations. The appendix is not guaranteed to be read or taken into account by the reviewers and it should not contain informations necessary to the understanding and the evaluation of the presented work.
The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments.

Papers can be submitted in PDF or PS format. Submission is done with EasyChair. Informations about the submission procedure will be available at:
http://www-cav2009.imag.fr

Anyone can submit a nomination. The Award Committee can originate a
nomination.
Anyone, with the exception of members of the Award Committee, is
eligible to receive the Award.

A nomination must state clearly the contribution(s), explain why the
contribution is fundamental or the series of contributions is
outstanding, and be accompanied by supporting letters and other evidence
of worthiness. Nominations should include a proposed citation (up to 25
words), a succinct (100-250 words) description of the contribution(s),
and a detailed statement to justify the nomination.

The cited contribution(s) must have been made not more recently than
five years ago and not over twenty years ago. In addition, the
contribution(s) should not yet have received recognition via a major
award, such as the ACM Turing or Kanellakis Awards. (The nominee may
have received such an award for other contributions.)