<div><br></div><div><br></div><div>====== CALL FOR PAPERS ======</div><div>24th International Conference on Computer Aided Verification (CAV</div><div>2012) July 7-13, 2012 Berkeley, California, USA  </div><div><br></div><div>

Program Chairs: Madhusudan Parathasarathy and Sanjit A. Seshia</div><div>Website: <a href="http://cav12.cs.illinois.edu/" target="_blank">http://cav12.cs.illinois.edu/</a></div><div><br></div><div>Aims and Scope</div><div>
-------------------</div>
<div>The conference on Computer Aided Verification (CAV), 2012, is the 24th</div><div>in a series dedicated to the advancement of the theory and practice of</div><div>computer-aided formal analysis methods for hardware and software</div>

<div>systems. CAV considers it vital to continue spurring advances in</div><div>hardware and software verification while expanding to new domains such</div><div>as biological systems and computer security. The conference covers the</div>

<div>spectrum from theoretical results to concrete applications, with an</div><div>emphasis on practical verification tools and the algorithms and</div><div>techniques that are needed for their implementation. The proceedings</div>

<div>of the conference will be published in the Springer-Verlag Lecture</div><div>Notes in Computer Science series. A selection of papers will be</div><div>invited to a special issue of Formal Methods in System Design and the</div>

<div>Journal of the ACM. </div><div><br></div><div>Topics of interest include:</div><div>- Algorithms and tools for verifying models and implementations</div><div>- Hardware verification techniques</div><div>- Hybrid systems and embedded systems verification</div>

<div>- Deductive, compositional, and abstraction techniques for verification</div><div>- Program analysis and software verification</div><div>- Testing and runtime analysis based on verification technology</div><div>- Verification methods for parallel and concurrent hardware/software systems</div>

<div>- Applications and case studies in verification</div><div>- Verification in industrial practice</div><div>- Algorithms and tools for system synthesis</div><div>- Verification techniques for security</div><div>- Formal models and methods for biological systems</div>

<div><br></div><div>** NEW in 2012 **</div><div>CAV will have *special tracks* in the following four areas:</div><div>1. Hardware Verification (track chair: Andreas Kuehlmann) </div><div>2. Computer Security  (track chair: Somesh Jha) </div>

<div>3. Embedded Systems (track chair: Stavros Tripakis) </div><div>4. SAT and SMT (track chair: Daniel Kroening)</div><div><br></div><div>Submissions in these four topics are especially encouraged.</div><div>Papers in these areas will be subject to the same rigorous review</div>

<div>process as other papers.  </div><div>Accepted special track papers will be organized into special sessions</div><div>that are highlighted in the program. </div><div><br></div><div>Events</div><div>---------</div><div>

The conference will include the following events:</div><div>* Pre-conference workshops on July 7-8.</div><div>* The main conference will take place July 9th-13th:</div><div>  -- Invited tutorials on July 9th.</div><div>  -- Technical sessions on July 10-13.</div>

<div>Please see the conference website for further details.</div><div><br></div><div>Paper Submission</div><div>--------------------</div><div>There are two categories of submissions:</div><div><br></div><div>A. Regular Papers: Submissions, not exceeding sixteen (16) pages using</div>

<div>Springer&#39;s LNCS format, should contain original research, and</div><div>sufficient detail to assess the merits and relevance of the</div><div>contribution. For papers reporting experimental results, authors are</div>

<div>strongly encouraged to make their data available with their</div><div>submission. Submissions reporting on case studies in an industrial</div><div>context are strongly invited, and should describe details, weaknesses,</div>

<div>and strengths in sufficient depth. Simultaneous submission to other</div><div>conferences with proceedings or submission of material that has</div><div>already been published elsewhere is not allowed. </div><div><br>

</div><div>B. Tool Presentations: Submissions, not exceeding six (6) pages using</div><div>Springer&#39;s LNCS format, should describe the implemented tool and its</div><div>novel features.  An appendix that will not be part of the published</div>

<div>presentation may be added for use in the program committee selection</div><div>process.  A demonstration, in a separate demonstration session, is</div><div>expected to accompany a tool presentation. Papers describing tools</div>

<div>that have already been presented (in any conference) will be accepted</div><div>only if significant and clear enhancements to the tool are reported</div><div>and implemented. </div><div><br></div><div>Papers exceeding the stated maximum length run the risk of rejection</div>

<div>without review. </div><div>Note that the page limit for submissions has been increased to 16</div><div>pages. For regular papers, an appendix can be joined to the</div><div>submissions providing additional material such as details on proofs or</div>

<div>experiments. The appendix is not guaranteed to be read or taken into</div><div>account by the reviewers and it should not contain information</div><div>necessary to the understanding and the evaluation of the presented</div>

<div>work. The review process will include a feedback/rebuttal period where</div><div>authors will have the option to respond to reviewer comments. </div><div><br></div><div>Papers must be submitted in PDF format. Submission is done with</div>

