AMAST Mail 1996
[Prev][Next][Index]
CAV 96
Call for Participation
Eighth International Conference on
COMPUTER-AIDED VERIFICATION (CAV 96)
July 30 - August 3, 1996
Rutgers University, New Brunswick, New Jersey, USA
Hosted by
DIMACS
with support from
Lucent Technologies Bell Labs
Cadence Berkeley Labs
Siemens Corporate Research and Development
The CAV series is 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 verification tools and the algorithms and
techniques that are needed for their implementation.
CAV 96 is part of the Federated Logic Conference (FLoC), July 27 - August 3,
1996. In addition to CAV, FLoC includes the following related conferences:
IEEE Symposium on Logic in Computer Science (LICS), Rewriting Techniques and
Applications (RTA), and Conference on Automated Deduction (CADE). CAV
overlaps with CADE, and participants registering for CAV can attend CADE
sessions, and vice versa.
Invited Speakers:
M.O. Rabin (Harvard University, USA, and Hebrew University, Israel)
J.M. Rushby (SRI International, USA)
A.W. Roscoe (Oxford University, UK)
Industrial Session:
J. Harlow and P. Verhofstadt (Semiconductor Research Corporation, USA)
P. Scaglia (Cadence Berkeley Labs, USA)
W. Buettner (Siemens Corporate Research and Development, Germany)
G. de Palma (Lucent Technologies, USA)
C. Pixley (Motorola, USA)
S. Ben-David (IBM Haifa Research Lab, Israel)
Program Chairs:
R. Alur (Bell Labs, USA)
T.A. Henzinger (University of California at Berkeley, USA)
Program Committee:
R.K. Brayton (University of California at Berkeley, USA)
K. Cerans (University of Latvia, Latvia)
D.L. Dill (Stanford University, USA)
E.A. Emerson (The University of Texas at Austin, USA)
O. Grumberg (The Technion, Israel)
K.G. Larsen (Aalborg University, Denmark)
D.E. Long (Bell Labs, USA)
K.L. McMillan (Cadence Berkeley Labs, USA)
A.K. Mok (The University of Texas at Austin, USA)
D. Peled (Bell Labs, USA)
A. Pnueli (Weizmann Institute, Israel)
C.-J. H. Seger (Intel Development Labs, USA)
J. Sifakis (VERIMAG, France)
S.A. Smolka (SUNY at Stony Brook, USA)
M.K. Srivas (SRI International, USA)
W. Thomas (Universitaet Kiel, Germany)
F. Vaandrager (CWI, The Netherlands),
M.Y. Vardi (Rice University, USA)
P. Wolper (Universite de Liege, Belgium)
CAV Steering Committee:
E.M. Clarke (Carnegie Mellon University, USA)
R.P. Kurshan (Bell Labs, USA)
A. Pnueli (Weizmannn Institute, Israel)
J. Sifakis (VERIMAG, France)
Email: cav96@bell-labs.com
WWW: http://www.research.att.com/lics
http://www.cs.cornell.edu/Info/People/tah/cav96.html
+---------------------------------------------------------+
| DEADLINES |
| |
| Early Registration 21 Jun 1996 |
| On-Campus Housing Reservation 21 Jun 1996 |
| Hotel Reservation 28 Jun 1996 |
+---------------------------------------------------------+
TRAVEL ADVISORY
===============
The 1996 Summer Olympics will take place in Atlanta from 19 July to 3 August,
1996. Travel to the East Coast will be especially heavy during these times.
It is strongly recommended that you make airline reservations as early as
possible.
CONFERENCE PROGRAM
==================
July 30, 1996
-------------
8.00 -- 19.00 Registration
20.00 -- 21.30 FLoC Plenary Session Chair: M.Y. Vardi
Calculi for interactions
R. Milner (Cambridge University, UK)
July 31, 1996
-------------
9.00 -- 9.50 Industrial Session I Chair: R.K. Brayton
Formal methods in the IC industry: trends and directions
J. Harlow and P. Verhofstadt (Semiconductor Research Corporation, USA)
From wired homes to automated highways: a perspective on verification in the
21st century
P. Scaglia (Cadence Berkeley Labs, USA)
9.50 -- 10.15 Coffee Break
10.15 -- 11.05 Industrial Session II Chair: D.L. Dill
Formal verification at Siemens: achievements, problems, trends
W. Buettner (Siemens Corporate Research and Development, Germany)
User experiences with FormalCheck
G. de Palma (Lucent Technologies, USA)
11.05 -- 11.30 Coffee Break
11.30 -- 12.20 Industrial Session III Chair: C.-J.H. Seger
Formal and informal functional verification in a commercial environment
C. Pixley (Motorola, USA)
Model checking at work
S. Ben-David (IBM Haifa Research Lab, Israel)
12.20 -- 2.00 Lunch
2.00 -- 3.15 Session 1A Chair: D.E. Long
Symbolic verification of communication protocols with infinite state spaces
using QDDs
B. Boigelot (Universite de Liege, Belgium),
P. Godefroid (Bell Labs, USA)
A conjunctively decomposed boolean representation for symbolic model checking
K.L. McMillan (Cadence Berkeley Labs, USA)
Symbolic model checking using algebraic geometry
G.S. Avrunin (University of Massachusetts at Amherst, USA)
3.15 -- 3.45 Session 1B Chair: D.E. Long
The state of SPIN
G.J. Holzmann and D. Peled (Bell Labs, USA)
The Murphi verification system
D.L. Dill (Stanford University, USA)
3.45 -- 4.10 Coffee Break
4.10 -- 5.00 Session 2A Chair: K.G. Larsen
A partition refinement algorithm for the pi-calculus
M. Pistore (University of Pisa, Italy),
D. Sangiorgi (INRIA Sophia-Antipolis, France)
Polynomial-time algorithms for testing probabilistic bisimulation and
simulation
C. Baier (Universitaet Mannheim, Germany)
5.00 -- 6.00 Session 2B Chair: K.G. Larsen
The NCSU Concurrency Workbench
R. Cleaveland and S.T. Sims (North Carolina State University, USA)
The Concurrency Factory: a development environment for concurrent systems
R. Cleaveland (North Carolina State University, USA),
P.M. Lewis, S.A. Smolka, and O. Sokolsky (SUNY Stony Brook, USA)
XVERSA: an integrated graphical and textual toolset for the specification and
analysis of resource-bound real-time systems
D. Clarke, H. Ben-Abdallah, I. Lee, H. Xie (University of Pennsylvania, USA),
O. Sokolsky (Computer Command and Control Company, USA)
EVP: integration of FDTs for the analysis and verification of communication
protocols
P. Merino and J.M. Troya (Universidad de Malaga, Spain)
8.00 -- 10.00 Reception and Business Meeting
August 1, 1996
--------------
9.00 -- 10.15 Invited Lecture Chair: A. Pnueli
Randomization and protocol verification
M.O. Rabin (Harvard University, USA, and Hebrew University, Israel)
10.15 -- 10.40 Coffee Break
10.40 -- 12.20 Session 3 Chair: W. Thomas
Pushdown processes: games and model checking
I. Walukiewicz (Aarhus University, Denmark)
Module checking
O. Kupferman (Bell Labs, USA),
M.Y. Vardi (Rice University, USA)
Automatic verification of parameterized synchronous systems
E.A. Emerson and K.S. Namjoshi (The University of Texas at Austin, USA)
HORNSAT, model checking, verification, and games
S.K. Shukla, H.B. Hunt III, and D.J. Rosenkrantz (SUNY Albany, USA)
12.20 -- 2.00 Lunch
2:00 -- 3.15 Session 4A Chair: K.L. McMillan
Verifying the SRT division algorithm using theorem proving techniques
E.M. Clarke (Carnegie Mellon University, USA),
S.M. German (IBM Watson Research Center, USA),
X. Zhao (Carnegie Mellon University, USA)
Modular verification of SRT division
H. Ruess, N. Shankar, and M.K. Srivas (SRI International, USA)
Mechanically verifying a family of multiplier circuits
D. Kapur and M. Subramaniam (SUNY Albany, USA)
3.15 -- 3.45 Session 4B Chair: K.L. McMillan
PVS: combining specification, proof checking, and model checking
S. Owre, S. Rajan, J.M. Rushby, N. Shankar, and M.K. Srivas
(SRI International, USA)
STeP: deductive-algorithmic verification of reactive and real-time systems
N. Bjorner, A. Browne, E. Chang, M. Colon, A. Kapur, Z. Manna, H.B. Sipma,
and T.E. Uribe (Stanford University, USA)
3.45 -- 4.10 Coffee Break
4.10 -- 5.00 Session 5A Chair: M.K. Srivas
Verifying systems with replicated components in Murphi
C.N. Ip and D.L. Dill (Stanford University, USA)
Verification of arithmetic circuits by comparing two similar circuits
M. Fujita (Fujitsu Labs, USA)
5.00 -- 6.00 Session 5B Chair: M.K. Srivas
Symbolic model checking
E.M. Clarke (Carnegie Mellon University, USA),
K.L. McMillan (Cadence Berkeley Labs, USA),
S. Campos and V. Hartonas-Garmhausen (Carnegie Mellon University, USA)
COSPAN
R.H. Hardin (Bell Labs, USA),
Z. Har'El (The Technion, Israel),
R.P. Kurshan (Bell Labs, USA)
VIS: a system for verification and synthesis
R.K. Brayton (University of California at Berkeley, USA),
G.D. Hachtel (University of Colorado at Boulder, USA),
A. Sangiovanni-Vincentelli (University of California at Berkeley, USA),
F. Somenzi (University of Colorado at Boulder, USA),
A. Aziz, S.-T. Cheng, S. Edwards, S. Khatri, and Y. Kukimoto
(University of California at Berkeley, USA),
A. Pardo (University of Colorado at Boulder, USA),
S. Qadeer and R.K. Ranjan (University of California at Berkeley, USA),
S. Sarwary (Lattice Semiconductor, USA),
T.R. Shiple, G. Swamy, T. Villa (University of California at Berkeley, USA)
MDG tools for the verification of RTL designs
K.D. Anon, N. Boulerice, and E. Cerny (Universite de Montreal, Canada),
F. Corella (Hewlett-Packard, USA),
M. Langevin (GMD, Germany),
X. Song, S. Tahar, Y. Xu, and Z. Zhou (Universite de Montreal, Canada)
August 2, 1996
--------------
9.00 -- 10.15 Invited Lecture (joint session with CADE) Chair: M.Y. Vardi
Automated deduction and formal methods
J.M. Rushby (SRI International, USA)
10.15 -- 10.40 Coffee Break
10.40 -- 12.20 Session 6 Chair: E.A. Emerson
A platform for combining deductive with algorithmic verification
A. Pnueli and E. Shahar (Weizmann Institute, Israel)
Verifying invariants using theorem proving
S. Graf and H. Saidi (VERIMAG, France)
Deductive model checking
H.B. Sipma, T.E. Uribe, and Z. Manna (Stanford University, USA)
Automated verification by induction with associative-commutative operators
N. Berregeb, A. Bouhoula, and M. Rusinowitch (INRIA Lorraine, France)
12.20 -- 2.00 Lunch
2.00 -- 3.15 Session 7A Chair: S.A. Smolka
Analysis of timed systems based on time-abstracting bisimulations
S. Tripakis and S. Yovine (VERIMAG, France)
Verification of an audio protocol with bus collision using UPPAAL
J. Bengtsson (Uppsala University, Sweden),
W.O.D. Griffioen (CWI, The Netherlands),
K.J. Kristoffersen and K.G. Larsen (Aalborg University, Denmark),
F. Larsson, P. Pettersson, and W. Yi (Uppsala University, Sweden)
Selective quantitative analysis and interval model checking: verifying
different facets of a system
S. Campos (Carnegie Mellon University, USA),
O. Grumberg (The Technion, Israel)
3.15 -- 3.45 Session 7B Chair: S.A. Smolka
CADP: a protocol validation and verification toolbox
J.-C. Fernandez, H. Garavel, A. Kerbrat, L. Mounier, R. Mateescu, and
M. Sighireanu (VERIMAG, France)
The FC2Tools set
A. Bouali, A. Ressouche, V. Roy, and R. de Simone
(INRIA Sophia-Antipolis, France)
3.45 -- 4.10 Coffee Break
4.10 -- 5.00 Session 8A Chair: F. Vaandrager
Verifying continuous-time Markov chains
A. Aziz (The University of Texas at Austin, USA),
K. Sanwal (Bell Labs, USA),
V. Singhal (Cadence Berkeley Labs, USA),
R.K. Brayton (University of California at Berkeley, USA)
Verifying safety properties of differential equations
M.R. Greenstreet (University of British Columbia, Canada)
5.00 -- 6.00 Session 8B Chair: F. Vaandrager
The real-time graphical interval logic toolset
L.E. Moser, P.M. Melliar-Smith, Y.S. Ramakrishna, G. Kutty, and L.K. Dillon
(University of California at Santa Barbara, USA)
The METAFrame'95 environment
B. Steffen, T. Margaria, A. Classen, and V. Braun
(Universitaet Passau, Germany)
Verification support environment
F. Koob, M. Ullmann, and S. Wittmann
(Bundesamt fuer Sicherheit in der Informationstechnik, Germany)
MARRELLA: a tool for simulation and verification
D. Ambroise (Universite de Caen, France),
B. Rozoy (Universite de Paris XI, France)
7.00 -- 10.00 Banquet and a cruise on the Hudson River
After-dinner speech by Amir Pnueli (Weizmann Institute, Israel):
The potential and sensible scopes of formal methods
August 3, 1996
--------------
9.00 -- 10.15 Invited Lecture Chair: J. Sifakis
Refinement-based model checking
A.W. Roscoe (Oxford University, UK)
10.15 -- 10.40 Coffee Break
10.40 -- 12.20 Session 9 Chair: P. Wolper
Temporal verification by diagram transformations
L. de Alfaro and Z. Manna (Stanford University, USA)
Protocol verification by aggregation of distributed actions
S. Park and D.L. Dill (Stanford University, USA)
Atomicity refinement and trace reduction theorems
E.P. Gribomont (Universite de Liege, Belgium)
Powerful techniques for the automatic generation of invariants
S. Bensalem (VERIMAG, France),
Y. Lakhnech (Universitaet Kiel, Germany),
H. Saidi (VERIMAG, France)
12.20 -- 2.00 Lunch
2.00 -- 2.50 Session 10A Chair: D. Peled
Saving space by fully exploiting invisible transitions
H. Miller and S. Katz (The Technion, Israel)
Using on-the-fly verification techniques for the generation of conformance
test suites
J.-C. Fernandez (VERIMAG, France),
C. Jard (CNRS, France),
T. Jeron (INRIA Rennes, France),
G. Viho (Universite de Rennes I, France)
2.50 -- 3.20 Session 10B Chair: D. Peled
Verifying the safety of a practical concurrent garbage collector
G. Gonthier (INRIA Rocquencourt, France)
Verification by behavior abstraction: a case study of service interaction
detection in intelligent telephone networks
C. Capellmann (Deutsche Telekom, Germany),
R. Demant, F. Fatahi-Vanani, R. Galvez-Estrada, U. Nitsche, and
P. Ochsenschlaeger (GMD, Germany)
3.20 -- 3.45 Coffee Break
3.45 -- 4.35 Session 11 Chair: O. Grumberg
Automatic translation of natural-language system specifications into temporal
logic
R. Nelken (Tel-Aviv University, Israel),
N. Francez (The Technion, Israel)
Verification of fair transition systems
O. Kupferman (Bell Labs, USA),
M.Y. Vardi (Rice University, USA)
LOCATION
========
The conferences will be held at the College Avenue Campus of Rutgers
University in downtown New Brunswick, which is easily accessible by air,
train, and car. For air travel, New Brunswick is 35 minutes from Newark
International Airport, a major US and international airline hub. By rail,
the New Brunswick train station is located less than eight blocks from the
conference site and is on Amtrak's Northeast corridor. For travel by car,
the conference site is approximately three miles from Exit 9 of the New
Jersey Turnpike.
A postscript map of the College Avenue Campus is available on the web
(address at the beginning of this announcement). Conference check-in and
on-site registration will take place at the Main Lounge entrance on the
second floor of the Rutgers Student Center. Evening registration is possible
on 30 July till 19:00, and on regular conference days, the registration desk
will be open from 8:00-18:00. Conference sessions will take place in the
Rutgers Student Center.
Climate
-------
New Jersey in July and August is typically hot, with average daily highs
around 85 degrees F (29 degrees C), and overnight lows around 70 degrees F
(21 degrees C). Most days are sunny, but also come prepared for the
possibility of occasional rain.
Things to do
------------
The newly opened Liberty Science Center is a fun, hands-on science museum
located in Liberty State Park, about 30-45 minutes from New Brunswick
(201-200-1000). From Liberty State Park, one can also take a ferry to the
Statue of Liberty and the Immigration Museum at Ellis Island.
New York City can be reached in under an hour by rail on New Jersey Transit.
Trains run about twice an hour during the week, and once an hour on weekends
and at night. Fare is $7.75 one-way, $11.50 round trip excursion.
The New Jersey shore is less than an hour from New Brunswick. Points along
the shore vary greatly in character. Some, such as Point Pleasant, have long
boardwalks with amusement park rides, video arcades, etc. Others, such as
Spring Lake, are quiet and uncommercialized with clean and very pretty
beaches. Further south, about two hours from New Brunswick, are the casinos
of Atlantic City.
You can walk for miles and miles along the towpath of the peaceful Delaware
and Raritan Canal which runs from New Brunswick south past Princeton.
Your registration packet will include a pass for access to the College Avenue
Gymnasium.
SOCIAL EVENTS
=============
A reception will be held in the Faculty Club on Wednesday, 31 July,
20:00-22:00 in conjunction with the business meeting. A joint banquet for
CADE and CAV participants will be held on Thursday, 1 August, on the Spirit
of New Jersey Cruise Ship. Buses will leave for the cruise from the Hyatt at
18:30. The boat will cruise the Hudson River with spectacular views of New
York City, including downtown Manhattan and the Statue of Liberty. Amir
Pnueli will give a talk after dinner. The cost of the banquet is $57 per
person. Banquet tickets may run out; please sign up as soon as possible to
assure your place.
TRAVEL
======
Travel advisory: The 1996 Summer Olympics will take place in Atlanta from 19
July to 3 August, 1996. Travel to the East Coast will be especially heavy
during these times. It is strongly recommended that you make airline
reservations as early as possible.
By air: Newark International Airport is by far the most convenient. A taxi
from the airport to New Brunswick costs about $40 (plus nominal tolls) for up
to four passengers. This is the flat-rate fare for a licensed taxi from the
official-looking taxi stand; it is strongly recommended that you refuse rides
offered by unlicensed taxi drivers who may approach you elsewhere in the
airport. If renting a car, follow signs out of the airport to New Jersey
Turnpike South, and continue with the directions below. By public
transportation, take the Airlink bus ($4 exact fare, operates every 20
minutes) to Newark Penn Station and follow the "by rail" directions below.
New Jersey Transit train fare is $5.25 one-way or $8 round trip excursion;
trains run about twice an hour during the week, and less often in the evening
and on weekends.
For those arriving at JFK International Airport, there is a shuttle bus
operated by Princeton Airporter (phone 800-468-6696). The shuttle stops at
Newark Airport (fare $19; follow the above directions) and the East Brunswick
Hilton (fare $29; approximately a $7 cab ride to the conference site). The
shuttle leaves JFK at 9:00, 11:00, 13:00, 14:00, 15:00, 16:00, 17:00, 18:00,
19:00, 20:00, 21:00, 22:00. Advance reservations are not possible. For
information and reservation contact the ground transportation center on the
baggage level. A taxi from JFK to New Brunswick costs approximately $120 for
up to four passengers. Driving from JFK to New Brunswick may take up to two
hours, and is not recommended if you are not familiar with the area.
By car: Take the New Jersey Turnpike (south from Newark or New York, north
from Philadelphia) to Exit 9. Follow signs onto Route 18 North or West
(labeled differently at different spots) toward New Brunswick. Take the
Route 27, Princeton exit onto Albany Street (Route 27) into downtown New
Brunswick. The Hyatt Regency Hotel will be on your left after the first
light. If staying at the Hyatt, turn left at the next light, Neilson Street,
and left again into the front entrance of the hotel. If staying in the dorms,
continue past this light to the following light, George Street, and turn
right. Stay on George Street to just before the fifth street and turn left
into the Parking Deck. If staying in the dorms, go directly to the
appropriate dormitory. It is a short walk to Hardenbergh or Stonier.
Parking passes will be provided to all conference registrants who need one.
By rail: Take either an Amtrak or a New Jersey Transit train to the New
Brunswick train station. This is located at the corner of Albany Street and
Easton Avenue. If staying at the Hyatt Regency Hotel, it is a three block
walk to the left on Albany Street to the hotel. If staying in the dorms, go
directly to the appropriate dormitory. It is about a six block walk to
Hardenbergh or Stonier. There is also a taxi stand in front of the train
station on Albany Street.
ACCOMMODATIONS
==============
We have established the group rate of $89/night for one single, double,
triple, or quadruple room at the Hyatt Regency Hotel (about eight blocks from
the conference site). This rate is only guaranteed through 28 June 1996,
and, due to limited availability, it is strongly recommended that you make
reservations as soon as possible.
We have reserved dormitory space in two dorms, both of which are an easy walk
to the main conference site. Dorm reservations must be made by the early
registration deadline of 21 June 1996. Both dorms include daily maid service
(linens provided first day for the week and daily fresh towels and beds
made), and are fully air-conditioned. The Stonier Hall dorms have suites
with one shared bedroom and one shared bathroom. Only a block away, the
Hardenbergh Hall dorms have single rooms with baths shared on each floor. If
you elect Stonier Hall and do not specify a roommate, a roommate of the same
sex may be assigned to your suite.
Please specify your dorm preference on your registration form; we will assign
space accordingly on a first come, first served basis as long as rooms are
available. Unfortunately, because there are only a finite number of rooms
within each dormitory, we can neither guarantee your choice of dormitory nor
your preference of dates.
Note that the accommodations include breakfasts and some dinners (on those
nights that do not have banquets). Sorry, but we cannot give rates on rooms
without meals, or on rooms on different dates other than those listed below.
Reservations
------------
For details on prices and reserving, see the registration/accommodation
forms. These are available in postscript on the web.
FORMS
=====
------------------------------------------------------------------------
INSTRUCTIONS FOR REGISTRATION
------------------------------------------------------------------------
Please include the Conference Fee Form, On-Campus Housing Form (if on-campus
housing is desired), and this form with payment and mail to
FLoC
c/o Priscilla Rasmussen
P. O. Box 6148
Somerset, NJ 08875 USA
All inquiries should be directed to
Priscilla Rasmussen
Phone: (908) 873-0672 or (908) 873-3898
Fax: (908) 873-0014
Email: rasmusse@cs.rutgers.edu
Please type or print.
Name __________________________________ Sex (please circle): Male Female
Affiliation ____________________________________________________________
Street Address _________________________________________________________
City, State, Postal Code _______________________________________________
Country ________________________________________________________________
Phone(s) _______________________________________________________________
Fax ____________________________________________________________________
E-mail _________________________________________________________________
Total Due (Registration and Dormitories): ______________________________
Dietary Restrictions (circle if applicable): Vegetarian Kosher
Payment: Please enclose a money order, personal check, or bank check, drawn
in U.S. dollars, for the full amount payable to "Federated Logic Conference
1996" or "FLoC 1996." All personal checks must be drawn on a U.S. bank.
Discount for Students: A reduced registration fee is available for students
attending the conferences. If you apply for the student fee, please attach a
copy of your student identification for the ongoing year or a letter signed
by the head of your department confirming that you are a student.
Discount for Members: LICS and CADE offer reduced registration fees for
members of certain organizations. CADE offers the possibility of becoming
eligible for the reduced fee by joining the Association of Automated
Reasoning and enclosing the $7.00 membership fee with your registration.
Member rate justification for LICS (if applicable) _____________________
Member rate justification for CADE (if applicable) _____________________
------------------------------------------------------------------------
CONFERENCE FEES
------------------------------------------------------------------------
All fees are in U.S. currency. Please include this form with your payment.
You must be registered for a conference or workshop for each day you attend.
For instance, if you register for LICS and want to stay to attend CADE and/or
CAV sessions, you must register for CADE or CAV.
------------------------------------------------------------------------
Group 1: LICS or RTA (Circle at most one fee)
LICS Registration
-----------------
Before June 21 After June 21
*Member $295.00 $380.00
Regular $375.00 $475.00
Student $100.00 $150.00
RTA Registration
----------------
Before June 21 After June 21
Regular $275.00 $375.00
Student $100.00 $150.00
*Includes members of ACM, ASL, EATCS, and IEEE, members of the
organizing and program committee, and authors of accepted papers.
------------------------------------------------------------------------
Group 2: LICS/RTA Banquet ($50.00 per person)
Number of people:____________ Total Cost:____________
------------------------------------------------------------------------
Group 3: CADE Workshops (circle the appropriate workshops)
(before June 21, $50.00 per workshop;
after June 21, $80.00 per workshop)
WP-1 WP-2 WP-3 WP-4 WP-5 WP-6 WP-7
Total Cost:____________
------------------------------------------------------------------------
Group 4: CADE or CAV (Circle at most one fee)
CADE Registration
-----------------
Before June 21 After June 21
*Member $300.00 $400.00
Regular $330.00 $430.00
Student $100.00 $200.00
CAV Registration
----------------
Before June 21 After June 21
Regular $300.00 $375.00
Student $100.00 $150.00
*Includes current and new members of AAR.
------------------------------------------------------------------------
Group 5: New AAR Membership for CADE member rate
(Circle if applicable)
$7.00
------------------------------------------------------------------------
Group 6: CADE/CAV Banquet ($57.00 per person):
Number of people:____________ Total Cost:____________
------------------------------------------------------------------------
Group 7: CADE Excursion (Choose one and indicate number of people):
($50 for Metropolitan Museum & broadway show, $25 all others)
Statue of Liberty/Ellis Island: ______ Liberty Science Center: ______
Metropolitan Museum: ______ Metropolitan Museum & broadway show: ______
Total Cost: _______
------------------------------------------------------------------------
------------------------------------------------------------------------
ON-CAMPUS HOUSING FORM
------------------------------------------------------------------------
We have reserved dormitory space in two dorms, both of which are an easy walk
to the main conference site. Dorm reservations must be made by the early
registration deadline of 21 June 1996. Both dorms include daily maid service
(linens provided first day for the week and daily fresh towels and beds
made), and are fully air-conditioned. The Stonier Hall dorms have suites
with one shared bedroom and one shared bathroom. Only a block away, the
Hardenbergh Hall dorms have single rooms with baths shared on each floor. If
you elect Stonier Hall and do not specify a roommate, a roommate of the same
sex may be assigned to your suite.
Please specify your dorm preference on your registration form; we will assign
space accordingly on a first come, first served basis as long as rooms are
available. Unfortunately, because there are only a finite number of rooms
within each dormitory, we can neither guarantee your choice of dormitory nor
your preference of dates. Check-in will take place at each dormitory.
Check-in hours will be 14:00-22:00 on 26 July and 16:00-22:00 on 29-30 July.
Note that the accomodations include breakfasts and some dinners (on those
nights that do not have banquets). Sorry, but we cannot give rates on rooms
without meals, or on rooms on different dates other than those listed below.
All fees are in U.S. Currency. Please circle the applicable fee. Payment
due with registration. Please include this form with your payment.
First night Checking out Total nights Meals included Fee
July 26 July 30 4 4 breakfasts, $160
3 dinners
July 26 July 31 5 5 breakfasts, $200
4 dinners
July 29 August 3 5 5 breakfasts, $200
3 dinners
July 30 August 3 4 4 breakfasts, $160
2 dinners
July 26 August 3 8 8 breakfasts, $320
5 dinners
Preferred Dormitory (circle one): Stonier Hardenbergh
Preferred Roommate (if Stonier Hall is preferred): _____________________
Actual Arrival Date ____________________________________________________
Actual Departure Date __________________________________________________
------------------------------------------------------------------------
HOTEL INFORMATION
------------------------------------------------------------------------
We have established the group rate of $89/night for one single, double,
triple, or quadruple room at the Hyatt Regency Hotel (about eight blocks from
the conference site). This rate is only guaranteed through 28 June 1996,
and, due to limited availability, it is strongly recommended that you make
reservations as soon as possible. To reserve a room, please contact the
Hyatt directly at
Hyatt Regency Hotel
2 Albany Street
New Brunswick, NJ 08901 USA
Phone: (908) 873-1234 or (800) 233-1234
Fax: (908) 873-1382
Reservations must be guaranteed by either a check, money order, or credit
card. Please be sure to reference FLoC 1996. Parking is available at the
hotel for a discounted $2/night.
[
AMAST Mail 1996
|
Latest Update |
AMAST Mail Meta-Index |
AMAST
]