<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'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'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>