Dear Colleagues, Below is the First Announcement and Call for Papers for MFPS 21, which will take place at the University of Birmingham, UK from Wednesday, May 18 through Saturday, May 21, 2005. Best regards, Mike Mislove =============================================== 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 =============================================== First Announcement and Call for Papers MFPS XXI Twenty-first Conference on the Mathematical Foundations of Programming Semantics University of Birmingham Edgbaston, Birmingham UK May 18 - May 21, 2005 Partially Supported by US Office of Naval Research The Twenty-first Conference on the Mathematical Foundations of Programming Semantics will take place at the University of Birmingham, UK from Wednesday, May 18 through Saturday, May 21, 2005. The invited speakers for MFPS XXI are Samson Abramsky, Oxford Andrej Bauer, IMFM, Slovenia Cliff Jones, Newcastle Catuscia Palamidessi, INRIA Gordon Plotkin*, Edinburgh John Reynolds, CMU *: To be confirmed There also will be a plenary talk on security. In addition to the invited addresses, there will be three special sessions: o Special Session on Quantum Computing organized by Samson Abramsky, Michael Mislove (Tulane) and Prakash Panangaden (McGill). o Special Session on Security organized by Catherine Meadows (NRL) o Special Session on Domain Theory and Topology, organized by Martin Escardo and Achim Jung (Birmingham). The remainder of the program will be composed of papers selected by the Program Committee from submissions received in response to this Call for Papers. The Program Committee is being chaired by Martin Escardo (Birmingham). It also includes: o Ulrich Berger, Swansea o Lars Birkedal, ITU, Denmark o Stephen Brookes, CMU o Thierry Coquand, Goteberg o Pierre-Louis Curien, LIAFA, Paris VII o Vincent Danos, Paris o Marcelo Fiore, Cambridge o Achim Jung Birmingham, U.K. o Catherine Meadows, NRL o Michael Mislove, Tulane o Luke Ong, Oxford o Prakash Panangaden, McGill o Brigitte Pientka, McGill o Phil Scott, Ottawa o Roberto Segala, Verona 0 Alex Simpson, Edinburgh Submissions should consist of original work that has not been published elsewhere. Submissions should be no longer than 12 pages, and they should be in the form of either PostScript or pdf files that can be printed on a standard printer. They can be made using the link that will be available on the MFPS 21 Home Page http://www.math.tulane.edu/~mfps/mfps21.htm - submissions will open in early January. Submissions must be received by midnight, Pacific Standard Time on Friday, February 15, 2005. Authors will be notified of acceptance by March 25, 2005. 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 XXI are being overseen by Achim Jung. In addition to supporting the conference overall, the support we anticipate from 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. Participation Information Information about MFPS XXI can be found at the URL http://www.math.tulane.edu/~mfps/mfps21.htm Registration information will be available at these sites shortly after the New Year. If you have problems accessing the link above, then send email to mfps@math.tulane.edu. 19-Nov-2004 08:32:04 -0400,2631;000000000001-00000000