Twenty-seventh Conference on the 
Mathematical Foundations of
Programming Semantics
Carnegie Mellon University
Pittsburgh, PA
May 25 - 28, 2011
Partially Supported by the
US Office of Naval Research
The Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics will take place on the campus of the Carnegie Mellon University, Pittsburgh, PA from May 25 - 28, 2011. 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.

Stephen Brookes

Jérôme Feret
John Reynolds
Alex Simpson

Stephanie Weirich
Steve Zdancewic
In addition, there will be three special sessions:
    •    A Special Session honoring John Reynolds on his 75th birthday is being organized by Stephen Brookes and Peter O’Hearn (QMW, London).
    •    A Special Session on Systems Biology will be held in conjunction with Jérôme Feret’s plenary talk. It is being organized by Jean Krivine (Paris VII & PPS). Among the invited speakers will be Edmund Clarke (CMU). 
    •    A Special Session on Security will be held in conjunction with Steve Zdancewic’s  plenary talk. It is being organized by Catherine Meadows (NRL).
Also, there will be four Tutorial Lectures on Programs from Proofs that will be given during the course of the meeting. The lectures are being organized by Martin Escardó and Achim Jung (Birmingham). The speakers include Ulrich Berger (Swansea), Martin Escardó, Paulo Oliva (Queen Mary) and Monika Seisenberger (Swansea).
The remainder of the program will consist of papers selected by the Program Committee in response to the Call for Papers. The Committee is members are

    Amal Ahmad, Indiana U, USA
     Lars Birkedal, ITU, Denmark
    Stephen Brookes, Carnegie Mellon U, USA
    Corina Cirstea, U Southhampton, UK
    Bob Coecke, U Oxford, UK
    Véronique Cortier, CNRS & Loria, France
    Vincent Danos, U Edinburgh, UK
    Anupam Datta, Carnegie Mellon U, USA
    Josée Desharnais, U Laval, Canada
    Philippa Gardner, Imperial College, UK
    Dan Ghica, U Birmingham, UK
    Jane Hillston, U Edinburgh, UK
    Bart Jacobs, Radboud U, Netherlands
    Achim Jung, U Birmingham, UK
    Jean Krivine, Paris 7 & PPS, France
    Catherine Meadows, NRL, USA
    Michael Mislove, Tulane U, USA
    Peter O'Hearn, Queen Mary U London, UK
    Joël Ouaknine, U Oxford, UK (Chair)
    Catuscia Palamidessi, INRIA, France
    Prakash Panangaden, McGill U, Canada
    Grigore Rosu, U Illinois, USA
    Davide Sangiorgi, U Bologna, Italy
    Peter Sewell, U Cambridge, UK
    Gianluigi Zavattaro, U Bologna, Italy

Submissions are organized through EasyChair; the web site is open for submissions. 


- February 21, 2011            Title and Short Abstract submission deadline

- February 28, 2011            Paper submission deadline

- March 31, 2011                Notification to authors

- April 15, 2011                   Preliminary proceedings version due

There will be a preliminary proceedings of the conference papers that will be distributed at the meeting, with a final proceedings published in ENTCS after the meeting. Submissions to the meeting should be prepared using ENTCS Macros, which are available from the ENTCS Macro Web Pages 
Submissions should be in the form of a pdf file not to exceed 15 pages in length. 

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 XXVI are being overseen by Stephen Brookes (CMU).