Dan Ghica dan at ghica.net
Mon Feb 2 08:49:20 EST 2015


## 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.


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


* Matija Pretnar (Ljubljana) on algebraic effects
* Andrzej Murawksy (Warwick) on game semantics
* Daniela Petrișan (Nijmegen) on nominal techniques
* other tutorials TBC


### 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

### Proceedings

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


* 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


* 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: </pipermail/fom/attachments/20150202/12c67a85/attachment-0001.asc>

More information about the FOM mailing list