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.

The INVITED SPEAKERS for MFPS XXVI are

Amal Ahmed

Indiana

Martin Escardo

Birmingham

Cedric Fournet

Microsoft, Paris

Pieter Hofstra

Ottawa

Jean Krivine

PPS, Paris 7

Keye Martin

NRL

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 Escardo’s plenary talk. It is being organized by Dr. Escardo.

    •    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 Cedric Fournet’s  plenary talk. It is being organized by Catherine Meadows (NRL).

 

Also, there will be five 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 (Carnegie Mellon), 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 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 are now open. You can submit a paper using EasyChair. The URL is EasyChair - MFPS 26

IMPORTANT DATES:

- 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 http://www.entcs.org

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 26 are being overseen by Rick Blute and Phil Scott (Ottawa).

Questions about MFPS may be sent Here.