The 32nd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXII) will take place on the campus of the Carnegie Mellon University, Pittsburgh, USA, between 23 and 26 May 2016.

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: bio-computation; 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.

Invited plenary speakers

  • Peter Selinger, Dalhousie, Canada

    Number-theoretic Methods in Quantum Computing

  • Brigitte Pientka, McGill, Canada

    Programming Coinductive Proofs Using Observations

  • Steve Brookes, CMU, USA

    A Denotational Approach to Weak Memory Concurrency

  • Nathalie Bertrand, Inria, France

    Fault diagnosis in probabilistic models

Tutorial speakers and special sessions

Concurrency, special session in honour of Steve Brookes' 60th Birthday

  • Peter O'Hearn
  • Facebook
  • Invited speaker
  • Sir Tony Hoare
  • University of Oxford
  • Bill Roscoe
  • University of Oxford
  • Viktor Vafeiadis
  • MPI-SWS

Verification

  • Andrew Appel
  • Princeton University
  • Invited tutorial speaker
  • Steve Zdancewic
  • University of Pennsylvania
  • Gordon Stewart
  • Ohio University
  • Jan Hoffmann
  • CMU

Security

  • Stephen Chong
  • Harvard
  • Invited tutorial speaker
  • Aslan Askarov
  • Aarhus University
  • Andrew Myers
  • Cornell University
  • Geoffrey Smith
  • Florida International University

Probabilistic Programming

  • Dan Roy
  • University of Toronto
  • Invited tutorial speaker
  • Johannes Borgstrom
  • Uppsala University
  • Sam Staton
  • University of Oxford

Important dates

  • Submission Deadline: March 3
  • Notification: April 8
  • Proceedings: May 1
  • Conference: May 23-26

Submission information

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

Local information

The conference will be held at Carnegie Mellon University. Steve Brookes is the local organiser.

Program Committee

  • Achim Jung, Birmingham, UK
  • Andre Scedrov, UPenn, USA
  • Andrej Bauer, Ljubljana, Slovenia
  • Andrzej Murawski, Warwick, UK,
  • Bart Jacobs, Radboud U, Netherlands
  • Bob Coecke, Oxford, UK
  • Cameron Freer, Cambridge MA, USA
  • Catherine Meadows, NRL , USA
  • Catuscia Palamidessi, INRIA, France
  • Christine Tasson, PPS Paris, France
  • Claudio Russo, MSR Cambridge, UK
  • Dusko Pavlovic, Hawaii, US
  • Helle Hvid Hansen, TU Delft, Netherlands
  • Hugo Herbelin, Paris, France
  • Jean Krivine, Paris, France,
  • Joel Ouaknine, Oxford, UK
  • Lars Birkedal (Chair), Aarhus, Denmark
  • Michael Mislove, Tulane, USA
  • Neel Krishnaswami, Birmingham, UK
  • Paul Blain Levy, Birmingham, UK,
  • Peter Dybjer, Chalmers, Sweden
  • Prakash Panangaden, Montreal, Canada
  • Stefan Milius, Erlangen, Germany
  • Steve Brookes, CMU, USA
  • Steve Zdancewic, UPenn, USA

Organising Committee

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