CAV 2010 - 22nd International Conference on Computer Aided Verification
Edinburgh, UK, July 15-19, 2010
- Abstract submission deadline: January 11, 2010
- Paper submission deadline (firm): January 17, 2010
- Author feedback/rebuttal period: February 26 - March 1, 2010
- Notification of acceptance/rejection: March 15, 2010
- Final version due: April 16, 2010
- Conference dates: July 15-19, 2010
Aims and Scope
CAV 2010 is the 22nd in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. This year, CAV is part of the 5th International Federated Logic Conference (FLoC 2010), which includes CAV and seven other conferences/symposia: CSF, ICLP, IJCAR, ITP, LICS, RTA and SAT.
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 in System Design.
Topics of interest include:
- Model checking techniques
- Algorithms and tools for verifying models and implementations
- Hardware verification techniques
- Hybrid systems and embedded systems verification
- Program analysis and software verification
- Modeling and specification formalisms
- Deductive, compositional, and abstraction techniques for verification
- Testing and runtime analysis based on verification technology
- Applications and case studies
- Verification in industrial practice
- Formal methods for biological systems
There will be pre-conference workshops on July 14 and July 15, and post-conference workshops on July 20. Details on affiliated workshops will be posted on the conference website.
There will be tutorials on July 15 (first day of the conference).
Invited tutorial speakers
An annual award, called the CAV Award, has been 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).
Call for Nominations for the CAV Award: 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.)
The 2010 CAV Award Committee consists of Orna Grumberg (chair), Moshe Vardi, Joseph Sifakis, and Rajeev Alur. For the CAV Award in 2010, please send nominations to the CAV Award Committee Chair:
Orna Grumberg : orna (at) cs.technion.ac.il
Nominations must be received by January 15, 2010.
Paper SubmissionThere are two categories of submissions:
- A. Regular papers. Submissions, not exceeding fourteen (14) pages using Springer 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 four (4) pages using Springer 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 this conference before 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. The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments.