Logic List Mailing Archive

MFPS XXXI: Mathematical Foundations of Programming Semantics

22-25 Jun 2015
Nijmegen, The Netherlands

# CALL FOR PAPERS : MFPS XXXI

## Thirty-first Conference on the Mathematical Foundations of Programming Semantics
## 22-25 June 2015, Nijmegen, Netherlands
## [Web page](http://events.cs.bham.ac.uk/mfps31/)
## 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. MFPS is organised in cooperation with ACM SIGLOG and
observes its anti-harassment [policy](http://www.acm.org/sigs/volunteer_resources/officers_manual/anti-harassment-policy).

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
* Andrzej Murawksy (Warwick) on game semantics
* Daniela Petri?an (Nijmegen) on nominal techniques
* other tutorials TBC

## 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](http://www.entcs.org/), in the form of a PDF file not
exceeding 15 pages. Submissions are open on
[EasyChair](https://easychair.org/conferences/?conf=mfps31).

### 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 Schpp, Munich, GER

## LOCAL ORGANISERS:

* Bart Jacobs
* Alexandra Silva
* Sam Staton