[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..................................
.............................................................