[ME] _________________________ AMAST Links 03 01

Mathematical Foundations of Programming Semantics, MFPS'96

Boulder, Colorado, USA, June 3-5, 1996

Update of information in [AL0208CC] .
The full version of this announcement is available.

This is the latest update about MFPS 12, the Twelfth Workshop on the Mathematical Foundations of Programming Semantics. The invited speakers for MFPS 12 are:

Peter Freyd (Penn),
Mel Fitting (CUNY),
Matthew Hennessy (Sussex),
Gerard Huet (Inria),
Andre Scedrov (Penn) and
Jeannette Wing (CMU).

In addition, there will be one special session during the meeting. This is a workshop year for MFPS, which means that the remainder of the program will be made up of talks by participants. The slots for these talks will be allotted on a first-come, first-served basis.

As with past MFPS Workshops, the Proceedings of the meeting will consist of journal-length papers submitted by participants after the meeting, and dealing with topics relevant to MFPS. These papers will be published as a special issue of Theoretical Computer Science; as such the papers will be refereed to the usual high standards of TCS. More details about this aspect will be provided at the meeting.

Updated information about the meeting can be obtained by accessing the MFPS 12 Home Page .

Those who do not have access to the World Wide Web can obtain updates by sending email to mfps@math.tulane.edu .

Those who are interested in registering for the meeting should complete the registration form included in the full version of this announcement. The form includes an entry to indicate your interest in giving a talk. Registration also can be done on line . (If you have a forms-capable browser.)