Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
MFPS XXII Call for Participation
[go: Go Back, main page]

Call for Participation

MFPS XXII

Twenty-second Conference on the 
Mathematical Foundations of
Programming Semantics

University of Genova, Italy
May 24 - May 27, 2006

Partially Supported by

US Office of Naval Research

The Twenty-second Conference on the Mathematical Foundations of Programming Semantics will take place at the University of Genova, Italy from Wednesday, May 24 through Saturday, May 27, 2006. The invited speakers for MFPS XXII are

Marcelo Fiore
Cambridge

Eugenio Moggi
Genova

Prakash Panangaden
McGill

Davide Sangiorgi
Bologna

Peter Selinger
Dalhousie

Steve Zdancewic
Penn

In addition to the invited addresses, there will be three special sessions:

  1. A Special Session on Security organized by Catherine Maedows (NRL). Speakers include David Basin (ETH, Zurich) and Luca Viganó (ETH, Zurich), among others.

  2. A Joël Ouaknine (Oxford) and James Worrell (Oxford) are organizing a Special Session on Timed Systems. The speakers include Patricia Bouyer (LSV, Cachan), Marta Kwiatkowska (Birmingham), Alexander Rabinovich (Tel Aviv), James Worrell and Wang Yi (Uppsala).

  3. Michael Mislove (Tulane), Prakash Panangaden (McGill) and Peter Selinger (Dalhousie) are organizing a Special Session on Quantum Computing. The speakers include Phillipe Jorrand (Imag), Keye Martin (NRL), Paulo Mateus (IST) and Raja Nagarajan (Warwick).

Accepted Papers

The remainder of the program will consist of papers selected by the Program Committee from those submitted in response to the Call for Papers. A list of the accepted papers is available here.

Conference Program

The conference program is now available here.

Tutorial Day

In addition to the MFPS program, there will be a Tutorial Day on May 23 devoted to Separation Logic , which will feature tutorial talks by Stephen Brookes (CMU), Peter O'Hearn (QMW) and John Reynolds (CMU). There is no extra charge for attending the Tutorial Day beyond the regular MFPS registration fee. You should indicate on your registration form if you intend to participate in the Tutorial Day activity.

Program Committee

The Program Committee chairs are Stephen Brookes (CMU) and Michael Mislove (Tulane). The members of the Program Committee include:

The MFPS conferences are devoted to those areas of mathematics, logic and computer science which are related to the semantics of programming languages.  The series particularly has stressed providing a forum where both mathematicians and computer scientists can meet and exchange ideas about problems of common interest.  We also encourage participation by researchers in neighboring areas, since we strive to maintain breadth in the scope of the series.

The Organizing Committee for MFPS consists of Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane) and Prakash Panangaden (McGill). The local arrangements for MFPS XXII are being overseen by Giuseppe Rosolini (Genova).

Registration Information

Registration is now open. You can register for the Conference online by following this link. Please register now if you intend to participate in the meeting, but in any case, please reserve a hotel room as soon as possible. You must reserve a hotel room by April 20 to be sure to have a room available.

Hotel Information

Here is a list of hotels at which blocks of rooms have been set aside for MFPS participants. However, due to the demand for hotel rooms in Genoa during late May, the hotels are unable to hold rooms in these blocks after April 20. Here is a list. Participants should contact the hotels directly to make their reservations.

It is best to phone the hotel directly, rather than trying to use the Internet, especially since you need to identify yourself as affiliated with MFPS.

Be sure to make a reservation at one of these hotels before April 20!!

Until 20 April only, the following hotels will keep a number of rooms available for MFPS participants at the prices specified below.
So, if you reserve a room at one of the hotels below, specify that you attend MFPS in order to book at the reduced price.
After 20 April, the hotels will accept reservations on all rooms as they receive them. Considering that Genoa is very busy in May
and June it may not be easy to find another hotel accomodation.
Hotel (see maps) singledouble
Astor **** (Nervi)
via delle Palme 16, 16167 Genova
tel +39010329011, fax +390103728486
www.astorhotel.it		 €80-105
as available		€100 or €130
as available
Esperia *** (Nervi)
via Val Cimson 1, 16167 Genova
tel +39010321777, fax +390103291006
www.hotelesperia.it		 €90€110
Tirreno *** (Albaro)
Via dei Mille 17, 16147 Genova
tel +39010389342, fax +39010386342
http://www.hoteltirrenogenova.it/		 €90 - 110
as available		€130
la Capannina *** (Albaro)
via T. Speri 7, 16146 Genova
tel +39010317131, fax +390103622692
www.lacapanninagenova.it		 €75€95
Hermitage *** (Albaro)
via A. Liri 29, 16145 Genova
tel +39010311605, fax +39010311605
www.hermitagehotel.ge.it		 €115€135
Astoria *** (Centre East)
piazza Brignole 4, 16122 Genova
tel +39010873316, fax +390108317326
www.hotelastoriagenova.it		 -€100
Bellevue *** (Centre West)
salita della Provvidenza 1, 16134 Genova
tel +390102462400, fax +39010265932
www.bellevue.genova.it		 €80€90
Our suggestions in order: Astor (beautiful area, 25 minute bus-trip to DISI)
Laurens (20 minute walk to DISI)
la Capannina (20 minute walk to DISI)
Astoria (central, 10 minute bus-trip to DISI)
Esperia (beautiful area, 25 minute bus-trip to DISI)

Local Information

You can find local information about MFPS 22 in Genoa at this web site. The site will be updated from time to time with more information about the meeting and with additional local information.

Participation Information

In addition to supporting the conference overall, the support provided by the Office of Naval Research makes funds available to help offset expenses of graduate students. Women and minorities also are encouraged to inquire about possible support to attend the meeting.

If you would like to request support to attend the meeting, please send email to MFPS 22 indicating your needs. Our resouces are limited and we expect that we will be able to provide only partial support in any case,