Mathematical Foundations of Programming Semantics
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.
- Dana Scott, Carnegie Mellon University
- David Basin, ETH Zürich
- Jan Rutten, CWI Amsterdam
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.
- Deadline for titles and short abstracts:
Monday, March 25, 2013
- Deadline for full submissions:
Tuesday, April 2, 2013Submissions closed
- Notification of accepted papers: Monday, April 29, 2013
- Preliminary proceedings version due: Monday, May 20, 2013
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.
- Andrej Bauer, University of Ljubljana
- Nick Bezhanishvili, Utrecht University
- Lars Birkedal, Aarhus University
- Marcello Bonsangue, Leiden University
- Stephen Brookes, Carnegie Mellon University
- Venanzio Capretta, University of Nottingham
- Luca Cardelli, Microsoft Research
- Volker Diekert, University Stuttgart
- Dan Ghica, University of Birmingham
- Jane Hillston, University of Edinburgh
- Radha Jagadeesan, DePaul University
- Patricia Johann, University of Strathclyde
- Achim Jung, University of Birmingham
- Dexter Kozen, Cornell University (chair)
- Daniel Leivant, Indiana University, Bloomington
- Catherine Meadows, Naval Research Laboratory
- Paul-André Melliès, CNRS Université Paris Diderot
- Michael Mislove, Tulane University
- Carroll Morgan, University of New South Wales
- Paulo Oliva, Queen Mary University of London
- Luke Ong, Oxford University
- Joel Ouaknine, Oxford University
- Prakash Panangaden, McGill University
- Andrea Schalk, University of Manchester
- Phil Scott, University of Ottawa
- Ana Sokolova, University of Salzburg
- James Worrell, Oxford University
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 is now active. To register for the meeting, please visit the registration site.
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.
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).