CAV '98
International Conference on Computer-Aided Verification
June 28 - July 2, 1998
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:
-
Modeling and specification formalisms (such as logical, automata-based,
and algebraic methods)
-
Algorithms and tools (such as state-space exploration, model checking,
synthesis, and automated deduction)
-
Verification techniques (such as state-space and transition-relation
reduction methods, symbolic methods, probabilistic methods,
compositional and modular reasoning, integration of algorithmic and
deductive methods)
-
Applications and case studies (such as synchronous and asynchronous
circuits, communication protocols and distributed algorithms,
real-time and embedded control systems)
-
Verification in practice (integration of verification with design,
specification, testing, debugging, and code generation)
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.
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
cav98@cs.ubc.ca.