25-28 May 2010
Pittsburgh PA, U.S.A.
First 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 Honouring 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), Paolo Oliva (Queen Mary), and Monika
Seisenberger (Swansea).
PROGRAM COMMITTEE:
Amal Ahmed, U Indiana, 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).