MFPS XXXIV 2018 : Mathematical Foundations of Programming Semantics Call for papers The 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV) will take place at Dalhousie University in Halifax, Canada, from June 6–9, 2018. 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. 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. Conference home page: https://www.mathstat.dal.ca/mfps2018/ ## SUBMISSION ### Important dates: * April 1: abstract submission * April 6: paper submission * May 11: notification of authors * May 25: final papers ready * June 6–9: conference ### Submitting Submissions should be prepared using the ENTCS Macros (http://www.entcs.org/) and should be up to 12 pages long excluding bibliography and appendices. Submissions is via EasyChair (https://easychair.org/conferences/?conf=mfps34). NB * 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. * Although QPL and MFPS are co-located, they have different submission sites and programme committees. ### Proceedings 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: * 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 * Sam Staton, University of Oxford, UK (chair) * 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 ## INVITED SPEAKERS and SPECIAL SESSIONS * Ron Garcia, British Columbia * Frank Pfenning, CMU * Gordon Plotkin, Edinburgh / Google * Neil J. Ross, Dalhousie 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). Special session speakers will be announced in due course. ## LOCAL ORGANISERS: * Neil J. Ross * Peter Selinger [For admin and other information see: http://www.mta.ca/~cat-dist/ ]