[TYPES/announce] MFPS XXXI: Call for Papers

[Dan Ghica]

# CALL FOR PAPERS : MFPS XXXI

## Thirty-first Conference on the Mathematical Foundations of Programming Semantics
## 22-25 June 2015, Nijmegen, Netherlands
## (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.

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)
* Paul B. Levy (Birmingham)
* Guy McCusker (Bath)
* Sam Staton (Radboud)

## 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](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 Schöpp, Munich, GER

## LOCAL ORGANISERS:

* Bart Jacobs
* Alexandra Silva
* Sam Staton

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 496 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20141110/0aee8f04/attachment.asc>