AMAST Mail 1996
[Prev][Next][Index]

MFPS 13 Call for Papers

Dear Colleagues,
  Below is the Announcement and Call for Papers for next spring's MFPS
meeting.  You also can access information about the meeting at the
Tulane Math home page (http://www.math.tulane.edu).  There is an HTML
version of this announcement available at the URL
	http://www.math.tulane.edu/mfps13.html.  
We'd appreciate your printing a copy and posting it for others in your
department who may be interested in the meeting.
  Updates about the meeting, such as the program and registration
information will be posted at the Tulane URL when they are available.
  Best regards,
  Mike Mislove

----------------------------------------------------------------------
	
		Announcement and Call for Papers

			   MFPS XIII
		   Thirteenth Conference on the
	  Mathematical Foundations of Programming Semantics 

		   Carnegie Mellon University
		       Pittsburgh, PA USA
		       March 23 - 26, 1997

        Partially Supported by the US Office of Naval Research


The Thirteenth Conference on the Mathematical Foundations of
Programming Semantics will take place on the campus of Carnegie Mellon
University in Pittsburgh, PA from March 23 to March 26, 1997.  The
MFPS conferences are devoted to those areas of mathematics, logic and
computer science which are related to the semantics of programming
languages.  The series particularly has stressed providing a forum
where both mathematicians and computer scientists can meet and
exchange ideas about problems of common interest. We also encourage
participation by researchers in neighboring areas, since we strive to
maintain breadth in the scope of the series.

The invited speakers for MFPS 13 are:

	 Patrick Cousot	(Ecole Normale Superieure)
	 Abbas Edalat   (Imperial College)
         Kim Larsen     (Aalborg)
	 Andrew Pitts   (Cambridge)
	 Dana Scott     (CMU)
	 Glynn Winskel  (Aarhus)

In addition to the invited talks, there also will be a Special Session
honoring Dana Scott on his 65th birthday year.  The remainder of the
program will consist of papers selected from submissions we receive in
response to this Call for Papers.

The Organizing Committee for MFPS consists of Stephen Brookes (CMU),
Michael Main (Colorado), Austin Melton (Kent State University),
Michael Mislove (Tulane) and David Schmidt (Kansas State).

The Co-chairs for MFPS XIII are Stephen Brookes and Michael Mislove,
who also are serving as the Program Committee Co-chairs.  The
Committee also includes:
	
	Paul Gastin		(LITP)
	Michael Huth		(Kansas State)
	Radha Jagadeesan	(Loyola, Chicago)
	Neil Jones		(DIKU)
	Alan Jeffrey		(Sussex)
	Michael Main		(Colorado)
	Austin Melton		(Kent State)
	Peter O'Hearn		(Queen Mary / Westfield)
	Prakash Panangaden	(McGill)
	John Power		(Edinburgh)
	Edmund Robinson		(Queen Mary / Westfield)
	Giuseppe Rosolini	(Genoa)
	Jan Rutten		(CWI)
	Dieter Spreen		(Siegen)
	Ian Stark		(Aarhus)

Submissions must be extended abstracts of 12 pages or less.  They
should be in the form of a PostScript file that can print on any
PostScript printer.  Submissions either can be sent by email to 
		mfps@math.tulane.edu 
or they can be deposited by anonymous ftp in the directory
pub/incoming on the machine 129.81.96.30.  In this case, a message
also should be sent to mfps@math.tulane.edu advising us of the
submission.

	The deadline for submissions is December 1, 1996.

As with MFPS XI, the Proceedings of the conference will be published
as a volume of the Electronic Notes in Theoretical Computer
Science. For information about this series, access the URL
	http://www.elsevier.nl/locate/entcs.

General inquiries about MFPS XIII can be addressed to
		mfps@math.tulane.edu.

In addition to supporting the conference overall, the support provided
by the Office of Naval Research makes funds available to help offset
expenses of graduate students.  Women and minorities also are
encouraged to inquire about possible support to attend the meeting.

		Registration Information

Detailed information about registration and accommodations will be
available shortly after February 1, 1997.  Consult the URL
http://www.math.tulane.edu/mfps13.html for the latest information
about the meeting.
[ AMAST Mail 1996 | Latest Update | AMAST Mail Meta-Index | AMAST ]