Twenty-eighth Conference on the

Mathematical Foundations of

Programming Semantics

University of Bath

Bath, UK

June 6 - 9, 2012

In association with the Alan Turing Year

Partially Supported by the

US Office of Naval Research

The Twenty-eighth Conference on the Mathematical Foundations of Programming Semantics will take place on the campus of the University of Bath, United Kingdom from 6 June through 9 June 2012. MFPS conferences are devoted to those areas of mathematics, logic, and computer science that are related to models of computation, in general, and to the semantics of programming languages, in particular. The series has particularly stressed providing a forum where researchers in mathematics and computer science can meet and

exchange ideas about problems of common interest. As the series also strives to maintain breadth in its scope, the conference strongly encourages participation by researchers in neighbouring areas.

TOPICS include, but are not limited to, the following: biocomputation; 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.


 Steve Awodey, CMU

 Michael Clarkson, GWU

 Patricia Johann, Strathclyde

 Dexter Kozen, Cornell

 Drew Moshier, Chapman

 John Power, Bath

In addition, there will be special sessions on the following topics:

  1. *Logic, computation and algebraic topology, organised by Steve Awodey and Michael Mislove. In addition to Professor Awodey’s plenary lecture, the session will include invited talks by Andrej Bauer (Slovenia), Nicola Gambino (Palermo), Eric Goubault (CSA) and Sanjeevi Krishnan (Penn).

  1. *Computational effects, organised by John Power. In addition to Professor Power’s plenary address, the session will include invited talks by Andrej Bauer (Slovenia), Neil Ghani (Strathclyde), Alex Simpson (Edinburgh) and Sam Staton (Cambridge).

  1. *Computability on Continuous Data, organised by Drew Moshier. In addition to Professor Moshier’s plenary talk, the session will include invited talks by Nick Bezhanishili (Imperial), Jens Blanck (Swansea), Martin Escardó (Birmingham) and Paul Taylor. This session is part of the ATY.

There also will be a series of Tutorial Lectures on Game Semantics. These are being organized by Andrea Schalk (Manchester) and Paul-Andre Méllies (Paris VII), The speakers will include the organizers as well as Martin Hyland (Cambridge) and Luke Ong (Oxford).  

The PROGRAM COMMITTEE for MFPS XXVIII are the following:

 Thorsten Altenkirch, U Nottingham, UK

 Steve Awodey, Carnegie Mellon U, USA

 Andrej Bauer, U Ljubljana, Slovenia

 Ulrich Berger, Swansea U, UK (Chair)

 Bob Coecke, U Oxford, UK

 Stephen Brooks, Carnegie Mellon U, USA     

 Martin Escardo, U Birmingham, UK

 Marcelo Fiore, U Cambridge, UK

 Neil Ghani, U Strathclyde, UK

 Alexey Gotsman, IMDEA, Madrid, Spain

 Hugo Herbelin, INRIA, Rocquencourt-Paris, France

 Achim Jung, U Birmingham, UK       

 Daniel Leivant, U Indiana, USA

 Guy McCusker, U Bath, UK

 Catherine Meadows, NRL, USA

 Michael Mislove, Tulane U, USA

 Peter O'Hearn, Queen Mary U London, UK

 Luke Ong, U Oxford, UK

 Prakash Panangaden, McGill U, Canada

 John Power, U Bath, UK

 Jan Rutten, CWI, Netherlands

 Alex Simpson, U Edinburgh, UK

 James Worrell, U Oxford, UK


Note: the deadlines have been extended for one week

 - 2March 2012                Title and Short Abstract submission deadline

 - 9 March 2012                Paper submission deadline

 - 2 April 2012                   Notification to authors

 - 23 April 2012                 Preliminary proceedings version due

SUBMISSIONS should be prepared using ENTCS Macros, available from Submissions should be in the form of a PDF file not exceeding 15 pages in length. Submissions will be open shortly after January 1 on the EasyChair website:

PROCEEDINGS: There will be a preliminary proceedings of the conference papers that will be distributed at the meeting, with a final proceedings published in ENTCS after the meeting.

The Organisers of the MFPS series are Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane) and Prakash

Panangaden (McGill). The local arrangements for MFPS XXVIII are being overseen

by Guy McCusker (Bath) and John Power (Bath).


The conference arranged for a block of rooms at the Holiday Inn Express, Bath. The deadline for reserving rooms at a reduced rate has passed, but they may still have rooms available. Reservations can made online using the URL of by phoning +44 1225 303000.


A registration page for the conference is now available. To register for the meeting, follow this link.


Bath is a major tourist destination in the UK and Europe more broadly, so there are plenty of interesting things to do in the area. One event particularly worth noting is the Bath International Music Festival, which will be taking place before and during MFPS, and ending on June 10. The most popular events sell out early. so we advise those who are interested to reserve tickets soon. Follow the link above for more information.