CAV 2012 - 24th International Conference on Computer Aided Verification (CAV) 2012

Website cav12.cs.illinois.edu/ | Edit Freely

Category CAV 2012

Deadline: January 22, 2012 | Date: July 07, 2012-July 13, 2012

Venue/Country: California, U.S.A

Updated: 2011-10-09 15:22:16 (GMT+9)

Call For Papers - CFP

24th International Conference on Computer Aided Verification (CAV

2012) July 7-13, 2012 Berkeley, California, USA

Program Chairs: Madhusudan Parathasarathy and Sanjit A. Seshia

Website: http://cav12.cs.illinois.edu/

Aims and Scope

The conference on Computer Aided Verification (CAV), 2012, is the 24th

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

- Testing and runtime analysis based on verification technology

- Verification methods for parallel and concurrent hardware/software systems

- Applications and case studies in verification

- Verification in industrial practice

- Algorithms and tools for system synthesis

- Verification techniques for security

- Formal models and methods for biological systems

** NEW in 2012 **

CAV will have *special tracks* in the following four areas:

1. Hardware Verification (track chair: Andreas Kuehlmann)

2. Computer Security (track chair: Somesh Jha)

3. Embedded Systems (track chair: Stavros Tripakis)

4. SAT and SMT (track chair: Daniel Kroening)

Submissions in these four topics are especially encouraged.

Papers in these areas will be subject to the same rigorous review

process as other papers.

Accepted special track papers will be organized into special sessions

that are highlighted in the program.

Events

The conference will include the following events:

* Pre-conference workshops on July 7-8.

* The main conference will take place July 9th-13th:

-- Invited tutorials on July 9th.

-- Technical sessions on July 10-13.

Please see the conference website for further details.

Paper Submission

There are two categories of submissions:

A. Regular Papers: Submissions, not exceeding sixteen (16) 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 strengths 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.

Note that the page limit for submissions has been increased to 16

pages. For regular papers, an appendix can be joined to the

submissions providing 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 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://cav12.cs.illinois.edu/

Important Dates

- Abstract submission: January 15, 2012

- Paper submission (firm): January 22, 2012 at 23:59 Samoa time (UTC/GMT-11)

- Author feedback/rebuttal period: March 7-9, 2012

- Notification of acceptance/rejection: March 22, 2012

- Final version due: April 20, 2012

Program Chairs

Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign, USA

Sanjit A. Seshia, University of California at Berkeley, USA

Program Committee

Rajeev Alur (Univ. Pennsylvania)

Roderick Bloem (TU Graz)

Supratik Chakraborty (IIT Bombay)

Swarat Chaudhuri (Rice Univ.)

Adam Chlipala (MIT)

Vincent Danos (University of Edinburgh)

Thomas Dillig (College of William and Mary)

Andy Gordon (Microsoft Research)

Mike Gordon (Cambridge Univ.)

Orna Grumberg (Technion)

Aarti Gupta (NEC Labs)

William Hung (Synopsys)

Somesh Jha (Univ. Wisconsin)

Ranjit Jhala (UCSD)

Bengt Jonsson (Uppsala Univ.)

Rajeev Joshi (NASA JPL)

Daniel Kroening (Oxford Univ.)

Andreas Kuehlmann (Coverity)

Viktor Kuncak (EPFL)

Shuvendu Lahiri (Microsoft Research)

Rupak Majumdar (MPI-SWS)

Ken Mcmillan (Microsoft Research)

David Molnar (Microsoft Research)

Kedar Namjoshi (Bell Labs)

Albert Oliveras (TU Catalonia, Barcelona)

Joel Ouaknine (Oxford Univ.)

Gennaro Parlato (Univ. of Southampton)

Madhusudan Parthasarathy (UIUC)

Nir Piterman (Univ. of Leicester)

Andreas Podelski (Univ. of Freiburg)

Shaz Qadeer (Microsoft Research)

Zvonimir Rakamaric (Univ. of Utah)

Sriram Sankaranarayanan (Univ. of Colorado)

Sanjit A. Seshia (UC Berkeley)

Natasha Sharygina (Univ. of Lugano)

Stavros Tripakis (UC Berkeley)

Helmut Veith (TU Vienna)

Mahesh Viswanathan (UIUC)

Jin Yang (Intel) Karen Yorav (IBM)

Steering Committee

Michael Gordon, University of Cambridge, UK

Orna Grumberg, Technion, Israel

Robert Kurshan, Cadence Design Systems, USA

Kenneth McMillan, Microsoft Research, USA

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 2012 CAV Award Committee consists of

Thomas A. Henzinger (Chair)

Rajeev Alur

Marta Kwiatkowska

Aarti Gupta

The nominations should be sent to Thomas Henzinger at tahist.ac.at.

Nominations must be received by January 22, 2012.