Twenty-sixth Conference on the 
Mathematical Foundations of
Programming Semantics
University of Ottawa
Ottawa, Ontario, Canada
May 6 - 10, 2010
Partially Supported by the
US Office of Naval Research
and the Fields Institute
The Twenty-sixth Conference on the Mathematical Foundations of Programming Semantics will take place on the campus of the University of Ottawa, Canada from May 6 - 10, 2010. 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.

Amal Ahmed

Martin Escardó
Cédric Fournet
Microsoft, Paris
Pieter Hofstra

Jean Krivine
PPS, Paris 7
Keye Martin
In addition, there will be four special sessions:
    •    A Special Session on Logic and Category Theory will be held in conjunction Pieter Hofstra’s plenary talk. The session is being organized by Rick Blute and Phil Scott (Ottawa).
    •    A Special Session on Domain Theory will be held in conjunction with Martin Escardó’s plenary talk. It is being organized by Dr. Escardó. 
    •    A Special Session on Systems Biology will be held in conjunction Jean Krivine’s plenary talk. It is being organized by Dr. Krivine.
    •    A Special Session on Security will be held in conjunction with Cédric Fournet’s  plenary talk. It is being organized by Catherine Meadows (NRL). 
Also, there will be four Tutorial Lectures on Model Checking and Verification that will be given during the course of the meeting. The lectures are being organized by Prakash Panangaden (McGill). The speakers include Stephen Brookes (CMU), Amy Felty (Ottawa), Joel Ouaknine (Oxford), James Worrell (Oxford) and Professor Panangaden.
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

    Ulrich Berger, U Swansea, UK
     Stephen Brookes, Carnegie Mellon U, USA
    Venanzio Capretta, U Nottingham, UK
    Vincent Danos, U Edinburgh, UK
    Thomas Hildebrandt, IT University, Copenhagen
    Achim Jung, U Birmingham, UK
    Guy McCusker, U Bath, UK
    Catherine Meadows, NRL, USA
    Paul-André Melliès, Paris 7, France
    Michael Mislove, Tulane U, USA
    Peter O'Hearn, Queen Mary U London, UK
    Prakash Panangaden, McGill U, Canada
    Catuscia Palamidessi, INRIA, France
    Brigitte Pientka, McGill U, Canada
    Benjamin Pierce, U Pennsylvania, USA
    Davide Sangiorgi, INRIA and U Bologna, Italy
    Vladimiro Sassone, U Southampton, UK
    Andrea Schalk, U Manchester, UK
    Philip Scott, U Ottawa, Canada
    Peter Selinger, Chair, Dalhousie U, Canada
    Benoît Valiron, LIG Grenoble, France

Submissions will be organized through EasyChair, and further information will be sent out nearer the time that submissions are being accepted.


- February 5, 2010              Title and Short Abstract submission deadline

- February 12, 2010            Paper submission deadline

- March 15, 2010                Notification to authors

- April 2, 2010                     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 Rick Blute and Phil Scott (Ottawa).