CAV 2011 is the 23^rd 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)

Chairs

Ganesh Gopalakrishnan	University of Utah
Shaz Qadeer	Microsoft Research

Local Arrangements Chair

Eric Mercer

Brigham Young University

Workshops Chair

Neha Rungta

NASA Ames

Publicity Chair

Sandip Ray

University of Texas at Austin

Program Committee

Azadeh Farzan University of Toronto Jasmin Fisher Microsoft Research Cormac Flanagan University of California at Santa Cruz Steven German IBM Research Dimitra Giannakopoulou NASA Ames Ganesh Gopalakrishnan University of Utah Susanne Graf VERIMAG Keijo Heljanko Aalto University William N. Hung Synopsys Franjo Ivancic NEC Labs Joost-Pieter Katoen RWTH Aachen Stefan Kowalewski RWTH Aachen Daniel Kroening University of Oxford Orna Kupferman Hebrew University Robert P. Kurshan Cadence Design Systems Akash Lal Microsoft Research Kim G. Larsen Aalborg University

Kenneth McMillan Microsoft Research Madanlal Musuvathi Microsoft Research Michael Norrish NICTA Madhusudan Parthasarathy University of Illinois at Urbana-Champaign Shaz Qadeer Microsoft Research John Regehr University of Utah Andrey Rybalchenko TU Munich Sriram Sankaranarayanan University of Colorado at Boulder Roberto Sebastiani University of Trento Sanjit A. Seshia University of California at Berkeley Ofer Strichman Technion Muralidhar Talupur Intel Serdar Tasiran Koc University Ashish Tiwari SRI International Tayssir Touili LIAFA Viktor Vafeiadis MPI_SWS Bow-Yaw Wang Inria and Tsinghua University

Steering Committee

Michael Gordon	University of Cambridge
Orna Grumberg	Technion
Robert P. Kurshan	Cadence Design Systems
Kenneth McMillan	Microsoft Research