[Prev][Next][Index][Thread]
LICS'96 Advance Program + Registration Information
[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
[This announcement is a plain-text summary of the LICS-related parts
of the FLoC'96 advance program. The full program is available on the
web at http://www.research.att.com/lics/floc/, and via anonymous ftp
from ftp.research.att.com, directory /dist/floc.]
Call for Participation
11TH ANNUAL IEEE SYMPOSIUM ON
LOGIC IN COMPUTER SCIENCE
July 27-30, 1996
Rutgers University, New Jersey, USA
Hosted by
DIMACS
Sponsored by
IEEE COMPUTER SOCIETY
with support from
AT&T Laboratories
Lucent Technologies Bell Laboratories
IBM Almaden Research Center
The LICS Symposium aims to attract original papers of high quality on
theoretical and practical topics in computer science that relate to
logic in a broad sense, including algebraic, categorical and
topological approaches. The symposium draws papers from a wide range
of areas: abstract data types, automated deduction, categorical
models, concurrency, constraint programming, constructive mathematics,
database theory, domain theory, finite model theory, hybrid systems,
logics of knowledge, lambda and combinatory calculi, linear logic,
logical aspects of computational complexity, logics in artificial
intelligence, logic programming, modal and temporal logics, model
checking, program logic and semantics, rewriting, logical aspects of
symbolic computing, software specification, type systems, and
verification.
Program Chair: E. Clarke (CMU)
Program Committee: S. Buss (UC San Diego), A. Emerson (UT Austin),
S. German (IBM Watson), G. Gottlob (TU Vienna), O. Grumberg
(Technion), D. Howe (Bell Labs), C. Kirchner (INRIA & CRIN), K. Kunen
(Wisconsin), P. Lincoln (SRI), J. Mitchell (Stanford), U. Montanari
(Univ. Pisa), P. Panangaden (McGill), F. Pfenning (CMU), J. Rushby
(SRI), C. Stirling (Edinburgh), A. Stolboushkin (UCLA), G. Winskel
(Aarhus).
Conference Chair: J.G. Riecke (Bell Labs).
Publicity: A. Felty (Bell Labs), D. Howe (Bell Labs).
General Chair: M.Y. Vardi (Rice University)
Organizing Committee: M. Abadi, S. Abramsky, S. Artemov, E. Boerger,
A. Borodin, W. Brauer, A. Bundy, S. Buss, E. Clarke, R. Constable,
A. Felty, U. Goltz, D. Howe, G. Huet, J.-P. Jouannaud, D. Kapur,
C. Kirchner, P. Kolaitis, D. Kozen, T. Leighton, D. Leivant,
A.R. Meyer, D. Miller, J. Mitchell, Y. Moschovakis, M. Okada,
P. Panangaden, J. Remmel, J. Riecke, S. Ronchi della Rocca,
A. Scedrov, D. Scott, J. Tiuryn, M.Y. Vardi.
Email: lics96@cs.cmu.edu
WWW: http://www.research.att.com/lics/
+---------------------------------------------------------+
| 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
==================
Friday, 26 July 1996
--------------------
RECEPTION: 17:30-19:30.
Saturday, 27 July 1996
----------------------
WELCOME: 9:00-9:15.
FINITE MODEL THEORY I: 9:15-10:30. Chair: K. Kunen.
A Generalization of Fagin's Theorem
J. Antonio Medina & Neil Immerman (University of Massachusetts)
DATALOG SIRUPs Uniform Boundedness Is Undecidable
Jerzy Marcinkowski (University of Wroclaw)
On the Structure of Queries in Constraint Query Languages
Michael Benedikt & Leonid Libkin (Bell Labs)
COFFEE BREAK: 10:30-11:00.
CONCURRENCY: 11:00-12:40. Chair: U. Montanari.
A Fully Abstract Domain Model for the Pi-Calculus
Ian Stark (University of Aarhus)
A Fully-Abstract Model for the Pi-Calculus
M.P. Fiore (University of Edinburgh), E. Moggi (Universita di Genova) & D.
Sangiorgi (INRIA)
Higher Dimensional Transition Systems
Gian Luca Cattani & Vladimiro Sassone (University of Aarhus)
An Algebraic Theory of Process Efficiency
V. Natarajan & Rance Cleaveland (North Carolina State University)
LUNCH BREAK: 12:40-14:15.
TYPES I: 14:15-15:30. Chair: J. Mitchell.
The Subtyping Problem for Second-Order Types is Undecidable
Jerzy Tiuryn & Pawel Urzyczyn (Warsaw University)
Subtyping Dependent Types
David Aspinall (University of Edinburgh) & Adriana Compagnoni (University of
Cambridge)
Reduction-Free Normalisation for a Polymorphic System
Thorsten Altenkirch (University of Edinburgh), Martin Hofmann & Thomas
Streicher (TH Darmstadt)
COFFEE BREAK: 15:30-16:00.
TEMPORAL LOGIC AND MU-CALCULUS: 16:00-17:40. Chair: E.A. Emerson.
An Until Hierarchy for Temporal Logic
Kousha Etessami & Thomas Wilke (DIMACS)
Locally Linear Time Temporal Logic
R. Ramanujam (Universitat Kiel)
A Modal Mu-Calculus for Durational Transition Systems
Helmut Seidl (Universitat Trier)
Tarskian Set Constraints
David McAllester (AT&T Laboratories), Robert Givan (MIT AI Laboratory),
Dexter Kozen (Cornell University) & Carl Witty (MIT AI Laboratory)
Sunday, 28 July 1996
--------------------
PLENARY SESSION WITH RTA: 9:15-10:30. Chair: E. Clarke.
Design of a Proof Assistant
Gerard Huet (INRIA Rocquencourt)
COFFEE BREAK: 10:30-11:00.
REASONING ABOUT PROGRAMS: 11:00-12:40. Chair: P. Lincoln.
Reasoning about Local Variables with Operationally-Based Logical
Relations
Andrew M. Pitts (Cambridge University)
The Essence of Parallel Algol
Stephen Brookes (Carnegie Mellon University)
Games and Full Abstraction for FPC
Guy McCusker (Imperial College)
A Temporal Logic Approach to Binding Time Analysis
Rowan Davies (Carnegie Mellon University)
LUNCH BREAK: 12:40-14:15.
MODEL CHECKING I: 14:15-15:30. Chair: S. German.
Symbolic Protocol Verification with Queue BDDs
Patrice Godefroid & David E. Long (Bell Labs)
Reactive Modules
Rajeev Alur (Bell Labs) & Thomas A. Henzinger (University of
California at Berkeley)
Model-checking of Correctness Conditions for Concurrent Objects
Rajeev Alur (Bell Labs), Ken McMillan (Cadence Berkeley Labs) &
Doron Peled (Bell Labs)
COFFEE BREAK: 15:30-16:00.
TYPES II: 16:00-17:40. Chair: D. Howe.
A Semantic View of Classical Proofs: Type-Theoretic, Categorical, and
Denotational Characterizations
C.-H. L. Ong (University of Oxford & National University of
Singapore)
Syntactic Considerations on Recursive Types
Martmn Abadi (Systems Research Center, Digital Equipment
Corporation) & Marcelo P. Fiore (University of Edinburgh)
On the Expressive Power of Simply Typed and Let-Polymorphic Lambda
Calculi
Gerd G. Hillebrand (University of Pennsylvania) & Paris
C. Kanellakis (Brown University)
A Linear Logical Framework
Iliano Cervesato & Frank Pfenning (Carnegie Mellon University)
BUSINESS MEETING: 20:00-21:30.
Monday, 29 July 1996
--------------------
TUTORIAL: 9:15-10:30. Chair: J. Rushby.
The Theory of Hybrid Automata
Thomas A. Henzinger (University of California at Berkeley)
Abstract: Hybrid automata, which combine discrete transition graphs with
continuous dynamical systems, are mathematical models for digital systems
that interact with analog environments. Hybrid automata can be viewed as
infinite-state transition systems, and this view gives insights into the
structure of hybrid state spaces. For example, for certain interesting
classes of hybrid automata, language equivalence, mutual similarity, or
bisimilarity induce finite quotients of infinite state spaces. These results
can be exploited by analysis techniques for finite-state systems.
COFFEE BREAK: 10:30-11:00.
MODEL CHECKING II: 11:00-12:40. Chair: O. Grumberg.
Partial-Order Methods for Model Checking: From Linear Time to
Branching Time
Bernard Willems & Pierre Wolper (Universite de Liege)
Efficient Model Checking via the Equational Mu-Calculus
Girish Bhat & Rance Cleaveland (North Carolina State University)
General Decidability Theorems for Infinite-State Systems
Parosh Aziz Abdulla (Uppsala University), Karlis Cerans (University
of Latvia), Bengt Jonsson (Uppsala University) & Yih-Kuen Tsay
(National Taiwan University)
Relating Word and Tree Automata
Orna Kupferman (Bell Labs), Shmuel Safra (Tel Aviv University) &
Moshe Y. Vardi (Rice University)
LUNCH BREAK: 12:40-14:15.
FINITE MODEL THEORY II: 14:15-15:30. Chair: G. Gottlob.
More about Recursive Structures: Descriptive Complexity and Zero-One
Laws
Tirza Hirst & David Harel (The Weizmann Institute of Science)
On the Expressive Power of Variable-Confined Logics
Phokion G. Kolaitis (University of California, Santa Cruz) & Moshe
Y. Vardi (Rice University)
Zero-One Laws for Gilbert Random Graphs
Gregory L. McColm (University of South Florida)
COFFEE BREAK: 15:30-16:00.
SEMANTICS AND DOMAINS: 16:00-17:40. Chair: G. Winskel.
When Scott is Weak on the Top
Abbas Edalat (Imperial College)
Integration in Real PCF
Abbas Edalat & Martmn Hvtzel Escards (Imperial College)
Game Semantics and Abstract Machines
Vincent Danos (Paris 7 & CNRS) Hugo Herbelin (Paris 7 & INRIA) &
Laurent Regnier (LMD-CNRS Marseille)
Semantics of Normal Logic Programs and Contested Information
Shekhar Pradhan (University of Maryland, College Park & Central
Missouri State University)
JOINT BANQUET WITH RTA: 19:00-22:00. Chair: C.A. Gunter.
Dinner speech by Dana Scott on ``Some Reflections on Logic and
Logicians''.
Tuesday, 30 July 1996
---------------------
TUTORIAL: 9:15-10:30. Chair: P. Panangaden.
Lattices, Categories and Communication
Andre Joyal (Universite du Quebec a Montreal)
Abstract: We describe a theory of communication based on free lattices
and free bicomplete categories. It is based on a game-theoretic
representation of bicomplete categories. All our results extend to
enriched categories. In (*) we associate a two player game to each
term representing an element of a free lattice. To a pair of terms we
associate a three player game, a mediator facing two opposites. A
strategy for the mediator is viewed as a communication strategy
between the opposites. A communication strategy is complete iff it is
winning. The mediator has a complete communication strategy iff the
corresponding terms can be compared in the free lattice. Here we show
that the objects and arrows of free bicomplete categories have a
similar game-theoretic interpretation. Two communication strategies
are operationally equivalent iff they define the same arrow in the
free bicomplete category. Many connectives of linear logic have an
interpretation in free bicomplete categories. Our work suggests
similarities between the world of computing and that of financing.
Reference: (*) "Free lattices, communication and money games". In
Proceedings of the 10th International Congress of Logic, Methodology
and Philosophy of Science. Firenze, August 1995.
COFFEE BREAK: 10:30-11:00.
LAMBDA CALCULUS: 11:00-12:40. Chair: F. Pfenning.
Linear Logic, Monads and the Lambda Calculus
Nick Benton (University of Cambridge) & Philip Wadler (University of
Glasgow)
On Order-Incompleteness and Finite Lambda Models
Peter Selinger (University of Pennsylvania)
Confluence and Preservation of Strong Normalisation in an Explicit
Substitutions Calculus
Cesar Munoz (INRIA)
Completing Partial Combinatory Algebras with Unique Head-Normal Forms
Inge Bethke (CWI & University of Utrecht), Jan Willem Klop (CWI &
Vrije Universiteit) & Roel de Vrijer (Vrije Universiteit)
LUNCH BREAK: 12:40-14:15.
REWRITING AND UNIFICATION: 14:15-15:30. Chair: C. Kirchner.
Complexity Analysis Based on Ordered Resolution
David Basin & Harald Ganzinger (Max-Planck-Institut f|r Informatik)
Solving Linear Equations over Semirings
Paliath Narendran (State University of New York at Albany)
Basic Paramodulation and Decidable Theories
Robert Nieuwenhuis (Technical University of Catalonia)
COFFEE BREAK: 15:30-16:00.
COMPLEXITY AND DECIDABILITY: 16:00-17:40. Chair: A. Stolboushkin.
Counting Modulo Quantifiers on Finite Linearly Ordered Trees
Juha Nurmonen (University of Helsinki)
Simultaneous Rigid E-Unification and Related Algorithmic Problems;
Skolemization and Decidability Problems for Fragments of
Intuitionistic Logic
Anatoli Degtyarev (Uppsala University), Yuri Matiyasevich (Steklov
Institute of Mathematics) & Andrei Voronkov (Uppsala University)
On the Complexity of Abduction
Victor W. Marek (University of Kentucky), Anil Nerode (Cornell
University) & Jeffrey B. Remmel (University of California, San
Diego)
Decision Problems for Semi-Thue Systems with a Few Rules
Yuri Matiyasevich (Steklov Institute of Mathematics) & Geraud
Senizergueswww (LaBRI, Universite de Bordeaux)
FLOC PLENARY SESSION: 20:00-21:30. Chair: M.Y. Vardi.
Calculi for Interactions
R. Milner (Cambridge University, United Kingdom)
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 U.S. 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
and at the FLoC ftp site (addresses 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 (#78 on map, follow signs for exact location). Evening
registration is possible the day before the beginning of FLoC, Friday,
26 July from 16:00-19:00. On regular conference days, the registration
desk will be open from 8:00-18:00; on Monday, 29 July and Tuesday, 30
July, registration hours will be extended to 19:00. Conference
sessions will take place in the Rutgers Student Center and Brower
Commons(#57 on map). CADE workshops will take place in Scott Hall(#21
on map).
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 (near the dormitories,#77 on map).
SOCIAL EVENTS
=============
A reception will be held Friday, 26 July, 17:30-19:30. A joint
banquet for LICS and RTA participants will be held on Monday, 29 July
at 19:00 at the Farrington Manor, a banquet site near New Brunswick.
Dana Scott will be giving a talk after dinner. The cost of the banquet
is $50 per person.
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 tranportation 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(#55 on map). If staying in the dorms, go directly to the
appropriate dormitory. It is a short walk to Hardenbergh (#49 on map)
or Stonier (#56 on map). 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 (#49 on map) or Stonier (#56 on
map). 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 (#56 on map (uncompressed)) have suites with one
shared bedroom and one shared bathroom. Only a block away, the
Hardenbergh Hall dorms (#49) 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 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.
Reservations
------------
For details on prices and reserving, see the
registration/accommodation forms. These are available in postscript
on the web and via ftp.
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. (See next page.)
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 (#56 on map) have suites with one shared bedroom
and one shared bathroom. Only a block away, the Hardenbergh Hall
dorms (#49) 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.