Delivery-Date: 
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Date: Tue, 12 Apr 94 20:51:39 PDT
From: dill@hohum.Stanford.EDU (David Dill)
Message-Id: <9404130351.AA10641@hohum.Stanford.EDU>
To: asynchronous@hohum.Stanford.EDU, concurrency@cwi.nl, info-hol@cs.uidaho.edu, 
    isabelle-users@cl.cam.ac.uk, theory-a@vm1.nodak.edu
Subject: CAV preliminary announcement

		   PRELIMINARY CONFERENCE ANNOUNCEMENT		

		Conference on Computer-Aided Verification
		
				CAV 1994

Stanford University
June 21-23, 1994

------------------------------------------------------------------------------

This preliminary notice is being sent out now so that people can make
travel arrangements soon.  More details will appear in a few days.

The Sixth Conference on Computer-Aided Verification will be held June
21-23 at Stanford University.  The conference will be followed on June
24th by a one-day workshop on practical aspects of computer-aided
formal verification.

CAV 94 is sponsored by a group of companies with a strong interest in
the topic area: AT&T, IBM, Intel, Motorola, Redwood Design Automation
and Sun Microsystems.

IMPORTANT NOTE: World Cup matches will be held at Stanford on June
20th and 24th, which will contribute to congestion both locally and in
air travel.  Please make your flight reservations as soon as possible!

WORKSHOP: On Friday, June 24th, there will be a one-day workshop
consisting of presentations by both developers and users of formal
verification tools, with special emphasis on experiences on
applications.  This is still being arranged -- more details will
follow shortly.

LOCATION: The conference will be held on the Stanford campus.
Stanford will provide housing and food for participants in student
residences.  Participants may opt to stay in local hotels, but rooms
will be scarce due to the World Cup Finals being held in the area at
that time.

The Stanford Campus is about 30-40 minutes drive from two major
international airports, San Francisco and San Jose.  Commercial
shuttle service is available.

REGISTRATION: Please complete the attached reservation form and either
email or physically mail it with payment to the appropriate address.

HOUSING: We strongly encourage participants to stay on campus to
promote interaction with other conference participants.  The cost of
rooms and all meals (except for dinner on Wednesday night) will be
$217 for three days and nights.  A room may be reserved for the night
of Thursday, June 23, for an additional $39.  There is also a $50 key
deposit that will be refunded upon checkout.  A few rooms may be
reserved for subsequent nights (for participants who wish to tour the
Bay area), depending on availability.  Dinner on Wednesday will be a
banquet at another site (transportation will be provided).  Student
registration does NOT include the banquet Wednesday.

PARKING: Parking permits will be available on request at registration.
Parking is available near the dorms.

CLIMATE:  The weather will almost certainly be 72-80 degrees (F)
with cloudless skies.  It generally cools down significantly in the
evenings (in the 50s), so a sweater is helpful if you are out in the
evening.  At other places in the Bay area (e.g. parts San Francisco),
it can by foggy and very cool.

FURTHER INFORMATION: You can send electronic mail to
"cav@hohum.stanford.edu" if you have further questions about the
conference.


----------------------------------------------------------------


		REGISTRATION

If you are paying by credit card, you may return this registration
form by electronic mail to "cav-registration@hohum.stanford.edu"

Otherwise, physically mail the form along with payment in the form of
a VISA or MasterCard number, a check drawn on a U.S. bank, or an
international money order (in U.S. dollars) to Events Plus and mail
it to

	Events Plus
	attn: Cecilia Sanchez
	540 Valley Way
	Milpitas, CA 95035
	USA

Events Plus can be contacted at the above address.  Their
telephone is (408) 262 8109 and fax is (408) 262 8344.


The registration form is due May 20.  Timely registration is important to make
sure we have reserved adequate rooms.  There is also a limit on the number
who can attend the banquet.

     Name: _____________________________________________________

     Affiliation: ______________________________________________

     Address: __________________________________________________

     ___________________________________________________________

     Country: __________________________________________________

     Phone: _______________________ Fax: _______________________
     (please include country and city code)

     Email: ____________________________________________________

For room assignment:

     Are you:   Male   Female

Confirmation will be sent to you by email.


     Regular advanced registration:	$200		$___
     Late registration:			$250		$___
     Student registration:		$150		$___
     Housing&Meals June 20-22		$267		$___
        (excl. banquet, incl. $50 refundable key deposit)
     Housing June 23			 $39		$___
     TOTAL 						$___


Would you like to pay by VISA [ ] or MasterCard [ ]?  

If so, what is the number? _______________________________ 

expiration date ______,  daytime telephone _________________


