|
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 )
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:
Logistical support for CAV'05 has been provided by:
Invited Speakers
Tutorials (July 6th):
Satellite Events:
- BMC'2005 (July 11): 3rd Int. Workshop on Bounded Model Checking,
Organizers:
Armin Biere and
Ofer Strichman.
-
FATES'2005 (July 11):
5th Workshop on Formal Approaches to Testing Software,
Organizers: W. Grieskamp
and C. Weise.
-
GDV'2005 (July 12):
2nd Workshop on Games in Design and Verification ,
Organizers: M. Jurdzinski
and R. Majumdar.
-
PDPAR'2005 (July 12):
3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning ,
Organizers: Alessandro Armando
and Alessandro Cimatti.
-
RV'2005 (July 12):
5th Workshop on Runtime verification,
Organizers:
H. Barringer,
B. Finkbeiner,
Y. Gurevich,and
H. Sipma
-
SoftMC'2005 (July 11): 3rd Workshop on Software Model Checking,
Organizers: Byron Cook,
Scott Stoller, and
Willem Visser.
-
"Satisfiability Modulo Theories Competition" (July 6-10)
a special tools competition.
Organizers: C. Barrett, L. Demoura & A. Stump.
|