MFPS 22 Call for Participation

MFPS 22 Call for Participation

[Michael Mislove]

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
===============================================

MFPS 22 Call for Participation

[Michael Mislove]

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