Resent-Message-Id: <199312091311.AA03425@theory.lcs.mit.edu>
Message-Id: <199312091311.AA03425@theory.lcs.mit.edu>
From: allen@cis.ksu.edu (Allen Stoughton)
Subject: Announcement of MFPS X
Date: Wed, 8 Dec 1993 11:35:56 -0600
To: types@dcs.gla.ac.uk
Old-Resent-From: types-request@dcs.gla.ac.uk
Errors-To: types-request@dcs.gla.ac.uk
Approved: types@dcs.gla.ac.uk
Resent-Date:  Thu, 9 Dec 1993 13:06:05 +0000
Resent-From: types@theory.lcs.mit.edu
Resent-To: types-dist@theory.lcs.mit.edu


[Since it is clearly relevant, I am distributing this conference
announcement to types.  General conference announcements should go to
the Theory-A list: send announcements or requests to subscribe to
THEORY-A@VM1.NoDak.EDU.  -- Philip Wadler, moderator, Types Forum.]


                           Workshop Announcement
  
                                  MFPS X 
 
                        The Tenth Workshop on the 
              Mathematical Foundations of Programming Semantics 
 
                             March 20 - 23, 1994 
                             Manhattan, KS, USA 
 
The Tenth Workshop on the Mathematical Foundations of Programming Semantics
will be held at Kansas State University, Manhattan, KS, USA from March 20 to
March 23, 1994.  The workshop will consist of six one-hour invited talks and
talks contributed by participants.  There also will be a Special Session on
Tools for Semantic Analysis, as well as a Special Session on the language ML.
The MFPS workshops are devoted to those areas of mathematics, logic and
computer science which are related to the semantics of programming languages.
The series has particularly stressed providing a forum where both
mathematicians and computer scientists can meet and exchange ideas about
problems of common interest.  We also welcome submissions by researchers in
neighboring areas, since we have attempted to maintain some breadth in the
scope of the series.

The invited speakers for MFPS X are:

        Samson Abramsky (Imperial)            William Rounds (Michigan)
        Gerard Berry (Sophia-Antipolis)       Dana Scott (Carnegie Mellon)
        Achim Jung (Darmstadt)                Colin Stirling (Edinburgh)
 
The Organizing Committee for MFPS consists of Stephen Brookes (CMU), Michael
Main (Colorado), Austin Melton (Michigan Technological University), Michael
Mislove (Tulane) and David Schmidt (Kansas State).  The co-chairmen for MFPS X
are Michael Mislove and David Schmidt.  The local arrangements chairmen are
David Schmidt and Allen Stoughton (Kansas State).  The Tools Session will be 
organized by Rance Cleaveland (North Carolina State) and Allen Stoughton.

MFPS X will begin after lunch on Sunday, March 20, and run through the
afternoon of Wednesday, March 23.  Registration for MFPS X is $85 ($45 for
graduate students); all payments must be made in US dollars.  This cost
includes continental breakfast and lunch each day of the meeting, and the 
conference dinner on Tuesday evening.  Since space is limited, PARTICIPANTS 
MUST PRE-REGISTER BY 15 FEBRUARY by emailing

               mfps94@cis.ksu.edu

or writing to

        MFPS X
        Department of Computing and Information Sciences
        Kansas State University
        Manhattan, KS 66506

Participants who are interested in giving a talk or demonstrating a tool
should supply a short abstract of their proposed talk or demonstration when
pre-registering.  Payment of the registration fee may be made on arrival.
Information about hotel reservations, etc., will be provided for those who
pre-register.

We anticipate publishing a Proceedings of the Workshop as a special issue of
Theoretical Computer Science.  All participants will be invited to submit
papers for the Proceedings, which will be refereed to the the usual journal
standards.  MFPS has enjoyed continuing support from the Office of Naval
Research.  We anticipate support again this year, and we will endeavor to
provide support for those participants, especially graduate students, who are
unable to obtain full support for their participation on their own.