[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