|
|
| 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)
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:
|
Minerva Center for Verification
|
Logistical support for CAV'05 has been provided by:
|
by Microsoft Research
|
Invited Speakers
- Bob Bentley, Intel Corp.
Talk: Validating a Modern Microprocessor. -
Bud Mishra, N.Y.U.
Talk: What's Next? Challenges from Systems Biology. -
George Necula, U. C. Berkeley
Talk: Randomized Algorithms for Program Analysis and Verification.
Tutorials (July 6th):
- Tutorial: Automated abstraction refinement,
by Thomas Ball (Microsoft) and Ken McMillan(Cadence). -
Tutorial: Theory and practice of decision procedures for
combinations of (first-order) theories,
by Clark Barrett (NYU) and Cesare Tinelli(U. Iowa).
- 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.