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
- Nick Benton, Microsoft Research, Cambridge, UK
- Andy Gordon, Microsoft Research, Cambridge, UK
- Elham Kashefi, University of Edinburgh, UK
- Prakash Panangaden, McGill University, Canada
- Alexandra Silva, Radboud University, Nijmegen, The Netherlands
- Dexter Kozen, Cornell University, USA
Special Sessions
There will be two special sessions at the meeting, each associated with one of the plenary talks:
- Probabilistic computing, organized by Andy Gordon.
- Quantum computing, organized by Elham Kashefi.
There also will be a series of tutorial lectures during the meeting. The topic and list of speakers are still being arranged.
Important Dates
Deadline for full submissions: Friday, April 11, 2014Notification of accepted papers: Friday, May 9, 2014Preliminary proceedings version due: Monday, May 19, 2014- Conference: June 12-15, 2014
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
- Steve Awodey, Carnegie Mellon University
- Andrej Bauer, University of Ljubljana
- Stephen Brookes, Carnegie Mellon University
- Pierre Clairambault, ENS Lyon
- Martín Escardo, University of Birmingham
- Fabio Gadducci, University of Pisa
- Ichiro Hasuo, University of Tokyo
- Martin Hofmann, LM University Muenchen
- Bart Jacobs (Co-chair), Radboud University Nijmegen
- Achim Jung, University of Birmingham
- Shin-ya Katsumata, Kyoto University
- Naoki Kobayashi, University of Tokyo
- Dexter Kozen, Cornell University
- Conor McBride, University of Strathclyde
- Guy McCusker, University of Bath
- Annabelle McIver, Macquarie University
- Catherine Meadows, Naval Research Laboratory
- Stefan Milius, University Erlangen-Nuernberg
- Michael Mislove, Tulane University
- Rasmus Mogelberg, IT University of Copenhagen
- Joel Ouaknine, Oxford University
- Prakash Panangaden, McGill University
- Daniela Petrisan, ENS Lyon
- Alexandra Silva (Co-chair), Radboud University Nijmegen
- Alex Simpson, University of Edinburgh
- Sam Staton (Co-chair), Radboud University Nijmegen
- Jamie Vicary, University of Oxford
- Nobuko Yoshida, Imperial College London
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. 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.
Accommodation
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).
