Return-Path: Received: from CS.CMU.EDU by A.GP.CS.CMU.EDU id aa16220; 13 Apr 94 0:24:29 EDT Received: from swan.cl.cam.ac.uk by CS.CMU.EDU id aa09072; 13 Apr 94 0:23:37 EDT Received: from hohum.Stanford.EDU (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Wed, 13 Apr 1994 05:22:37 +0100 Received: by hohum.Stanford.EDU (5.57/Ultrix3.0-C) id AA10641; Tue, 12 Apr 94 20:51:39 PDT 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