MFPS FInal Call for Papers

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

Dear Colleagues,
   
This is the Final Call for Papers for MFPS 27. The deadline for submitting titles and short abstracts in next Monday, February 21, and the deadline for full papers is the following Monday, February 28. Below are the details:

             FINAL CALL FOR PAPERS
                         MFPS XXVII
     http://www.math.tulane.edu/~mfps/MFPS27

         Twenty-seventh Conference on the
           Mathematical Foundations of
              Programming Semantics

           Carnegie Mellon University
         Pittsburgh, Pennsylvania, USA
              25 May - 28 May 2011

The Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics will take place on the campus of Carnegie Mellon University, Pittsburgh, PA from 25 May to 28 May 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 neighbouring areas.

TOPICS include, but are not limited to, the following: biocomputation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example.

INVITED SPEAKERS:

Stephen Brookes, CMU
Jérôme Feret, INRIA
John Reynolds, CMU
Alex Simpson, Edinburgh
Stephanie Weirich, Penn
Steve Zdancewic, Penn

SPECIAL SESSIONS:

* A Special Session Honoring John Reynolds on his 75th birthday, organised by Stephen Brookes (CMU) and Peter O’Hearn (QMW, London).

* A Special Session on Systems Biology, held in conjunction Jérôme Feret’s plenary talk, and organised by Jean Krivine (Paris VII & CNRS).

* A Special Session on Security, held in conjunction with Steve Zdancewic’s plenary talk, and organised by Catherine Meadows (NRL).

TUTORIALS: There will be four tutorials on Programs from Proofs that will be given during the course of the meeting. The lectures are organised by Martin Escardó and Achim Jung (Birmingham). The speakers include Ulrich Berger (Swansea), Martin Escardó (Birmingham), Paulo Oliva (Queen Mary), and Monika Seisenberger (Swansea).

PROGRAM COMMITTEE:

Amal Ahmed, Indiana U, USA
Lars Birkedal, ITU, Denmark
Stephen Brookes, Carnegie Mellon U, USA
Corina Cirstea, U Southampton, 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 & CNRS, 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

IMPORTANT DATES:

- 21 February 2011      Title and Short Abstract submission deadline
- 28 February 2011      Paper submission deadline
- 31 March 31 2011      Notification to authors
- 15 April 15 2011      Preliminary proceedings version due

SUBMISSIONS should be prepared using ENTCS Macros, available from http://www.entcs.org. Submissions should be in the form of a PDF file not exceeding 15 pages in length. Submissions are now open on the EasyChair website:

http://www.easychair.org/conferences/?conf=mfps2011

PROCEEDINGS: 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.

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

MFPS
mfps@math.tulane.edu




MFPS
mfps@math.tulane.edu



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]