This tutorial day takes place immediately before the main programme of MFPS, on the 17th of May. Tutorials will be given by
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.
|09:00 - 10:00||Invited lecture
|10:00 - 10:30||Lowe & Quaknine||Egger||Coecke||Simpson|
|10:30 - 11:00||registration
|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
|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|
|School of Computer Science at Birmingham University|
|The official City of Birmingham site|
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
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.
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.