Call for Papers

view as [text]

25th International Conference on Computer Aided Verification (CAV 2013)

July 13-19, 2013 St. Petersburg, Russia

Program Chairs: Natasha Sharygina and Helmut Veith

Website: http://cav2013.forsyte.at/

Aims and Scope

The conference on Computer Aided Verification (CAV), 2013, is the 25th 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 spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security. 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 Formal Methods in System Design and the Journal of the ACM.

Topics of interest include:

  • Algorithms and tools for verifying models and implementations
  • Hardware verification techniques
  • Deductive, compositional, and abstraction techniques for verification
  • Program analysis and software verification
  • Verification methods for parallel and concurrent hardware/software systems
  • Testing and runtime analysis based on verification technology
  • Applications and case studies in verification
  • Decision procedures and solvers for verification
  • Mathematical and logical foundations of practical verification tools
  • Verification in industrial practice
  • Algorithms and tools for system synthesis
  • Hybrid systems and embedded systems verification
  • Verification techniques for security
  • Formal models and methods for biological systems

Following the example of 2012, CAV will again have special tracks in four areas:

  1. Hardware Verification (track chair: Armin Biere)
  2. Computer Security (track chair: Somesh Jha)
  3. SAT and SMT (track chair: Nikolaj Bjoerner)
  4. Biology (track chair: Jasmin Fisher)

Submissions in these four topics are especially encouraged. Papers in these areas will be subject to the same rigorous review process as other papers. Accepted special track papers will be organized into special sessions that are highlighted in the program.

In addition, CAV 2013 will also have a track chair for tool papers:

  1. Tool Papers (track chair: Roderick Bloem)

Events

The conference will include the following events:

  • Pre-conference workshops on July 13-14.
  • The main conference will take place July 15th-19th:
    • Invited tutorials on July 15th.
    • Technical sessions on July 16-19.

Please see the conference website for further details.

Paper Submission

There are two categories of submissions:

A. Regular Papers: Submissions, not exceeding sixteen (16) 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 strengths in sufficient depth. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. An appendix can be joined to the submissions providing additional material such as details on proofs or experiments. The appendix is not guaranteed to be read or taken into account by the reviewers and it should not contain information necessary to the understanding and the evaluation of the presented work.

B. Tool Presentations: Submissions, not exceeding six (6) pages using Springer’s LNCS format, should describe the implemented tool, its novel features, and possibly an experimental evaluation. A demonstration, in a separate demonstration session, 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. We strongly encourage authors to make their tools and benchmarks available with their submission.

Papers exceeding the stated maximum length run the risk of rejection without review. An appendix can be joined to the submissions providing additional material such as details on proofs or experiments. The appendix is not guaranteed to be read or taken into account by the reviewers and should not contain information necessary to the understanding and the evaluation of the presented work. Note that the page limit for submissions has been increased to 16 pages including references.

The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments.

Papers must be submitted in PDF format. Submission is done with EasyChair. Information about the submission procedure will be available at: http://cav2013.forsyte.at

Important Dates

  1. Abstract submission: January 10, 2013
  2. Paper submission (firm): January 15, 2013 anywhere on earth
  3. Author feedback/rebuttal period: February 23-25, 2013
  4. Notification of acceptance/rejection: March 6, 2013
  5. Final version due: April 6, 2013

Program Chairs

  • Natasha Sharygina, University of Lugano, Switzerland
  • Helmut Veith, Vienna University of Technology, Austria

Program Committee

Steering Committee

  • Michael Gordon, University of Cambridge, UK
  • Orna Grumberg, Technion, Israel
  • Robert Kurshan, Cadence Design Systems, USA
  • Kenneth McMillan, Microsoft Research, USA