Call for Participation


Twenty-third Conference on the 
Mathematical Foundations of
Programming Semantics

Tulane University
New Orleans, LA USA
April 11 - April 14, 2007

Partially Supported by

US Office of Naval Research

The Twenty-third Conference on the Mathematical Foundations of Programming Semantics will take place on the campus of Tulane University, New Orleans, LA USA from Wednesday, April 11 through Saturday, April 14, 2007.

The MFPS conferences are devoted to those areas of mathematics, logic, and computer science which 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; categorical models; concurrent and distributed computation; constructive mathematics; domain theory; formal languages; formal methods; game semantics; lambda calculus; logic; non-classical computation; probabilistic systems; process calculi; program analysis; programming-language theory; quantum computation; rewriting theory; security; specifications; topological models; type systems; type theory.

The invited speakers for MFPS XXIII are

Stephen Brookes

Jane Hillston

John Mitchell

Gordon Plotkin

John Power

Tutorial Day

In addition to the MFPS program, there will be a Tutorial Day on April 10 devoted to Domain Theory. There will be four lectures on various aspects of domains, delivered by Achim Jung (Birmingham), Alex Simpson Edinburgh, Andrej Bauer Slovenia and Giuseppe Rosolini Genoa. There will be no charge for attending the Tutorial Day; all interested parties are welcome to attend. But we do ask that you register for the Tutorial Day so we will know how many participants to expect.

Accepted Papers and Conference Program

For a list of the accepted papers and program for the meeting, follow this link.


Registration for MFPS 23 is now open. Hotel rooms at the conference hotel will be avaiable at the conference rate only until March 16, 2007, so we strongly advise registering now. To register for the meeting and for instructions about reserving a hotel room, please follow this link.

Program Committee

The Program Committee chair for MFPS XXIII is Marcelo Fiore (Cambridge). The members of the Program Committee include:

Samson Abramsky, Oxford      Michael Mislove, Tulane
Andrej Bauer, Ljubjana       John Mitchell, Stanford
Stephen Brookes, CMU       Eugenio Moggi, Genova
Pierre-Louis Curien, CNRS & Paris 7       Laurent Regnier, Marseilles
Andrzej Filinski, Copenhagen       Giuseppe Rosolini, Genova
Marcelo Fiore, Cambridge, Chair       David Sangiorgi, Bologna
Masahito Hasegawa, Kyoto       Philip Scott, Ottawa
Achim Jung, Birmingham       Daniele Varacca, Paris 7
Ursula Martin, QM London       James Worrell, Oxford
Catherine Meadowws, NRL       Steve Zdancewic, Penn


The Proceedings of MFPS XXII will be published as a volume of the Electronic Notes in Theoretical Computer Science. This year we will publish the final Proceedings at the time of the meeting; these proceedings will be available in hard copy, with each participant receiving a copy at the meeting. The hard copy version will be printed using the facilities of an on-demand printing company. For this reason, there will be a strict deadline for receiving the final version of each accepted paper, so that the hard copy version of the Proceedings can be prepared in time.

The Proceedings will also appear online as an ENTCS volume.

The Organizing Committee for MFPS consists of Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane) and Prakash Panangaden (McGill). The local arrangements for MFPS XXIII are being overseen by Michael Mislove (Tulane).

Questions about the conference can be addressed to MFPS.