CAV '98

International Conference on Computer-Aided Verification

June 28 - July 2, 1998

University of British Columbia, Vancouver, Canada

This conference is the tenth 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.

Topics of interest include:

Advance Program

Abstracts for some invited sessions, including the introductory and advanced tutorials, are available.

Register Online

Register for the conference and book your accommodations. Register early for best accommodation choices and lower registration fees. Early registration cut-off date is May 29, 1998.

Travel Information

The conference will be held at the University of British Columbia, located on a beautiful, wooded peninsula on the west side of Vancouver, BC. The weather in June/July is generally mild, with daytime highs around 20C (70F) and night time lows aroudn 15C (60F). Rain is always a possibility, so pack an umbrella or light jacket. Vancouver International Airport has convenient flight connections to destinations worldwide. Taxi fare from the airport to UBC is around $25-$30 (Canadian $).

Corporate Sponsorships

CAV'98 gratefully acknowledges the generous sponsorship provided by the following companies:

Program Committee

Martin Abadi (DEC SRC, USA)
Rajeev Alur (Univ. of Pennsylvania, USA)
Ahmed Bouajjani (VERIMAG, France)
Jerry Burch (Cadence Labs, USA)
Olivier Coudert (Synopsys, USA)
Werner Damm (Oldenburg University, Germany)
David Dill (Stanford University, USA)
Limor Fix (Intel, Israel)
Patrice Godefroid (Bell Labs, USA)
Mike Gordon (Cambridge University, Great Britain)
Orna Grumberg (The Technion, Israel)
Alan Hu, co-chair (Univ. of British Columbia, Canada)
Daniel Jackson (MIT, USA)
Bengt Jonsson (Uppsala University, Sweden)
Kim Larsen (Aalborg University, Denmark)
Ken McMillan (Cadence Labs, USA)
Doron Peled (Bell Labs, USA)
Carl Pixley (Motorola, USA)
Amir Pnueli (Weizmann Institute, Israel)
Carl Seger (Intel, USA)
Natarajan Shankar (SRI International, USA)
Joseph Sifakis (VERIMAG, France)
Prasad Sistla (Univ. of Illinois, Chicago, USA)
Fabio Somenzi (Univ. of Colorado, Boulder, USA)
Moshe Vardi, co-chair (Rice University, USA)
Yaron Wolfsthal (IBM, Israel)

Steering Committee

Edmund Clarke (Carnegie Mellon University, USA)
Robert Kurshan (Bell Labs, USA)
Amir Pnueli (Weizmann Institute, Israel)
Joseph Sifakis (VERIMAG, France)

Please direct all inquiries about CAV '98 to