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 Springer-Verlag's Lecture Notes in Computer Science series.

Important Dates

  • Special Room Rate and Block Until: << June 24, 2011 (while rooms are available)>>
  • Normal CAV Registration Rate Ends: <<June 24, 2011 >>
  • Pre-CAV Workshops: July 14-15, 2011
  • CAV Conference: July 16-20, 2011

Workshop Deadlines (for full papers, unless otherwise noted)

Fourth International Workshop on Numerical Software Verification March 31, 2011
18th International SPIN Workshop on Model Checking of Software: April 1, 2011
Frontiers in Analog Circuit (FAC) Synthesis and Verification April 4, 2011 (abstracts)
International Workshop on Satisfiability Modulo Theories April 15, 2011
Exploiting Concurrency Efficiently and Correctly April 29, 2011
10th International Workshop on Parallel Distributed methods in Verification May 16, 2011
Formal Methods for Robotics and Automation (invited speakers only)
Practical Synthesis for Concurrent Systems (invited speakers only)


University of Utah United States
Microsoft Research United States

Local Arrangements Chair

Brigham Young University United States

Workshops Chair

NASA Ames United States

Publicity Chair

University of Texas at Austin United States

Program Committee

University of Toronto Canada
Microsoft Research United Kingdom
University of California at Santa Cruz United States
Steven German
IBM Research United States
NASA Ames United States
University of Utah United States
Aalto University Finland
Synopsys United States
NEC Labs United States
RWTH Aachen Germany
RWTH Aachen Germany
University of Oxford United Kingdom
Hebrew University Israel
Robert P. Kurshan
Cadence Design Systems United States
Microsoft Research India
Aalborg University Denmark
Microsoft Research United States
Microsoft Research United States
NICTA Austrailia
University of Illinois at Urbana-Champaign United States
Microsoft Research United States
University of Utah United States
TU Munich Germany
University of Colorado at Boulder United States
University of Trento Italy
University of California at Berkeley United States
Technion Israel
Intel United States
Koc University Turkey
SRI International United States
LIAFA France
MPI_SWS Germany
Inria and Tsinghua University China

Steering Committee

University of Cambridge United Kingdom
Technion Israel
Robert P. Kurshan
Cadence Design Systems United States
Microsoft Research United States