[Prev][Next][Index][Thread]
MFPS91 local arrangements
Date: Wed, 16 Jan 91 15:06:15 EST
To: THEORYNT@vm1.nodak.edu, concurrency@theory.lcs.mit.edu,
theory-logic@cs.cmu.edu, types@theory.lcs.mit.edu
MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS (MFPS91)
March 25-28, 1991
Carnegie Mellon University
School of Computer Science
Pittsburgh, Pa 15213
TRAVEL and LOCAL ARRANGEMENTS
ACCOMMODATION
A block of hotel rooms has been reserved for use by MFPS participants at:
Holiday Inn at University Center
100 Lytton Avenue (at Fifth Avenue)
Pittsburgh, PA 15213.
Telephone (412) 682-6200.
Rate: Singles $85 (9% tax).
Confirmation Dates: Arrival Sunday March 24 1991
Departure Thursday March 28 1991
Room rates and the block of rooms have been guaranteed until March 10.
Please be sure to identify yourself as a participant in the
``Mathematical Foundations of Programming Semantics'' conference
when making a reservation, to assure special group rates.
TRANSPORTATION
The hotel and CMU are located in the Oakland area of Pittsburgh.
The hotel is on the OAKLAND airport limousine route ($10.50 each way).
The airport limo runs on the hour weekdays (9:00AM--9:00PM),
and Sundays (2:00PM--9:00PM); no service on Saturday.
Taxi service from the airport to the hotel is approximately $35
one way. It takes about 45 minutes to drive from the airport to
Oakland, depending on traffic conditions.
Limited parking is available at the hotel for guests.
The hotel is within walking distance of CMU (10 minutes). The hotel
runs a local shuttle service to and from campus.
SPECIAL AIRFARES
USAir has been designated as the official carrier for the attendees
of the Mathematical Foundations of Programming Semantics,
Carnegie Mellon University, March 24-28 1991. USAir agrees to
offer an exclusive low fare for the attendees.
This special fare will offer a 5% discount off any published
USAir promotional round trip fare, excluding First Class
and Government Contract Fares. This discount is valid provided all
rules and restrictions are met and is applicable for travel from
the Continental United States, Bahamas and San Juan, PR.
For attendees unable to meet the restrictions for promotional fares,
USAir will offer a 35% discount off the standard round trip day coach
fare for travel from the Continental United States, Bahamas and
San Juan, PR. For attendees travelling from Canada USAir will
offer a 30% discount with no minimum stay requirement or a
35% discount with a 2 night minimum stay requirement.
Additional restrictions apply for discounts on international travel.
These meeting discounts are valid for travel between March 22--30,
1991.
To obtain this meeting discount, you or your travel agent must call
USAir's Meeting and Convention Reservation Office at 1-800-334-8644;
from Canada, 1-800-428-4322, extension 7702; Monday through Friday,
8:00AM -- 9:00PM, Eastern Time.
REFER TO GOLD FILE No. 319972.
MEALS
There will be a welcoming reception on the evening of Sunday March 24
(6:00-10:00) in the CMU Faculty Club, Skibo Hall, Carnegie Mellon University.
The conference banquet will be held on Tuesday, March 26.
The conference will also provide light breakfast, lunches, and
catered coffee breaks.
Participants with special dietary constraints should contact the local
organizer as soon as possible.
REGISTRATION
The conference registration fee, which includes conference meals
and advance payment for one copy of the proceedings, is $100 for non-student
participants and $50 for students.
Extra banquet tickets may be obtained at $35 each. You may reserve
extra copies of the proceedings at the subsidized cost of $25 each.
Please use the form below for advance registration, and please register
as early as possible (before MARCH 10). Payment should be in $US, by check
or money order, made payable to ``Carnegie Mellon University''.
(Checks must be in the form of a U.S. dollar draft drawn on a U.S. bank
in payment.)
CONFERENCE ROOMS
All conference talks will take place in Wean Hall 7500 on the campus
of Carnegie Mellon University. Several small rooms will be made available for
use by conference participants.
FURTHER INFORMATION
For clarification and further information, or in case of problems,
please contact the local organizer:
Stephen Brookes
School of Computer Science
Carnegie Mellon University
Schenley Park
Pittsburgh, Pa 15213
Tel. 412-268-8820
e-mail: brookes@cs.cmu.edu
CONTACT
During the conference, participants may be contacted at CMU
by telephoning 412-268-7550 (Barbara Grandillo) or by FAX (412-681-5739)
or by e-mail (grandillo@cs.cmu.edu). A room will be set aside for
participants to use e-mail.
ACKNOWLEDGEMENTS
The organizers of MFPS are pleased to acknowledge the support
of the Office of Naval Research (Computer Science Division).
******************************************************************
PLEASE CUT, COMPLETE AND SEND
PRE-REGISTRATION FORM (below)
******* BEFORE MARCH 10 *****
TO: barbara.grandillo@cs.cmu.edu
******************************************************************
PRE-REGISTRATION
Mathematical Foundations of Programming Semantics (MFPS91)
School of Computer Science
Carnegie Mellon University
March 24--28, 1991
NAME..........................................................
TITLE.........................................................
ADDRESS.......................................................
..............................................................
..............................................................
..............................................................
E-MAIL........................................................
TELEPHONE.....................................................
I would like ..... extra banquet tickets at $35 each.
I would like to reserve ..... extra copies of the proceedings
at $25 each. The registration fee includes one copy.
I am a full-time graduate student (YES/NO)...................
SPECIAL DIETARY CONSTRAINTS..................................
.............................................................