[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 at URL:
   http://www.cs.utwente.nl/data/amast/links/v03/i01/full/AC0301ME.txt

  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:
 o  Peter Freyd (Penn),
 o  Mel Fitting (CUNY),
 o  Matthew Hennessy (Sussex),
 o  Gerard Huet (Inria),
 o  Andre Scedrov (Penn) and
 o  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_, at URL: http://www.math.tulane.edu/mfps12.html
  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_, at the URL:
http://www.math.tulane.edu/regform.html
(If you have a forms-capable browser.)