[CC] ================================================ AMAST Links 02 08

      Mathematical Foundations of Programming Semantics, MFPS'96
                Boulder, Colorado, USA, June 3-5, 1996

  The Twelfth Workshop on the Mathematical Foundations of Programming
Semantics will take place on the campus of the University of Colorado
in Boulder from June 3 to June 5, 1996. This series of meetings has the
goal of bringing together mathematicians and theoretical computer
scientists to discuss problems of common interest and to explore common
areas of research. MFPS has focused particularly on programming
semantics and related issues. 
  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 
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. 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.    
  Also, we anticipate funding from the Office of Naval Research. While
the funding will be limited, we especially encourage women and 
minorities, as well as graduate students, to inquire about possible 
support to attend the meeting.
  *Further Information*
  More detailed information is available on the WWW at the URL:
   http://www.math.tulane.edu/MFPS.html
See also the home page for _announcements about MFPS 12_ at the URL:
   http://www.math.tulane.edu/mfps12.html  
Those who do not have access to the World Wide Web can obtain 
information by sending email to mfps@math.tulane.edu. If you are 
interested in attending the meeting and giving a talk, send email to 
mfps@math.tulane.edu including your name, the title of your talk and a
short abstract. Detailed information about registration, lodging, etc.
will be sent to those who indicate their interest as soon as available.