Local arrangements

New: pdf conference guide (includes programme, getting to the campus, on campus, guide to Computer Science Building, dinners), campus map.

Programme: Invited speakers

Programme: Special sessions

Contributed papers

Programme: Security Tutorial Day

This tutorial day takes place immediately before the main programme of MFPS, on the 17th of May. Tutorials will be given by

We have have received funding to cover registration expenses for all participants. Registration is together with that for MFPS.

Programme: KAZAM workshop

Olivier Danvy and Hayo Thielecke are organising a workshop on the Krivine and ZINC abstract machines. This will take place immediately before MFPS on Tuesday, 17th May. Follow this link for more information.

You can register for KAZAM together with MFPS. The registration fee (25) will be collected during the workshop.


18 May
19 May
20 May
21 May
09:00 - 10:00 Invited lecture
Gordon Plotkin
Invited lecture
Catuscia Palamidessi
Invited lecture
Samson Abramsky
Invited lecture
Andrej Bauer
10:00 - 10:30 Lowe & Quaknine Egger Coecke Simpson
10:30 - 11:00 registration
coffee coffee coffee
11:00 - 11:30 Lassen Heckmann Danos Keimel
11:30 - 12:00 Levy Velebil, Milius & Adamek Panangaden Lawson
12:00 - 12:30 Thielecke & Buchlovsky Pattinson & Edalat Stubbe Danos
12:30 - 14:00 lunch lunch lunch lunch
14:00 - 15:00 Invited lecture
Cliff Jones
Invited lecture
Roberto Gorrieri
Beffara Invited lecture
John Reynolds
Huth & Hussain
15:00 - 15:30 Danvy Backes Saurin & Miller Petersen, Mogelberg & Birkedal
15:30 - 16:00 coffee coffee coffee Rosolini, Birkedal & Mogelberg
16:00 - 16:30 Bornat Meadows Stoevring, Danvy & Biernacka
16:30 - 17:00 Brookes Roscoe Tourlas, Power & Denney
17:00 - 17:30 Filinski Vigano
17:30 - 18:00 Wadler Zdancewic
19:00 Reception in the University's Botanical Gardens   Conference Dinner  


Computer Science Building School of Computer Science at Birmingham University
Birmingham University
About Birmingham
The official City of Birmingham site

Travel recommendations

Check the University's excellent travel guide first. Here is some additional (and somewhat personal) advice:

The conference hotel is not within easy walking distance of either the campus or the main train station. It is best to take a taxi for the last leg of your journey. If you are flying into Birmingham International Airport, and you want to save some money, then consider taking one of the frequent local trains to New Street Station and get your taxi there.

You may be tempted to take a flight into one of the London airports, as there are typically better rates available for these than for a direct flight to Birmingham. On our own travels, we have often found that there is little financial advantage to be gained by doing so, as trains from or to London are quite expensive. In addition, about half a day is lost in travel time. If money is an issue, then check out Chiltern Railways, or consider travelling by coach from the airport.


The Apollo Hotel, where most of the participants are staying, is now fully booked for the period of the conference. When you select an alternative hotel from one of the many websites, look out for a location in Edgbaston or Selly Oak. You can also consider staying in the City Centre, as there are excellent local transport connections from there to the campus. Send an email to S.Snow at cs.bham.ac.uk if you need help in finding accommodation.

If you need to contact the Apollo Hotel for any reason, then speak to Ms Christina Santos on +44 121 455 5290, although the front desk on +44 121 455 0271 should also be able to help.


The registration fee is 60 (50 for graduate students). The conference dinner is 35 per person. All participants are required to pay the registration fee and, as appropriate, for the conference dinner.

For registration, please do two things: Send an email to mfps at cs.bham.ac.uk. This is primarily to take note of your email address, as all further information will be sent out electronically. Say whether or not you will be attending the KAZAM Workshop or the Security Tutorial Day on the 17th..
Secondly, print and fill in the registration fee payment form and either post it to

Mrs S Snow
School of Computer Science
University of Birmingham
Birmingham, B15 2TT
United Kingdom

including a cheque (made payable to the University of Birmingham) or credit card number, or fax it to +44 121 414 5370 including a credit card number. The fax machine is in a secure location and only accessible to office staff. Do not send credit card details via email.

Financial support

Please note that graduate students pay a reduced registration fee of 50. Additionally, we have been awarded a special fund by the US Office of Naval Research to support participation by graduate students. If you require financial assistance then please apply to Mike Mislove (mfps at math.tulane.edu) outlining your needs. Since we do not have sufficient funds to underwrite anyone's entire costs, we expect that your home department will also help with the cost of your participation. Women and minorities are especially encouraged to apply for such support. Any bursary payments will be made after the conference.

The local organisers