<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 14 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri","sans-serif";}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal">Call for Papers <o:p></o:p></p>
<p class="MsoNormal">------------------<o:p></o:p></p>
<p class="MsoNormal">23rd International Conference on Computer Aided Verification (CAV 2011)<o:p></o:p></p>
<p class="MsoNormal">July 14-20, 2011<o:p></o:p></p>
<p class="MsoNormal">Cliff Lodge, Snowbird, Utah, USA<o:p></o:p></p>
<p class="MsoNormal">http://www.cs.utah.edu/cav2011<o:p></o:p></p>
<p class="MsoNormal" align="center" style="text-align:center"><o:p> </o:p></p>
<p class="MsoNormal">Aims and Scope<o:p></o:p></p>
<p class="MsoNormal">--------------------<o:p></o:p></p>
<p class="MsoNormal">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.<o:p></o:p></p>
<p class="MsoNormal"><o:p></o:p></p>
<p class="MsoNormal">Topics of interest include: <o:p></o:p></p>
<p class="MsoNormal">- Algorithms and tools for verifying models and implementations
<o:p></o:p></p>
<p class="MsoNormal">- Hardware verification techniques <o:p></o:p></p>
<p class="MsoNormal">- Hybrid systems and embedded systems verification <o:p></o:p></p>
<p class="MsoNormal">- Deductive, compositional, and abstraction techniques for verification
<o:p></o:p></p>
<p class="MsoNormal">- Program analysis and software verification <o:p></o:p></p>
<p class="MsoNormal">- Verification techniques for security <o:p></o:p></p>
<p class="MsoNormal">- Testing and runtime analysis based on verification technology
<o:p></o:p></p>
<p class="MsoNormal">- Verification methods for parallel and concurrent hardware/software systems<o:p></o:p></p>
<p class="MsoNormal">- Applications and case studies <o:p></o:p></p>
<p class="MsoNormal">- Verification in industrial practice <o:p></o:p></p>
<p class="MsoNormal">- Formal methods for biological systems <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Events<o:p></o:p></p>
<p class="MsoNormal">---------<o:p></o:p></p>
<p class="MsoNormal">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.
<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">CAV Award<o:p></o:p></p>
<p class="MsoNormal">--------------<o:p></o:p></p>
<p class="MsoNormal">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). <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Call for Nominations for the CAV Award<o:p></o:p></p>
<p class="MsoNormal">-------------------------------------------------<o:p></o:p></p>
<p class="MsoNormal">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.
<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">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@cs.rice.edu. Nominations must be received by January 21, 2011.
<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Paper Submission<o:p></o:p></p>
<p class="MsoNormal">----------------------<o:p></o:p></p>
<p class="MsoNormal">There are two categories of submissions: <o:p></o:p></p>
<p class="MsoNormal">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.
<o:p></o:p></p>
<p class="MsoNormal">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. <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">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. <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">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.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Important Dates <o:p></o:p></p>
<p class="MsoNormal">- Abstract submission: January 14, 2011<o:p></o:p></p>
<p class="MsoNormal">- Paper submission (firm): January 21, 2011 at 23:59 Samoa time (UTC/GMT-11)
<o:p></o:p></p>
<p class="MsoNormal">- Author feedback/rebuttal period: March 7-9, 2011 <o:p></o:p></p>
<p class="MsoNormal">- Notification of acceptance/rejection: March 19, 2011<o:p></o:p></p>
<p class="MsoNormal">- Final version due: April 19, 2011<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Program Chairs<o:p></o:p></p>
<p class="MsoNormal">-------------------<o:p></o:p></p>
<p class="MsoNormal">Ganesh Gopalakrishnan, University of Utah, USA<o:p></o:p></p>
<p class="MsoNormal">Shaz Qadeer, Microsoft Research, USA<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Program Committee<o:p></o:p></p>
<p class="MsoNormal">-------------------------<o:p></o:p></p>
<p class="MsoNormal">Azadeh Farzan, University of Toronto, Canada<o:p></o:p></p>
<p class="MsoNormal">Jasmin Fisher, Microsoft Research, UK<o:p></o:p></p>
<p class="MsoNormal">Cormac Flanagan, University of California at Santa Cruz, USA<o:p></o:p></p>
<p class="MsoNormal">Steven German, IBM Research, USA<o:p></o:p></p>
<p class="MsoNormal">Dimitra Giannakopoulou, NASA Ames, USA<o:p></o:p></p>
<p class="MsoNormal">Susanne Graf, VERIMAG, France<o:p></o:p></p>
<p class="MsoNormal">Keijo Heljanko, Aalto University, Finland<o:p></o:p></p>
<p class="MsoNormal">William Hung, Synopsys, USA<o:p></o:p></p>
<p class="MsoNormal">Joost-Pieter Katoen, RWTH Aachen, Germany<o:p></o:p></p>
<p class="MsoNormal">Franjo Ivancic, NEC Labs, USA<o:p></o:p></p>
<p class="MsoNormal">Stefan Kowalewski, RWTH Aachen, Germany<o:p></o:p></p>
<p class="MsoNormal">Daniel Kroening, University of Oxford, UK<o:p></o:p></p>
<p class="MsoNormal">Orna Kupferman, Hebrew University, Israel<o:p></o:p></p>
<p class="MsoNormal">Robert Kurshan, Cadence Design Systems, USA<o:p></o:p></p>
<p class="MsoNormal">Akash Lal, Microsoft Research, India<o:p></o:p></p>
<p class="MsoNormal">Kim Larsen, Aalborg University, Denmark<o:p></o:p></p>
<p class="MsoNormal">Kenneth McMillan, Microsoft Research, USA<o:p></o:p></p>
<p class="MsoNormal">Madanlal Musuvathi, Microsoft Research, USA<o:p></o:p></p>
<p class="MsoNormal">Michael Norrish, NICTA, Australia<o:p></o:p></p>
<p class="MsoNormal">Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign, USA<o:p></o:p></p>
<p class="MsoNormal">John Regehr, University of Utah, USA<o:p></o:p></p>
<p class="MsoNormal">Andrey Rybalchenko, TU Munich, Germany<o:p></o:p></p>
<p class="MsoNormal">Sriram Sankaranarayanan, University of Colorado at Boulder, USA<o:p></o:p></p>
<p class="MsoNormal">Roberto Sebastiani, University of Trento, Italy<o:p></o:p></p>
<p class="MsoNormal">Sanjit Seshia, University of California at Berkeley, USA<o:p></o:p></p>
<p class="MsoNormal">Ofer Strichman, Technion, Israel<o:p></o:p></p>
<p class="MsoNormal">Muralidhar Talupur, Intel, USA<o:p></o:p></p>
<p class="MsoNormal">Serdar Tasiran, Koc University, Turkey<o:p></o:p></p>
<p class="MsoNormal">Ashish Tiwari, SRI International, USA<o:p></o:p></p>
<p class="MsoNormal">Tayssir Touili, LIAFA, France<o:p></o:p></p>
<p class="MsoNormal">Viktor Vafeiadis, MPI-SWS, Germany<o:p></o:p></p>
<p class="MsoNormal">Bow-Yaw Wang, Tsinghua University, China<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Steering Committee<o:p></o:p></p>
<p class="MsoNormal">-------------------------<o:p></o:p></p>
<p class="MsoNormal">Michael Gordon, University of Cambridge, UK<o:p></o:p></p>
<p class="MsoNormal">Orna Grumberg, Technion, Israel<o:p></o:p></p>
<p class="MsoNormal">Robert Kurshan, Cadence Design Systems, USA<o:p></o:p></p>
<p class="MsoNormal">Kenneth McMillan, Microsoft Research, USA<o:p></o:p></p>
</div>
</body>
</html>