<div>EasyChair. Information about the submission procedure will be</div><div>available at: <a href="http://cav12.cs.illinois.edu/" target="_blank">http://cav12.cs.illinois.edu/</a> </div><div><br></div><div>Important Dates</div>
<div>- Abstract submission: January 15, 2012</div>
<div>- Paper submission (firm): January 22, 2012 at 23:59 Samoa time (UTC/GMT-11)</div><div>- Author feedback/rebuttal period: March 7-9, 2012</div><div>- Notification of acceptance/rejection: March 22, 2012</div><div>- Final version due: April 20, 2012</div>

<div><br></div><div><br></div><div>Program Chairs</div><div>------------------</div><div>Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign, USA </div><div>Sanjit A. Seshia, University of California at Berkeley, USA</div>

<div><br></div><div>Program Committee</div><div>---------------------</div><div>Rajeev Alur (Univ. Pennsylvania)</div><div>Roderick Bloem (TU Graz)</div><div>Supratik Chakraborty (IIT Bombay)</div><div>Swarat Chaudhuri (Rice Univ.)</div>

<div>Adam Chlipala (MIT)</div><div>Vincent Danos (University of Edinburgh)</div><div>Thomas Dillig (College of William and Mary)</div><div>Andy Gordon (Microsoft Research)</div><div>Mike Gordon (Cambridge Univ.)</div><div>

Orna Grumberg (Technion)</div><div>Aarti Gupta (NEC Labs)</div><div>William Hung (Synopsys)</div><div>Somesh Jha (Univ. Wisconsin)</div><div>Ranjit Jhala (UCSD)</div><div>Bengt Jonsson (Uppsala Univ.)</div><div>Rajeev Joshi (NASA JPL)</div>

<div>Daniel Kroening (Oxford Univ.)</div><div>Andreas Kuehlmann (Coverity)</div><div>Viktor Kuncak (EPFL)</div><div>Shuvendu Lahiri (Microsoft Research)</div><div>Rupak Majumdar (MPI-SWS)</div><div>Ken Mcmillan (Microsoft Research)</div>

<div>David Molnar (Microsoft Research)</div><div>Kedar Namjoshi (Bell Labs)</div><div>Albert Oliveras (TU Catalonia, Barcelona) </div><div>Joel Ouaknine (Oxford Univ.) </div><div>Gennaro Parlato (Univ. of Southampton) </div>

<div>Madhusudan Parthasarathy (UIUC) </div><div>Nir Piterman  (Univ. of Leicester) </div><div>Andreas Podelski  (Univ. of Freiburg)</div><div>Shaz Qadeer  (Microsoft Research) </div><div>Zvonimir Rakamaric (Univ. of Utah) </div>

<div>Sriram Sankaranarayanan (Univ. of Colorado) </div><div>Sanjit A. Seshia (UC Berkeley) </div><div>Natasha Sharygina (Univ. of Lugano) </div><div>Stavros Tripakis (UC Berkeley) </div><div>Helmut Veith (TU Vienna) </div>

<div>Mahesh Viswanathan  (UIUC)</div><div>Jin Yang (Intel) </div><div>Karen Yorav (IBM)</div><div><br></div><div><br></div><div>Steering Committee</div><div>----------------------</div><div>Michael Gordon, University of Cambridge, UK </div>

<div>Orna Grumberg, Technion, Israel </div><div>Robert Kurshan, Cadence Design Systems, USA </div><div>Kenneth McMillan, Microsoft Research, USA</div><div><br></div><div>CAV Award</div><div>------------</div><div>The annual CAV Award has been established for a specific fundamental</div>

<div>contribution or a series of outstanding contributions to the field of</div><div>Computer Aided Verification.  The award of $10,000 will be granted to</div><div>an individual or a group of individuals chosen by the Award Committee</div>

<div>from a list of nominations. The Award Committee may choose to make no</div><div>award. The CAV Award shall be presented in an award ceremony at CAV</div><div>and a citation will be published in a Journal of Record (currently,</div>

<div>Formal Methods in System Design). </div><div><br></div><div>Call for Nominations for the CAV Award</div><div>------------------------------------------</div><div>Anyone can submit a nomination. The Award Committee can originate a</div>

<div>nomination. Anyone, with the exception of members of the Award</div><div>Committee, is eligible to receive the Award. A nomination must state</div><div>clearly the contribution(s), explain why the contribution is</div>

<div>fundamental or the series of contributions is outstanding, and be</div><div>accompanied by supporting letters and other evidence of worthiness. </div><div>Nominations should include a proposed citation (up to 25 words), a</div>

<div>succinct (100-250 words) description of the contribution(s), and a</div><div>detailed statement to justify the nomination. The cited </div><div>contribution(s) must have been made not more recently than five years</div>

<div>ago and not over twenty years ago. In addition, the contribution(s)</div><div>should not yet have received recognition via a major award, such as</div><div>the ACM Turing or Kanellakis Awards. The nominee may have received</div>

<div>such an award for other contributions. </div><div><br></div><div>The 2012 CAV Award Committee consists of </div><div>       Thomas A. Henzinger (Chair)</div><div>       Rajeev Alur</div><div>       Marta Kwiatkowska</div>

<div>       Aarti Gupta</div><div>The nominations should be sent to Thomas Henzinger at <a href="mailto:tah@ist.ac.at" target="_blank">tah@ist.ac.at</a>.</div><div>Nominations must be received by January 22, 2012.</div><div>
<br></div>
<br>