MFPS Program and Registration Information

[Since it is clearly relevant, I am distributing this conference
announcement to types.  -- Philip Wadler, moderator, Types Forum.]

Dear Colleagues,
   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

			     Tulane University
			    New Orleans, LA USA
	        Partially Funded by the Office of Naval Research

			    Conference Program

		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, 
		"Bireflective passivity"

 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 
		University, Organizers
 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.  

			Registration Information
  To register for the meeting, fill out the information indicated
below, and mail it along with payment for the registration and hotel
costs to:
        Department of Mathematics
        Tulane University
        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 
      (504) 865-5727
Alternative arrangements for payment also can be accommodated; please
contact us via email about this.

                        Registration Form

NAME:     ______________________________________________________

ADDRESS:  ______________________________________________________

PHONE:   _______________________________________________________

EMAIL:   _______________________________________________________

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:                         $____                           $____


			___VISA	____Master Charge

			CREDIT CARD #_____________________________________

			EXPIRATION DATE______________

				(if submitting registration by regular
				 postal mail)