Dear Colleagues, Registration for MFPS 22 is now open. The Twenty Second Conference on the Mathematical Foundations of Programming Semantics will take place on the campus of the University of Genoa, Italy from May 23 through May 27, 2006. In addition to six plenary addresses, there will be three special sessions, on security, quantum computing and timed systems, each featuring talks by invited speakers in these areas. The remainder of the program will be composed of papers selected by the Program Committee from those that were selected from the submissions to the Call for Papers. Finally, there will also be a Tutorial Day devoted by lectures on Separation Logic on May 22, preceding the meeting. All of the details, including the list of accepted papers, can be found at the MFPS 22 home page, http://www.math.tulane.edu/~mfps/mfps22.htm There is a link there to the Registration Page where you can also register online for the meeting. Of particular importance is the short time window to reserve a hotel room for the meeting. Blocks of rooms are being held at a number of hotel in Genoa, but these will not be withheld from general availability after April 20. Because of this, it is important that you make your reservations for a hotel room as soon as possible. (I apologize for the tardy delay in notifying you about this, but we didn't want to announce the opening of registration until the program was finalized.) As usual, if you have any questions or problems, please send email to mfps@math.tulane.edu and we will respond. Best regards, Mike Mislove, Co-Organizer MFPS Conference Series
Dear Colleagues, This is a reminder that the deadline for making hotel reservations for MFPS 22 at the conference rate is this Thursday, April 20. The meeting will take place from Wednesday, May 24 through midday Saturday, May 27 at the University of Genoa, Italy, with a Tutorial Day on Separation Logic preceding it on May 23. Information about the invited speakers, the special session speakers and the accepted papers is available at the MFPS 22 web site, http:// www.math.tulane.edu/~mfps/mfps22.htm where there is a link to the Registration Page and information about hotel reservations. There is also a link to the University of Genoa page for MFPS 22 which includes some information about the local scene. The URL for that page is http://mfpsxxii.disi.unige.it/ One further note: we are only able to accept credit card payments for the registration fee for the meeting, so participants will have to register online, and then call us with their credit card information. This will be possible even after this week, but if you are planning on attending, it is helpful if you register now, since that aids in our planning for the meeting. Best regards, Mike Mislove MPFS 22 Co-Organizer =============================================== Professor Michael Mislove Phone: +1 504 862-3441 Department of Mathematics FAX: +1 504 865-5063 Tulane University URL: http://www.math.tulane.edu/~mwm New Orleans, LA 70118 USA ===============================================
participants (1)
-
Michael Mislove