34th Conference on the
Mathematical Foundations of Programming Semantics
MFPS 2018

Halifax, Canada
June 6–9, 2018

The 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2018) will take place at Dalhousie University in Halifax, Canada, from June 6–9, 2018.

MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged.

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

MFPS 2018 will be co-located with the 15th International Conference on Quantum Physics and Logic (QPL 2018), which takes place from June 3–7. The two conferences will have a joint special session and a joint invited speaker.

Important dates

  • April 6: paper submission
  • April 30: application for student support
  • May 11: notification of authors
  • May 15: early registration deadline
  • May 25: final papers ready
  • June 6–9: conference

Invited plenary speakers

Registration and local information

Registration is now open. Please follow the link to the Registration Page. The early registration deadline is May 15. The registration fees are as follows:

  • Regular participants: $100 (MFPS only) or $120 (MFPS and QPL).
  • Students: $60 (MFPS only) or $80 (MFPS and QPL).
  • After May 15: all registration fees increase by $10.

There will be a joint MFPS/QPL conference dinner on Wednesday, June 6. Dinner tickets can be purchased on the Registration Page. You can also buy additional dinner tickets for any guests.

We have reserved a block of rooms at the University Residences. For details, as well as a list of hotels and other accommodation choices, see the Accommodations Page.

All MFPS talks will be held in room 1009 of the Kenneth C. Rowe Management building at 6100 University Avenue. Here is a map of the area:

Student support

Graduate student participation is encouraged at MFPS. Students will pay a reduced registration fee. We will also be able to provide limited support for travel and accommodations to some students. If you are interested in this, please send a request to selinger@mathstat.dal.ca by April 30. Please also arrange for a letter of reference from your supervisor, or appropriate other person, to the same email address, explaining whether the student has access to funding from local sources and how much.

Special sessions

Our plan is to organize a series of special sessions, on the following topics: gradual typing, session types, differentiable programs, and quantum programming languages (joint with QPL 2018). Special session speakers will be announced in due course.


Submissions should be prepared using the ENTCS Macros, and should be up to 12 pages long excluding bibliography and appendices. Submissions will be via EasyChair. (The original call for papers, in reference to an older style file, suggested up to 15 pages. Authors may still submit up to 15 pages using the old style file. But they are encouraged to use the latest ENTCS style file, dated 6 March 2018, and up to 12 pages, which is actually more generous because of font and margin differences.)


A preliminary version will be distributed at the meeting. Final proceedings will be published in ENTCS after the meeting. ENTCS is open access.


Program Committee

  • Sam Staton, University of Oxford, UK (chair)
  • Marc Bagnol, ENS Lyon, France
  • Andrej Bauer, University of Ljubljana, Slovenia
  • Dariusz Biernacki, University of Wroclaw, Poland
  • Aleš Bizjak, Aarhus University, Denmark
  • Valentin Blot, Université Paris-Sud, France
  • Steve Brookes, Carnegie Mellon University, USA
  • Pierre Clairambault, CNRS and ENS Lyon, France
  • Ilias Garnier, Sivienn Inc. and ENS Paris
  • Sergey Goncharov, FAU Erlangen-Nürnberg, Germany
  • Tobias Heindel, Universität Leipzig, Germany
  • Tom Hirschowitz, Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, France
  • Patricia Johann, Appalachian State University, USA
  • Achim Jung, University of Birmingham, UK
  • Ohad Kammar, University of Oxford, UK
  • Shin-Ya Katsumata, National Institute of Informatics, Japan
  • Catherine Meadows, NRL, USA
  • Michael Mislove, Tulane University, USA
  • Joel Ouaknine, MPI-SWS, Germany
  • Daniela Petrisan, Université Paris Diderot - Paris 7, France
  • Azalea Raad, MPI-SWS, Germany
  • Tarmo Uustalu, Reykjavik University, Iceland
  • Benoît Valiron, LRI - CentraleSupélec, Univ. Paris Saclay, France
  • Valeria Vignudelli, CNRS/ENS Lyon, France
  • Noam Zeilberger, University of Birmingham, UK

Steering Committee

  • Achim Jung, Birmingham, UK
  • Andrej Bauer, Ljubljana, Slovenia
  • Catherine Meadows, NRL, USA
  • Joel Ouaknine, Oxford, UK
  • Michael Mislove, Tulane, USA
  • Prakash Panangaden, McGill, Canada
  • Steve Brookes, CMU, USA

Local Organizers

  • Neil J. Ross
  • Peter Selinger


We gratefully acknowledge financial support from:


For further information about MFPS 2018, please email sam.staton@cs.ox.ac.uk.