All CAV sessions moved to Auditorium 1

The CAV'02 conference is the fourteenth 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 is sponsored by and    .

• CAV 2002 Call for Papers
• CAV-affiliated workshops
• CAV accepted papers
• CAV program
• CAV 2002 Call for Workshops
• Participant list for CAV

Proceedings

The proceedings of CAV have been published in the Springer-Verlag Lecture Notes in Computer Science series. Users with Springer subscriptions can find all CAV papers online at http://link.springer.de/link/service/series/0558/tocs/t2404.htm.

Invited speakers

• Sharad Malik, Princeton U, USA
  joint with CADE: The quest for efficient Boolean satisfiability solvers
• Gerard J. Holzmann, Bell Labs, USA
  Software analysis and model checking

Invited tutorials

• Patrick Cousot, ENS Paris, France
  On abstraction in software verification
• Thomas A. Henzinger, U California-Berkeley, USA
  The symbolic approach to hybrid systems
• Wolfgang Thomas, Aachen U of Techn., Germany
  Infinite games and verification

Program Committee

• co-chair: Kim Guldstrand Larsen <kgl@cs.auc.dk>
  Department of Computer Science
  Aalborg University
  Fredrik Bajersvej 7E
  9220 Aalborg, DENMARK
  +45 96 35 88 93
  +45 98 15 98 89 (fax)
    - and -
  Department of Computer Science
  Formal Methods and Tools (FMT)
  P.O. Box 217
  7500 AE Enschede, THE NETHERLANDS
• co-chair: Ed Brinksma <brinksma@cs.utwente.nl>
  Department of Computer Science
  Formal Methods and tools (FMT)
  P.O. Box 217
  7500 AE Enschede, THE NETHERLANDS
  +31 -53 4893676
  +31 -53 4893247 (fax)
• Thomas Ball, Microsoft Research, USA
• David Basin, U Freiburg, Germany
• Armin Biere, ETH Zürich, Switzerland
• Werner Damm, U Oldenburg, Germany
• E. Allen Emerson, U Texas-Austin, USA
• Alain Finkel, ENS Cachan, France
• Nicolas Halbwachs, IMAG Grenoble, France
• John Hatcliff, Kansas State U, USA
• Klaus Havelund, Kestrel Techn./NASA Ames, USA
• Thomas A. Henzinger, U California-Berkeley, USA
• Andreas Kuehlmann, Cadence Design Systems, USA
• Orna Kupferman, Hebrew U of Jerusalem, Israel
• Tim Leonard, Compaq, USA
• Ken L. McMillan, Cadence Design Systems, USA
• Kedar Namjoshi, Bell Labs, USA
• Doron A. Peled, U Texas-Austin, USA
• Amir Pnueli, Weizmann Inst. of Science, Israel
• Natarajan Shankar, SRI International, USA
• Joseph Sifakis, IMAG Grenoble, France
• Fabio Somenzi, U Colorado-Boulder, USA
• Bernhard Steffen, U Dortmund, Germany
• Yaron Wolfsthal, IBM Haifa, Israel
• Wang Yi, Uppsala U, Sweden

Steering Committee

• Edmund M. Clarke <Edmund.Clarke@cs.cmu.edu>, Carnegie Mellon U, USA
• Robert Kurshan, Cadence Design Systems, USA
• Amir Pnueli <amir@cs.nyu.edu>, Weizmann Inst. of Science, Israel
• Joseph Sifakis <Joseph.Sifakis@imag.fr>, IMAG Grenoble, France

Conference Chair

Jens Chr. Godskesen <jcg@it-c.dk>, IT U of Copenhagen, Denmark