Do you have any special dietary requirements?

Vegetarian [ ]		Kosher [ ]	Other: ___________________


		TECHNICAL PROGRAM

Here are the talks that will be presented.  The times are still
being set, and there may be small changes in some of the titles.


Invited talks: 

    Prof. Zohar Manna,  Stanford University
    Prof. Alberto Sangiovanni-Vincentelli,  U. C. Berkeley


"A Determinizable Class of Timed Automata"
    R. Alur and L. Fix and T. A. Henzinger

"Real-Time System Verification using P/T Nets"
    R. Gorrieri and G. Siliprandi

"Criteria for the Simple Path Property in Timed Automata"
    W. K.C. Lam and R. K. Brayton

"Hierarchical representations of discrete functions, 
 with application to model checking"
    K. L. McMillan

"Symbolic Verification with Periodic Sets"
    B. Boigelot and P. Wolper

"Automatic Verification of Pipelined Microprocessor Control"
    J. R. Burch and D. L. Dill

"Using Abstractions for the Verification of Linear 
 Hybrid Systems"
    A. Olivero and J. Sifakis and S. Yovine

"Decidability of Hybrid Systems with Rectangular
 Differential Inclusions"
    A. Puri and P. Varaiya

"Suspension Automata: A Decidable Class of Hybrid Automata"
    J. McManis and P. Varaiya

"Verification of Context-Free Timed Systems Using 
	Linear Hybrid Observers"
    A. Bouajjani, R. Echahed, and R. Robbana

"On the Random Walk Method for Protocol Testing"
    M. Mihail and C. H. Papadimitriou

"An Automata-Theoretic Approach to Branching-Time Model Checking"
    O. Bernholtz, M. Vardi, and P. Wolper

"Realizability and Synthesis of Reactive Modules"
    A. Anuchitanukul and Z. Manna

"Model Checking of Higher-Order Processes"
    H. Hungar

"Methodology and System for Practical Formal Verification
 of Reactive Hardware"
    I. Beer, S. Ben-David, D. Geist, and M. Yoeli

"Modeling and Verification of a Real Life Protocol 
 Using Symbolic Model Checking",
    V. G. Naik and A. P. Sistla

"Verification of a Distributed Cache Memory by 
 using Abstractions",
    S. Graf

"Models Whose Checks Don't Explode"
    R. P. Kurshan

"On the Automatic Computation of Network Invariants"
    F. Balarin and A. L. Sangiovanni-Vincentelli

"Ground Temporal Logic -- A Logic for Hardware Verification"
    David Cyrluk and Palaith Narendran

"A Hybrid Model for Reasoning about Composed Hardware Systems"
    E. Thomas Schubert

"Composing Symbolic Trajectory Evaluation Results"
    S. Hazelhurst and C-J. H. Seger

"The Completeness of a Hardware Inference System"
    Z. Zhu

"Efficient Model Checking by Automated Ordering of 
 Transition Relation Partitions"
    D. Geist and I. Beer

"The Verification Problem for Replaceability"
    V. Singhal and C. Pixley

"Formula-Dependent Equivalence for Compositional CTL 
 Model Checking",
    A. Aziz, T. R. Shiple, V. Singhal,  R. K. Brayton,  
    and A. Sangiovanni-Vincentelli

"An Improved Algorithm for the Evaluation of Fixpoint
 Expressions",
    D. E. Long, A. Browne, E. M. Clarke, S. Jha, and W. R. Marrero

"Incremental Model Checking in Modal Mu-Calculus",
    O. V. Sokolsky and S. A. Smolka

"Performance Improvement of State Space Exploration by 
 Regular and Differential Hashing Functions"
    B. Cousin

"Combining Partial Order Reductions with On-the-fly 
 Model-Checking"
    D. Peled

"Improving Language Containment Using Fairness Graphs"
    R. Hojati, R. Mueller-Thuns, and R. K. Brayton

"A Parallel Algorithm for Relational Coarsest Partition
 Problems and Its Implementation"
    I. Lee and S. Rajasekaran

"Another Look at LTL Model Checking"
    E. Clarke, O. Grumberg, and K. Hamaguchi

"The Mobility Workbench:  A Tool for the Mu-Calculus"
    B. Victor and F. Moller

"Compositional Semantics of Esterel and verification by
 compositional reduction"
    R. de Simone and A. Resouche

"Design of a VHDL/S model checker based on adaptive state 
 and data abstraction"
    D. Dams, R. Gerth, G. D\"{o}hmen, R. Herrmann, and P. Kel

"Automatic Verification of Timed Circuits"
    T. G. Rokicki and C. J. Myers