Call for Papers
[html | ps | pdf]

Conference Program

Travel and local information

Edinburgh

Program Chairs

Kousha Etessami,
University of Edinburgh

Sriram Rajamani,
Microsoft Research

Program Committee

Rajeev Alur, U. Penn
Thomas Ball, Microsoft Research
Alessandro Cimatti, IRST, Trento
Edmund M. Clarke, CMU
E. Allen Emerson, UT Austin
Kousha Etessami (co-chair),
U. of Edinburgh
Patrice Godefroid, Bell Labs
Susanne Graf, Verimag
Orna Grumberg, Technion
Nicolas Halbwachs, Verimag
John Hatcliff, Kansas State U.
Thomas A. Henzinger,
EPFL, Lausanne
Gerard J. Holzmann, NASA/JPL
Somesh Jha, U. of Wisconsin
Robert B. Jones, Intel Corp.
Daniel Kroening, CMU
Orna Kupferman, Hebrew U.
Robert Kurshan, Cadence
Marta Kwiatkowska,
U. Birmingham
Rupak Majumdar, UCLA
Sharad Malik, Princeton U.
Ken McMillan, Cadence
Kedar Namjoshi, Bell Labs
John O'Leary, Intel
P. Madhusudan, U. Illinois-Urbana
Doron Peled, U. Warwick
Sriram Rajamani (co-chair),
Microsoft Research
Jakob Rehof, Microsoft Research
Harald Ruess, SRI
Mooly Sagiv, Tel Aviv
Stefan Schwoon, U Stuttgart
Ofer Strichman, Technion
Helmut Veith, TU Munich
Thomas Wilke, Kiel U.
Yaron Wolfsthal, IBM Haifa
Yunshan Zhu, Synopsys

Steering Committee

Edmund M. Clarke, CMU
Mike Gordon, U. Cambridge
Robert Kurshan, Cadence
Amir Pnueli, NYU & Wiezmann


17th International Conference on

Computer Aided Verification

CAV 2005


July 6 -- 10 , 2005
The University of Edinburgh, Scotland, UK
( plus 6 affiliated workshops on July 11--12 )

Conference Program (including some slides)

Edinburgh Castle

CAV'05 conference is the 17th in a series dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware 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.

CAV'05 is sponsored by:

IBM   Microsoft    MinervaMinerva Center for Verification

Intel   Jasper   Synopsys

Cadence


Logistical support for CAV'05 has been provided by:

Informatics   NeSC   CMTby Microsoft Research  



Invited Speakers

Tutorials (July 6th):

Satellite Events: