Twenty-fifth Conference on the
Mathematical Foundations of
Programming Semantics
University of Oxford
Oxford, UK
April 3 - 7, 2009
 
Partially Supported by the
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 at the Oxford University Computing Laboratory, 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.
 
The INVITED SPEAKERS for MFPS XXV are
 
Neil Ghani
Strathclyde
 
Marta Kwiatkowska
Oxford
 
Catherine Meadows
Naval Research Laboratory
 
Michael Mislove
Tulane
 
Dana Scott
CMU
 
David Schmidt
Kansas State
In addition, there will be four special sessions:
 
    •    A Special Session honoring Bob Tennent on the occasion of his 65th birthday year, led off by David Schmidt’s plenary lecture. The session is being organized by Dan Ghica (Birmingham) and Peter O’Hearn (QMW), and the speakers include John Reynolds (CMU), Claudio Hermida, Gordon Plotkin (Edinburgh), Peter O’Hearn (QMW, London) and Dan Ghica (Birmingham).
 
    •    A Special Session on Security will be held in conjunction with Catherine Meadows’ plenary talk. It is being organized by Catherine Meadows and A. W. Roscoe (Oxford). It includes talks by Samson Abramsky (Oxford), Andrew Ker (Oxford), Catuscia Palamidessi (Ecole Polytechnique) and A. W. Roscoe.
 
    •    A Special Session honoring Michael Mislove on the occasion of his 65th birthday year, led off by Dana Scott’s plenary lecture. This session is being organized by  Samson Abramsky (Oxford), Achim Jung (Birmingham) and Steve Brookes (CMU). It includes talks by Jimmie Lawson (LSU), Keye Martin (NRL), Dusko Pavlovic (Kestrel and Oxford) and James Worrell (Oxford).
 
    •    A Special Session on Mathematically Structured Programming in conjunction with Neil Ghani’s plenary talk. The speakers include Ana Bove (Chalmers), Patricia Johann (Strathclyde), Dirk Pattinson (Imperial) and John Longley (Edinburgh).  
  
Also, there will be a series of Tutorial Lectures on Quantum Information and Quantum Computing. These will be given at the beginning of each day of the meeting. The lectures are being organized by Samson Abramsky (Oxford) and Bob Coecke (Oxford). The speakers include Ross Duncan (Oxford), Keye Martin (NRL), Prakash Panangaden (McGill) Simon Perdrix (Oxford) and Peter Selinger (Dalhousie). These lectures are meant to provide the background necessary to prepare participants for QPL IV, the fourth Workshop on Quantum Physics and Logic, which will take place in Oxford immediately following MFPS.
 
The remainder of the program will consist of papers selected by the Program Committee in response to this Call. The Committee is members are
    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
    Achim Jung, University of Birmingham, UK
    Jean Krivine, Edinburgh and Harvard Medical School, USA
    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
    Joël Ouaknine, Oxford, UK
    Catuscia Palamidessi, INRIA, France  (chair)
    Prakash Panangaden, McGill University, Canada
    Peter Selinger, Dalhousie University, Canada
    Daniele Varacca, Université Paris Diderot, France
 
The Organizers of the MFPS series are Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane) and Prakash Panangaden (McGill). The local arrangements for MFPS 25 are being overseen by Samson Abramsky (Oxford).