[Prev][Next][Index][Thread]
MFPS'91 Schedule
Date: Sat, 2 Mar 91 14:31:28 EST
MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS (MFPS91)
March 25-28, 1991
Carnegie Mellon University
School of Computer Science
Pittsburgh, PA 15213
CONFERENCE SCHEDULE
SUNDAY 24 MARCH
6:00-10:00pm Reception and Registration (Skibo Hall)
MONDAY 25 MARCH
9:00-10:00 Invited Talk
John Reynolds (Carnegie Mellon University)
10:00-10:40 Call-by-Value Combinatory Logic and the
Lambda-Value Calculus
Bruce F. Duba (Rice University)
John Gateley (Rice University)
10:40-11:00 Break
11:00-11:40 From Operational to Denotational Semantics
Scott F. Smith (The Johns Hopkins University)
11:40-12:20 A Simple Language Supporting Angelic Nondeterminism
and Parallel Composition
Michael W. Mislove (Tulane University)
Frank J. Oles (IBM, Thomas J. Watson Research Center)
12:20- 1:30 Lunch (Skibo Hall)
1:30- 2:10 The Equivalence of Two Semantic Definitions
for Object-Oriented Languages
Kim B. Bruce (Williams College)
2:10- 2:30 Primitive Recursive Functionals with Dependent Types
Neal Nelson (Oregon Graduate Institute)
2:30- 3:10 Typed Homomorphic Relations Extended with Subtypes
Gary T. Leavens (Iowa State University)
Don Pigozzi (Iowa State University)
3:10- 3:40 Break
3:40- 6:00 Special Session (details to be announced)
TUESDAY 26 MARCH
9:00-10:00 Invited Talk
Jon Barwise (Indiana University)
10:00-10:40 Nonwellfounded Sets and Programming Language Semantics
J.J.M.M. Rutten (Center for Mathematics and
Computer Science, Amsterdam)
10:40-11:00 Break
11:00-11:40 Simultaneous Substitution in the Typed Lambda Calculus
John Gray (University of Illinois at Urbana-Champaign)
11:40-12:20 HSP type theorems in the category of posets
Michael Barr (McGill University)
12:30- 2:00 Lunch (Greek Community Center)
2:00- 2:40 Decomposition of Domains
Achim Jung (Technische Hochschule Darmstadt)
Leonid Libkin (University of Pennsylvania)
Hermann Puhlmann (Technische Hochschule Darmstadt)
2:40- 3:00 Cartesian Closed Categories of Domains and
the Space Proj(D)
Michael Huth (Tulane University)
3:00- 3:40 An Upper Power Domain Construction in terms of
Strongly Compact Sets
Reinhold Heckmann (Universitat des Saarlandes)
3:40- 4:00 Break
4:00- 5:00 Invited Talk
Dana Scott (Carnegie Mellon University)
6:30 Conference Banquet (Grand Concourse, Station Square)
WEDNESDAY 27 MARCH
9:00-10:00 Invited Talk
Mitchell Wand (Northeastern University)
10:00-10:40 An Algorithm for Analyzing Communicating Processes
Nicolas Mercouroff (Brandeis University and LIX, Ecole
Polytechnique)
10:40-11:00 Break
11:00-11:40 Continuous Functions and Parallel Algorithms
on Concrete Data Structures
Stephen Brookes (Carnegie Mellon University)
Shai Geva (Carnegie Mellon University)
11:40-12:20 Tradeoffs in true concurrency: Pomsets and
Mazurkiewicz Traces
Bard Bloom (Cornell University)
Marta Kwiatkowska (University of Leicester, UK)
12:20- 1:30 Lunch (Skibo Hall)
1:30- 2:10 On Relating Concurrency and Nondeterminism
Luca Aceto (INRIA, Sophia-Antipolis)
2:10- 2:50 On Continuous Time Agents
S. Kasangian (University of Milan)
A. Labella (University of Rome)
2:50- 3:30 A Monoidal Closed Category of Event Structures
Guo Qiang Zhang (University of Georgia)
3:30- 4:00 Break
4:00- 5:00 Invited Talk
Glynn Winskel (Aarhus University)
5:00- 6:00 Rooms available for discussion.
THURSDAY 28 MARCH
9:00- 9:40 An exper model for Quest
Giuseppe Rosolini (University of Parma)
9:40-10:20 Equations for if-then-else
Ernest G. Manes (University of Massachusetts, Amherst)
10:20-11:00 Program Correctness and Matricial Theories
Stephen L. Bloom (Stevens Institute of Technology)
Zoltan Esik (A. Joszef University, Bolyai Institute)
11:00-11:20 Break
11:20-12:00 Liminf Progress Measures
Nils Klarlund (IBM, Thomas J. Watson Research Center)
12:00-12:40 Connections
Austin Melton (Kansas State University)
Bernd S. W. Schroeder (Kansas State University)
George E. Strecker (Kansas State University)
12:40 Lunch (Skibo Hall)
END OF CONFERENCE
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), 412-268-7665 (Marian d'Amico),
or by FAX (412-681-5739). For e-mail use grandillo@cs.cmu.edu or
marian@spice.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) and
the National Science Foundation (Systems Software 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..................................
.............................................................