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 1: abstract submission
  • April 6: paper submission
  • May 11: notification of authors
  • May 25: final papers ready
  • June 6–9: conference

Invited plenary speakers

TBA

Tutorial speakers and special sessions

TBA

Joint session with QPL

There will be a joint session with QPL 2018. Details TBA.

Submissions

Submissions should be prepared using the ENTCS Macros, in the form of a PDF file not exceeding 15 pages. Submissions will be via EasyChair.

Proceedings

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

Registration and local information

TBA

There will be a joint MFPS/QPL conference dinner on Wednesday, June 6.

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

Committees

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

  • Julien Ross
  • Peter Selinger

Sponsors

We gratefully acknowledge financial support from:

Contact

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