Mathematical Foundations of Programming Semantics
Twenty-ninth Conference

Tulane University
New Orleans, Louisiana, USA
June 23–25, 2013

Partially Supported by the US Office of Naval Research

The Twenty-Ninth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIX) will take place on the campus of Tulane University, New Orleans, Louisiana, USA from June 23 to June 25, 2013. The conference will be co-located with the 2013 Symposium on Logic in Computer Science (LICS 2013) and the 2013 Computer Security Foundations Symposium (CFS 2013). MFPS will have a number of invited speakers and special sessions, one of which will be a shared session with LICS celebrating Dana Scott's 80th birthday year.

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; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, networks, and security, for example.

Plenary Speakers

Special Sessions

We will share a special session with LICS honoring Dana Scott on June 25, with Andrew Pitts, Steve Awodey, Andrej Bauer, and Bob Harper as speakers.

There will be a special session on coalgebras organized by Jan Rutten and Alexandra Silva on June 24. This is also a joint MFPS-LICS event.

Important Dates

Submission Information

Submissions for MFPS 29 are closed.

Submissions should be prepared using the ENTCS Macros, available from the ENTCS website. Submissions should be in the form of a pdf file not exceeding 15 pages.

Program Committee


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. Papers for the proceedings should be prepared using the ENTCS macros, available from the ENTCS website. There is no page limit for the preliminary proceedings.


Information about accommodations is available here.

Getting to the Meetings for MFPS, LICS and CSF Participants

This is some information about getting to the meeting on the first day.

For those of you staying at the Astor Hotel, there are shuttle buses to bring you to the campus each morning and to return you to the hotel at the end of each day's session. The buses will depart at 7:15am and at 7:30am on Sunday and Monday, the first two days of the meeting. The departure times will be a bit later on Tuesday through Saturday, due to a later start time of the meetings themselves. A detailed shuttle bus schedule is included in the registration materials you will receive when you register.

A continental breakfast will be available in the 1834 Club each day of the meeting, starting at 8am. On Sunday and Monday, the talks begin at 8:30am, and on Tuesday - Saturday, they begin at 9am.

Registration will be available each morning from 8am until after the mid-morning break at a table outside the 1834 Club, which is in the University Center.

Conference Registration

Conference registration is now active. To register for the meeting, please visit the registration site.

Additional Activities

New Orleans, also known as “The Big Easy,” is a major city and tourist destination in the United States with a unique local culture. It is especially known for its music, nightlife, architecture, and cuisine. For more information, please visit the New Orleans tourist website.

Organizing Committee

The Organizing Committee for MFPS includes Andrej Bauer (Slovenia), Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane), Joel Ouaknine (Oxford) and Prakash Panangaden (McGill). The local arrangements chair for MFPS XXIX is Michael Mislove (Tulane).