MFPS FInal Call for Papers

[MFPS <mfps@math.tulane.edu>]

Dear Colleagues,
  Below is the Final Call for Papers for MFPS 25, which will be held  
at Oxford, UK from April 3 - 7, 2009. We encourage submissions in all  
areas relating to the topics of the meeting.
   Best regards,
   Mike MIslove

= 
= 
= 
= 
= 
= 
= 
= 
========================================================================

		  FIRST CALL FOR PAPERS

			        MFPS XXV
	    http://www.math.tulane.edu/~mfps/mfps25

		   Twenty-fifth Conference on the
		     Mathematical Foundations of
			Programming Semantics

		            University of Oxford
			          Oxford, UK
                              April 3 - 7, 2009
			 	
    Partially Supported by US Office of Naval Research


In commemoration of the founding of denotational semantics in the work  
of Dana Scott and Christopher Strachey, the Twenty-fifth Conference on  
the Mathematical Foundations of Programming Semantics will take place  
on the campus of the University of Oxford, Oxford UK from April 3 - 7,  
2009. MFPS conferences are devoted to those areas of mathematics,  
logic, and computer science that are related to models of computation,  
in general, and to the semantics of programming languages, in  
particular. The series has particularly stressed providing a forum  
where researchers in mathematics and computer science can meet and  
exchange ideas about problems of common interest. As the series also  
strives to maintain breadth in its scope, the conference strongly  
encourages participation by researchers in neighboring areas.

TOPICS include, but are not limited to, the following: biocomputation;  
concurrent and distributed computation; constructive mathematics;  
domain theory and categorical models; formal languages; formal  
methods; game semantics; lambda calculus; logic; probabilistic  
systems; process calculi; programming-language theory; quantum  
computation; security; topological models; type systems; type theory.

The INVITED SPEAKERS for MFPS XXV are

Neil Ghani, Strathclyde
Marta Kwiatkowska, Oxford
Catherine Meadows, Naval Research Lab
Michael Mislove, Tulane
Dana Scott, CMU
David Schmidt, Kansas State

In addition, there will be four SPECIAL SESSIONS:

- A Session Honoring Bob Tennent on the occasion of his 65th birthday  
year, which is being organized by Dan Ghica (Birmingham) and Pete  
O'Hearn (QMW), and will begin with David Schmidt's plenary talk.

- A Session on Security will be held in conjunction with Catherine  
Meadow's plenary talk. It is being organized by Catherine Meadows  and  
A. W. Roscoe (Oxford).

- A Session Honoring Michael Mislove on the occasion of his 65th  
birthday year, which is being organized by Achim Jung (Birmingham),  
Samson Abramsky (Oxford) and Steve Brookes (CMU). It will be held in  
conjunction with Dana Scott's plenary address.

- A Session on Mathematical Structured Programming will be held in  
conjunction with Neil Ghani's plenary address. It is being organized  
by Neil Ghani and  will consist of next spring's meeting of MSFP.

In addition, there will be five TUTORIAL TALKS on Quantum Information  
and Quantum Computing. These are being organized by Samson Abramsky  
(Oxford) and Bob Coecke (Oxford).  The talks will be given at the  
start of each day of the meeting. These talks are aimed at providing  
background for participants to take part in the Workshop on Quantum  
Physics and Logic (QPL VI) immediately following MFPS in Oxford.

The remainder of the program will consist of papers selected by the
following PROGRAM COMMITTEE

Andrej Bauer,  University of Ljubljana, Slovenia
Stephen Brookes, CMU, USA
Kostas Chatzikokolakis, TUE, The Netherlands
Yuxin Deng, Shanghai Jiao Tong University, China
Derek Dreyer, MPI-SWS, Germany
Daniele Gorla, Sapienza Università di Roma, Italy
Jean Goubault-Larrecq, ENS Cachan, France
Joshua Guttman, MITRE, USA
Matthew Hennessy, TCD, Ireland
Jean Krivine, Harvard Medical School, USA
Achim Jung, University of Birmingham, UK
Pasquale Malacaria, Queen Mary University of London,  UK
Keye Martin NRL, USA
Catherine Meadows, NRL, USA
Mike Mislove, Tulane University, USA
MohammadReza Mousavi, TUE, The Netherlands
Joel Ouaknine, Oxford
Catuscia Palamidessi, INRIA, France  (chair)
Prakash Panangaden, McGill University, Canada
Peter Selinger, Dalhousie University, Canada
Daniele Varacca, Université Paris Diderot, France

from submissions received in response to this Call for Papers.

                                          SUBMISSIONS
The submissions are now open, and they are organized through  
EasyChair. To submit a paper for the meeting, point your browser at
http://www.easychair.org/conferences/?c=.120373;conf=mfps25

IMPORTANT DATES:

- January  9		Title and Short Abstract submission deadline

- January 16 		Paper submission deadline

- February 20        Notification to authors

- March 13		Preliminary proceedings version due


Mathematical Foundations of
    Programming Semantics
http://www.math.tulane.edu/~mfps