MFPS31

Thirty-first Conference on the Mathematical Foundations of Programming Semantics

22-25 June 2015, Nijmegen, Netherlands
Web page
Co-located with the 6th Conference on Algebra and Coalgebra in Computer Science (CALCO)

The 31st MFPS will take place on the campus of the Radboud University, Nijmegen, between 22 and 25 June 2015. 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 SPEAKERS

* Andy Pitts (Cambridge), joint speaker for MFPS-CALCO
* Thierry Coquand (Chalmers)
* Guy McCusker (Bath)
* Sam Staton (Radboud)
* Paul B. Levy (Birmingham)

TUTORIAL SPEAKERS AND SPECIAL SESSIONS

* Matija Pretnar (Ljubljana) on algebraic effects
* Martín Escardó (Birmingham) on homotopy type theory
* Andrzej Murawksy (Warwick) on game semantics
* another speaker TBC on quantitiative semantics

SUBMISSION

Important dates:
* Submission: April 3, 2015
* Notification: May 15, 2015
* Final version: May 29, 2015
* Conference: 22-25 June, 2015

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

Proceedings

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

PROGRAM COMMITTEE:

* Achim Jung, Birmingham, UK
* Alan Jeffrey, Bell Labs, USA
* Alexandra Silva, Radboud U, NED
* Andrej Bauer, Ljubljana, SLO (organiser)
* Andy Pitts, Cambridge, UK
* Catherine Meadows, NRL, USA (organiser)
* Dan R. Ghica, Birmingham, UK (Chair)
* Derek Dreyer, MPI-SWS, GER
* Franck van Breugel, York, CA
* F. Nordvall Forsberg, Strathclyde, UK
* Grigore Roșu, Illinois, USA
* James Brotherston, UCL, UK
* Joel Ouaknine, Oxford, UK (organiser)
* Marco Gaboardi, Dundee, UK
* Michael Mislove, Tulane, USA (organiser)
* Michele Pagani, Paris, FRA
* Nikos Tzevelekos, Queen Mary, UK
* Olivier Laurent, ENS Lyon, FRA
* Paul B. Levy, Birmingham, UK
* Prakash Panangaden, Montreal, CA (organiser)
* Radu Mardare, Aalborg, DEN
* Radha Jagadeesan, DePaul, USA
* Ross Duncan, Strathclyde, UK
* Steve Brookes, CMU, USA (organiser)
* Ugo Dal Lago, Bologna, ITA
* Ulrich Schöpp, Munich, GER

LOCAL ORGANISERS:

* Bart Jacobs
* Alexandra Silva
* Sam Staton