Mathematical Foundations of Programming Semantics
Thirtieth Conference

Cornell University
Ithaca, New York, USA
June 12–15, 2014

The Thirtieth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX) will take place on the campus of Cornell University, Ithaca, New York, USA from June 12 to June 15, 2014. MFPS will have a number of invited speakers and special sessions.

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

Invited Speakers

Special Sessions

There will be two special sessions at the meeting, each associated with one of the plenary talks:

There also will be a series of tutorial lectures during the meeting. The topic and list of speakers are still being arranged.

Important Dates

Submission Information

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. Submissions are open on the EasyChair website.

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 travel and accommodation is available here.

Conference Registration

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

Local Information

Contact information for the conference organizers, as well as information about local transportation, dining, wireless connectivity, etc. can be found here.

Additional Activities

A dinner with wine pairing is planned for the evening of Friday, June 13 at the Glenora Winery on Seneca Lake. Guests will enjoy a menu hand-written by Executive Chef Rodriguez of The Inn at Glenora Wine Cellars. Each course will be paired with one of Glenora’s wines. The cost is $75 per person. Please sign up on the registration page.

Ithaca sits on the southern shore of Cayuga Lake, one of the Finger Lakes, in Central New York. Ithaca is best known for being home to Cornell University, an Ivy League school of over 20,000 students. It is a picturesque town with an amazing concentration of fabulous restaurants. The Finger Lake region offers a lot to do, including outdoor activities and wine trails. For more information, please visit the Finger Lakes tourist website and the Ithaca and Tompkins county official website. If you have a chance visit the Ithaca Farmer's market!

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 XXX is Dexter Kozen (Cornell).