[Prev][Next][Index][Thread]
MFPS IX
Date: Tue, 8 Sep 92 17:03:55 EDT
Call for Papers
MFPS IX
The Ninth Conference on the
Mathematical Foundations of Programming Semantics
April 7 - 10, 1993
New Orleans, LA USA
The Ninth Conference on the Mathematical Foundations of Programming
Semantics will be held at Tulane University, New Orleans, LA USA from
April 7 to April 10, 1993. The conference will consist of six one-hour
invited talks and of talks selected from submissions. There also will be
two Special Sessions. 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 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 IX are:
Peter Aczel (Manchester) Dale Miller (Pennsylvania)
Pierre-Louis Curien (LIENS-DMI) Andrew Pitts (Cambridge)
Albert Meyer (MIT) Gordon Plotkin (Edinburgh)
There will be two Special Sessions, one on Real-time Concurrency, organized
by G. M. Reed (PRG, Oxford) and A. W. Roscoe (PRG, Oxford), and the second on
Fully Abstract Semantics, organized by Stephen Brookes (CMU).
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 IX are Stephen Brookes and Michael Mislove.
The Program Committee Co-chairs are Michael Main and Austin Melton.
The remainder of the Committee consists of:
Samson Abramsky (Imperial College) Ana Pasztor (Florida International)
Stephen Brookes (CMU) Frank Pfenning (CMU)
Bard Bloom (Cornell) Amir Pnueli (Weizmann Institute)
Stephen Bloom (Stevens Institute) G. M. Reed (Oxford)
Matthew Hennessy (Sussex) Edmund Robinson (Sussex)
Gary Leavens (Iowa State) A. W. Roscoe (Oxford)
Michael Mislove (Tulane) Robert Tennent (Edinburgh)
John Mitchell (Stanford) Glynn Winskel (Aarhus)
Philip Mulry (Colgate) Steven Vickers (Imperial College)
Frank Oles (IBM) Guo Qiang Zhang (Michigan)
Three copies of extended abstracts of not more than 12 pages should be
sent to either of the Program Co-chairs by November 15, 1992. Authors will be
notified of acceptance or rejection of their submissions by February 1, 1993.
As in the past, final versions of accepted papers will be due after the
meeting, during the summer of 1993, in order to allow authors to incorporate
comments and suggestions which arise during their presentations. The addresses
for submissions are:
Michael Main Austin Melton
Department of Computer Science Department of Computer Science
University of Colorado Michigan Technological University
Boulder, CO 80309 Houghton, MI 49931
main@boulder.colorado.edu austin@cs.mtu.edu
We anticipate publishing a Proceedings of the Conference as a volume
in the Lecture Notes in Computer Science, as was the case for the other
conferences (cf. LNCS 239, 298, 442 and 598).
General inquiries about MFPS IX can be addressed to:
mfps@tulmath.math.tulane.edu