MFPS Program and Registration Information
[Since it is clearly relevant, I am distributing this conference
announcement to types. -- Philip Wadler, moderator, Types Forum.]
Below is the Program for the Eleventh Conference on the Mathematical
Foundations of Programming Semantics, which will take place on the
campus of Tulane University in New Orleans, LA from March 29 to April
1. Following the program there is information about registration for
the Conference. If you are interested in attending the meeting, please
fill out the registration form and return it by regular mail or by email
to the indicated address.
Mathematical Foundations of Programming Semantics
Eleventh International Conference
March 29 -- April 1, 1995
New Orleans, LA USA
Partially Funded by the Office of Naval Research
Wednesday, March 29, 1995
8:50 - 9:50 Neil D. Jones, DIKU, Invited Lecture:
"Complexity and Computability from a
Programming Language Perspective"
9:50 - 10:25 Karen L. Bernstein and Eugene W. Stark, SUNY at Stony Brook
"Operational Semantics of a Focusing Debugger"
10:45 - 11:20 John Maraist, Martin Odersky, University of Karlsruhe,
David N. Turner and Philip Wadler, University of Glasgow
"Call-by-name, Call-by-value, Call-by-need
and the Linear Lambda Calculus"
11:20 - 11:55 Gerard Boudol and Cosimo Laneve, INRIA Sophia-Antipolis
"Termination, deadlock and divergence in the
lambda-calculus with multiplicities"
11:55 - 12:30 Frank Pfenning and Hao-Chi Wong, Carnegie-Mellon University
"On a Modal Lambda Calculus for S4"
2:00 - 3:00 Robert Tennent, Queen's University, Invited Lecture:
"Syntactic Control of Interference Revisited"
3:00 - 3:35 Peter O'Hearn, Syracuse University and Uday Reddy,
University of Illinois at Urbana-Champaign
"Objects, Interference and the Yoneda Embedding"
3:55 - 4:30 Cliff Jones, University of Manchester,
"Granularity and the Development of Concurrent Programs"
4:30 - 5:05 John Power and Makoto Takeyama, University of Edinburgh,
5:05 - 5:40 Edmund Robinson, Sussex University,
"Logical Relations and the Categorical
Treatment of Equality"
5:40 - 6:15 Gordon Plotkin, University of Edinburgh
"Some Models for Axiomatic Domain Theory"
Thursday, March 30, 1995
8:45 - 9:45 Ed Clarke, Carnegie-Mellon University, Invited Lecture:
"Model Checking and Symmetry"
9:45 - 10:20 Susan Older and Stephen Brookes, Carnegie-Mellon University,
"Full Abstraction for Strongly Fair Communicating Processes"
10:45 - 11:20 Michael Mislove, Tulane University
"Models for Unbounded Nondeterminism"
11:20 - 11:55 Michel Schellekens, Carnegie-Mellon University
"The Smyth Completion: A Common Foundation for
Denotational Semantics and Complexity Analysis"
11:55 - 12:30 Zoltan E'sik and L. Berna'tsky, A. Jo'zsef University,
"Scott Induction and Equational Proofs"
2:00 - 3:00 Andreas Blass, University of Michigan, Invited Lecture:
"Linear Logic and Dialogues"
3:00 - 3:35 Francois Lamarche, Imperial College
"Generalizing Coherent Domains and Hypercoherences"
3:55 - 6:15 Special Session on Object Oriented Programming
Luca Cardelli, DEC and John Mitchell, Stanford
3:55 - 4:30 Krishna Kishore Dhara and Gary T. Leavens,
Iowa State University
"Weak Behavioral Subtyping for Types
With Mutable Objects"
4:30 - 5:05 Jonathan Eifrig, Scott Smith and Valery Trifonov,
The Johns Hopkins University
"Type Inference for Recursively Constrained
Types and its Application to OOP"
5:05 - 5:40 Cliff Jones, University of Manchester,
5:40 - 6:15 Panel Discussion
Friday, March 31, 1995
8:45 - 9:45 Robin Milner, University of Cambridge, Invited Lecture:
"Action Calculi and Control Structures"
9:45 - 10:20 Philippa Gardner, University of Edinburgh
"A Name-free Account of Action Calculi"
10:45 - 11:20 Ugo Montanari and Marco Pistore, University of Pisa,
"Concurrent Semantics for the pi-Calculus"
11:20 - 11:55 Alan Jeffrey, University of Sussex
"A Fully Abstract Semantics for a Nondeterministic
Functional Language with Monadic Types"
11:55 - 12:30 Andrew D. Gordon, University of Cambridge
"Bisimilarity as a Theory of Functional Programming"
Saturday, April 1, 1995
8:45 - 9:20 Robert Flagg, University of Southern Maine
and Ralph Kopperman, CUNY,
"Fixed Points and Reflexive Domain Equations in
Categories of Continuity Spaces"
9:20 - 9:55 D. N. Hoover, Odyssey Corporation
"Maximal Limit Spaces, Powerspaces, and Scott Domains"
9:55 - 10:30 F. Alessi, P. Baldan, and G. Belle`, University of Udine,
and J. J. M. M. Rutten, CWI Amsterdam,
"Solutions of Functorial and Non-functorial Metric
Metric Domain Equations"
10:50 - 11:25 Abbas Edelat, Imperial College
"Domain Theory in Learning Processes"
11:25 - 12:00 Kay-Jeannette Nuessler, University of Essen
"Universality and Powerdomains"
12:00 - 12:30 Achim Jung and Hermann Puhlmann, TH Darmstadt
"Types, Logic and Semantics for Nested Databases"
2:00 - 2:35 J. R. B. Cockett and D. A. Spooner, University of Calgary,
"Categories for Synchrony and Asynchrony"
2:35 - 3:10 Bart Jacobs, CWI, Amsterdam
"Subtypes and Bounded Quantification
From a Fibred Perspective"
3:30 - 4:30 John Reynolds, Carnegie-Mellon University, Invited Lecture
In addition to the scientific program, the following activities
will take place during the meeting. On Tuesday evening, March 28,
registration will take place at the Ramada St. Charles Hotel 7pm to
9pm. There also will be a reception on the Tulane campus at the end
of the first day's program. A conference dinner will take place on
Friday evening, March 31, at which attendance is optional. This
dinner will be held at one of New Orleans better restaurants. The
fee for the dinner is $45 per person.
Participants will be housed at the Ramada St. Charles Hotel, which
is located on St. Charles Avenue some 3 miles from the University.
Travel between the hotel and the University can be made by the
streetcar line which runs in front of the hotel. We have arranged for
a block of rooms at the Ramada St. Charles at greatly reduced prices.
To take advantage of these rates, participants must book their hotel
reservations through us, and payment must be received by March 7,
1995. After that date, there is an additional $50 late registration
fee, and the hotel room rates revert to their normal levels, plus a
13% local tax. Participants should be advised that on the weekend
preceding MFPS, there are major medical conventions taking place in
the city. As a result, hotel rooms cannot be secured before Tuesday,
March 28, 1995.
The registration fee for the meeting is $175 ($90 for graduate
students). This fee includes a continental breakfast at the meeting
each morning, refreshments at the breaks between talks, and lunch each
day of the meeting. The reception for participants at the close of
the first day's session also is included. The registration fee also
entitles each participant to a copy of the Proceedings of the
conference, which will be distributed at the meeting.
To register for the meeting, fill out the information indicated
below, and mail it along with payment for the registration and hotel
Department of Mathematics
New Orleans, LA 70118
Checks should be made payable to:
MFPS - Tulane
Note that all payments must be in US Dollars.
As an alternative, the information below can be sent to the email address
and payment for the meeting can be made with either VISA or MasterCard.
Such payments can be made by phoning Ms. Geralyn Caradona at
Alternative arrangements for payment also can be accommodated; please
contact us via email about this.
HOTEL ROOM REQUIRED: SINGLE _________ DOUBLE ____________
SMOKING_________ NON-SMOKING ________
IF DOUBLE, ROOMMATE'S NAME: ______________________________________
DATE OF ARRIVAL: ______________________________________________________
DATE OF DEPARTURE: ____________________________________________________
INDICATE ANY SPECIAL DIETARY NEEDS: ___________________________________
AMOUNT OF PAYMENT
Registration BY March 15 Registration AFTER March 15
REGISTRATION FEE: Regular: $ 175 Late Registration: $ 225
Graduate Student: $ 90 $ 140
HOTEL ROOM: SINGLE: $79 x ___ nights = $____ $145 x ___ nights = $____
DOUBLE: $79 x ___ nights = $____ $165 x ___ nights = $____
CONFERENCE DINNER: $45 x ___ persons = $____ $ 45 x ___ persons = $____
TOTAL ENCLOSED: $____ $____
METHOD OF PAYMENT: CHECK _______
___VISA ____Master Charge
CREDIT CARD #_____________________________________
(if submitting registration by regular
NOTE: ALL PAYMENTS MUST BE MADE IN US DOLLARS