Call for Papers
-------------------
23rd International Conference on Computer Aided Verification
(CAV 2011)
July 14-20, 2011
Cliff Lodge, Snowbird, Utah, USA
http://www.cs.utah.edu/cav2011
Aims and Scope
-------------------
CAV 2011 is the 23rd 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 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
- 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
- Verification methods for parallel and concurrent
hardware/software systems
- Applications and case studies
- Verification in industrial practice
- Formal methods for biological systems
Events
---------
There will be pre-conference workshops on July 14-15. The
main conference will take place on July 16-20. There will be tutorials on the
first day of the conference (July 16). Please see the conference website for
details.
CAV Award
------------
The annual 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 2011 CAV Award Committee consists of Moshe Vardi
(chair), Thomas Henzinger, Rajeev Alur, and Marta Kwiatkowska. The
nominations should be sent to Moshe Vardi at vardi@xxxxxxxxxxxx Nominations
must be received by January 21, 2011.
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. An appendix that will not be part of the published
presentation may be added for use in the program committee selection
process. 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.
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 information 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 must be submitted in PDF format. Submission is done
with EasyChair. Information about the submission procedure will be available
at: http://www.cs.utah.edu/cav2011.
Important Dates
- Abstract submission: January 14, 2011
- Paper submission (firm): January 21, 2011 at 23:59 Samoa
time (UTC/GMT-11)
- Author feedback/rebuttal period: March 7-9, 2011
- Notification of acceptance/rejection: March 19, 2011
- Final version due: April 19, 2011
Program Chairs
------------------
Ganesh Gopalakrishnan, University of Utah, USA
Shaz Qadeer, Microsoft Research, USA
Program Committee
---------------------
Azadeh Farzan, University of Toronto, Canada
Jasmin Fisher, Microsoft Research, UK
Cormac Flanagan, University of California at Santa Cruz, USA
Steven German, IBM Research, USA
Dimitra Giannakopoulou, NASA Ames, USA
Susanne Graf, VERIMAG, France
Keijo Heljanko, Aalto University, Finland
William Hung, Synopsys, USA
Joost-Pieter Katoen, RWTH Aachen, Germany
Franjo Ivancic, NEC Labs, USA
Stefan Kowalewski, RWTH Aachen, Germany
Daniel Kroening, University of Oxford, UK
Orna Kupferman, Hebrew University, Israel
Robert Kurshan, Cadence Design Systems, USA
Akash Lal, Microsoft Research, India
Kim Larsen, Aalborg University, Denmark
Kenneth McMillan, Microsoft Research, USA
Madanlal Musuvathi, Microsoft Research, USA
Michael Norrish, NICTA, Australia
Madhusudan Parthasarathy, University of Illinois at
Urbana-Champaign, USA
John Regehr, University of Utah, USA
Andrey Rybalchenko, TU Munich, Germany
Sriram Sankaranarayanan, University of Colorado at Boulder,
USA
Roberto Sebastiani, University of Trento, Italy
Sanjit Seshia, University of California at Berkeley, USA
Ofer Strichman, Technion, Israel
Muralidhar Talupur, Intel, USA
Serdar Tasiran, Koc University, Turkey
Ashish Tiwari, SRI International, USA
Tayssir Touili, LIAFA, France
Viktor Vafeiadis, MPI-SWS, Germany
Bow-Yaw Wang, Tsinghua University, China
Steering Committee
----------------------
Michael Gordon, University of Cambridge, UK
Orna Grumberg, Technion, Israel
Robert Kurshan, Cadence Design Systems, USA
Kenneth McMillan, Microsoft Research, USA