27th International Conference on
<br>Computer Aided Verification (CAV 2015)
<br>July 18-24 2015, San Francisco, California
<br>http://i-cav.org/2015/
<br>
<br>Aims and Scope
<br>
<br>CAV 2015 is the 27th 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 LNCS series. A selection of papers will be invited to a special issue of Formal Methods in System Design and the Journal of the ACM.
<br>
<br>Topics of interest include but are not limited to:
<b...
Read more
27th International Conference on
<br>Computer Aided Verification (CAV 2015)
<br>July 18-24 2015, San Francisco, California
<br>http://i-cav.org/2015/
<br>
<br>Aims and Scope
<br>
<br>CAV 2015 is the 27th 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 LNCS series. A selection of papers will be invited to a special issue of Formal Methods in System Design and the Journal of the ACM.
<br>
<br>Topics of interest include but are not limited to:
<br>
<br>* Algorithms and tools for verifying models and implementations
<br>* Hardware verification techniques
<br>* Deductive, compositional, and abstraction techniques for verification
<br>* Program analysis and software verification
<br>* Verification methods for parallel and concurrent hardware/software systems
<br>* Testing and run-time analysis based on verification technology
<br>* Applications and case studies in verification
<br>* Decision procedures and solvers for verification
<br>* Mathematical and logical foundations of practical verification tools
<br>* Verification in industrial practice
<br>* Algorithms and tools for system synthesis
<br>* Hybrid systems and embedded systems verification
<br>* Verification techniques for security
<br>* Formal models and methods for biological systems
<br>
<br>Paper Submission
<br>
<br>Submissions should contain original research and sufficient detail to assess the merits and relevance of the contribution. We welcome papers on theory, case studies and comparisons with existing experimental research, tool papers, as well as combinations of new theory with experimental evaluation. Similar to last year, we welcome both long tool papers and short papers of any kind.
<br>
<br>Tool papers should describe system and implementation aspects of a tool with a large (potential) user base (experiments not required, rehash of theory strongly discouraged). 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.
<br>
<br>Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses, and strengths in sufficient depth. Papers reproducing and comparing existing results experimentally do not require new theoretical insights. Examples of contributions of such papers are evaluations of existing results in a superior experimental setting and comparisons of methods that have not previously been thoroughly experimentally compared.
<br>
<br>Papers can be submitted in either a regular or a short format.
<br>
<br>* Regular Papers should not exceed 15 pages in LNCS format, not counting references.
<br>
<br>* Short Papers should not exceed 6 pages, not counting references. Short papers are encouraged for any subject that can be described within the page limit, and in particular for novel ideas without an extensive experimental evaluation. Accepted short papers will be accompanied by short presentations.
<br>
<br>An appendix can provide 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 for the understanding and the evaluation of the presented work. Papers will be accepted or rejected in the category in which they were submitted, there will be no “demotions” from a regular to a short paper.
<br>
<br>Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed.
<br>
<br>The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. The PC chairs may solicit further reviews after the rebuttal period.
<br>
<br>Papers must be submitted in PDF format. Submission is done via EasyChair:
<br>https://easychair.org/conferences/?conf=cav2015
<br>
<br>NEW this year: Artifact Evaluation. Authors of accepted papers will be invited to submit their artifacts for evaluation by a special committee.
<br>
<br>Deadlines
<br>
<br>Deadlines are “anywhere on earth”
<br>
<br> Abstract submission: January 30 2015
<br> Paper submission (firm): February 6 2015
<br> Author feedback/rebuttal period: March 23-26 2015
<br> Notification of acceptance/rejection: April 17 2015
<br> Final version due: May 1 2015
<br>
<br>CALL FOR WORKSHOP PROPOSALS
<br>
<br>The 2015 Computer-Aided Verification (CAV) Workshops provide an opportunity for participants to discuss topics in the broader verification related domains. CAV 2015 Workshops will be held before the main conference on July 18 and 19. Workshop proposals will be reviewed by the Workshop Chair.
<br>
<br>Workshop proposals submission deadline: November 23, 2014
<br>Workshop proposals notification: November 30, 2014
<br>
<br>CALL FOR CAV AWARD NOMINATIONS
<br>
<br>The CAV award is given annually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification. The award comes with a cash prize of US$10,000 shared equally among recipients. Nominations should be submitted by e-mail to a member of the CAV Award committee.
<br>
<br>ORGANIZATION
<br>
<br>Chairs
<br>
<br>Daniel Kroening, University of Oxford, UK.
<br>Corina Pasareanu, Carnegie Mellon Silicon Valley/NASA Ames, USA.
<br>
<br>Workshop Chair
<br>
<br>Dirk Beyer, University of Passau, Germany
<br>
<br>Local Organization Chair
<br>
<br>Temesghen Kahsai, Carnegie Mellon Silicon Valley/NASA Ames, USA.
<br>
<br>CAV Award Committee
<br>
<br>Moshe Vardi (Chair) Rice University
<br>Ahmed Bouajjani Univ. Paris Diderot (Paris 7)
<br>Tom Ball , Microsoft Research
<br>Kim G. Larsen, Aalborg University
<br>
<br>Program Committee
<br>
<br>Aws Albarghouthi, University of Wisconsin-Madison, USA
<br>Jade Alglave, University College London, UK
<br>Domagoj Babic, Google, USA
<br>Clark Barrett, New York University, USA
<br>Armin Biere, Johannes Kepler University, Austria
<br>Roderick Bloem, Graz University of Technology, Austria
<br>Ahmed Bouajjani, LIAFA, University Paris Diderot, France
<br>Marius Bozga, Verimag/CNRS, France
<br>Aaron Bradley, Mentor Graphics, USA
<br>David Brumley, Carnegie Mellon University, USA
<br>Tevfik Bultan, University of California, Santa Barbara, USA
<br>Krishnendu Chatterjee, Institute of Science and Technology (IST), Austria
<br>Swarat Chaudhuri, Rice University, USA
<br>Marsha Chechik, University of Toronto, Canada
<br>Hana Chockler, King’s College London
<br>Byron Cook, Microsoft Research, USA
<br>Isil Dillig, University of Texas at Austin, USA
<br>Dino Distefano, Facebook, UK
<br>Alastair Donaldson, Imperial College London, UK
<br>Azadeh Farzan, University of Toronto, Canada
<br>Antonio Filieri, University of Stuttgart, Germany
<br>Jasmin Fisher, Microsoft Research, UK
<br>Indradeep Ghosh, Fujitsu Labs of America, USA
<br>Patrice Godefroid, Microsoft Research, USA
<br>Aarti Gupta, USA
<br>Arie Gurfinkel, Software Engineering Institute, Carnegie Mellon University, USA
<br>Gerard Holzmann, NASA/JPL, USA
<br>Warren Hunt, University of Texas at Austin, USA
<br>Ranjit Jhala, University of California, San Diego, USA
<br>Barbara Jobstmann, EPFL and Cadence Design Systems, Switzerland
<br>Joost-Pieter Katoen, RWTH Aachen University, Germany/University of Twente, the Netherlands
<br>Daniel Kroening, University of Oxford, UK (chair)
<br>Marta Kwiatkowska, University of Oxford, UK
<br>Akash Lal, Microsoft Research, India
<br>Darko Marinov, University of Illinois at Urbana-Champaign, USA
<br>Ken McMillan, Microsoft Research, USA
<br>Kedar Namjoshi, Bell Labs, USA
<br>David Parker, University of Birmingham, UK
<br>Corina Pasareanu, CMU/NASA Ames Research Center, USA (chair)
<br>André Platzer, Carnegie Mellon University, USA
<br>Zvonimir Rakamaric, University of Utah, USA
<br>Grigore Rosu, University of Illinois at Urbana-Champaign, USA
<br>Philipp Ruemmer, Uppsala University, Sweden
<br>Mooly Sagiv, Tel Aviv University, Israel
<br>Sriram Sankaranarayanan, University of Colorado at Boulder, USA
<br>Koushik Sen, University of California, Berkeley, USA
<br>Natarajan Shankar, SRI International, USA
<br>Natasha Sharygina, Universita’ della Svizzera Italiana, Switzerland
<br>Sharon Shoham, Academic College of Tel-Aviv Yaffo, Israel
<br>Nishant Sinha, IBM Research Labs, India
<br>Fabio Somenzi, University of Colorado at Boulder, USA
<br>Manu Sridharan, Samsung Research America, USA
<br>Ofer Strichman, Technion, Israel
<br>Zhendong Su, University of California, Davis, USA
<br>Cesare Tinelli, The University of Iowa, USA
<br>Emina Torlak, University of Washington, USA
<br>Tayssir Touili, CNRS, LIPN, France
<br>Thomas Wahl, Northeastern University, USA
<br>Georg Weissenbacher, Vienna University of Technology, Austria
<br>Eran Yahav, Technion, Israel
<br>
<br>Artifact Evaluation
<br>
<br>Arie Gurfinkel, Software Engineering Institute, Carnegie Mellon University, USA
<br>Temesghen Kahsai, Carnegie Mellon Silicon Valley/NASA Ames, USA
<br>Michael Tautschnig, Queen Mary, University of London, UK
<br>
<br>Steering Committee
<br>
<br>Michael Gordon, University of Cambridge, UK
<br>Orna Grumberg, Technion, Israel
<br>Aarti Gupta, USA
<br>Kenneth McMillan, Microsoft, USA