Stephen.Brookes@PROOF.ERGO.CS.CMU.EDU (01/19/91)
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.................................. .............................................................