[Prev][Next][Index][Thread]

Call for papers: MFPS91



Date: Tue, 17 Jul 90 13:51:09 EDT
To: CMU-THEORYNET@theory.cs.cmu.edu, logic@theory.lcs.mit.edu,
        types@theory.lcs.mit.edu

			CALL FOR PAPERS: MFPS91
		Mathematical Foundations of Programming Semantics

			Carnegie Mellon University
			Pittsburgh, Pennsylvania
			  March 25--28, 1991


This conference is the seventh in a series intended to bring together 
computer scientists and mathematicians for discussion of research problems, 
results and directions in programming language semantics. 
A major goal of the series is to provide a forum for researchers in all 
areas surrounding semantics to report on their research progress, 
and to improve communication and interactions between mathematicians and 
computer scientists who work in these areas. 

The following have agreed to be invited speakers at MFPS91:

	Jon Barwise, Indiana University
	John Reynolds, Carnegie Mellon University
	Dana Scott, Carnegie Mellon University
	Mitchell Wand, Northeastern University
	Glynn Winskel, Aarhus University

Papers are solicited on topics related to programming language semantics, 
including:

	Order-theoretic, topological and categorical approaches
	Applications to programming language design and implementation
	Program analysis and verification
	Theory of concurrency
	Types and polymorphism

This list is not exhaustive, and papers in related areas that fit 
the general intentions of the conference are welcome. In particular,
we encourage submission of papers in areas represented by the invited
speakers.

Authors should mail 5 copies of a preliminary version of a paper,
limited to 12 typed or typeset pages, to:

	Michael Main			
	Computer Science Dept., CB430	
	University of Colorado		
	Boulder, CO 80309		
	303-492-7579			
	Internet: main@boulder.colorado 

Papers should provide sufficient detail for the program committee to
assess the merits of the research, and should contain appropriate references.
The deadline for submission of abstracts is October 15, 1990.
Authors will be notified of acceptance or rejection by January 5, 1991.
We expect to publish the proceedings of the conference as a volume of
Springer-Verlag's Lecture Notes in Computer Science. The date for
submission of final versions of accepted papers will be announced later.

The program committee includes:

Samson Abramsky,  Imperial College
Boumediene Belkhouche,  Tulane University
Bard Bloom,  Cornell University
Stephen Brookes,  Carnegie Mellon University
Carl Gunter,  University of Pennsylvania
Michael Main, University of Colorado
Austin Melton, Kansas State University
Michael Mislove,  Tulane University
John Mitchell,  Stanford University
Philip Mulry,  Colgate University
Frank Oles,  IBM Yorktown Heights
Ana Pasztor,  Florida International University
Bill Roscoe,  Oxford University
Edmund Robinson,  Sussex University
Andre Scedrov,  University of Pennsylvania
David Schmidt,  Kansas State University
Robert Tennent,  Queens University

Further information may be obtained from the general chairmen:

	Stephen Brookes			Michael Mislove
	School of Computer Science	Mathematics Department 
	Carnegie Mellon University	Tulane University
	Pittsburgh, PA 15213		New Orleans, LA 70118
	412-268-8820			504-865-5727
	Internet: brookes@cs.cmu.edu	Internet: mwm@tulmath.math.tulane.edu