Call for Papers
MFPS XXI
Twenty-first Conference on the
Mathematical Foundations of
Programming Semantics
University
of 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, Edgbaston, UK from
Wednesday, May 18 through Saturday, May 21, 2005. The invited speakers for
MFPS XXI are
Samson Abramsky
Oxford
Andrej Bauer
IMFM, Slovenia
Roberto
Gorrieri
Bologna
Cliff Jones
Newcastle
Catuscia Palamidessi
INRIA
Gordon Plotkin
Edinburgh
John Reynolds
CMU
In addition to the invited addresses, there will be
three special sessions:
-
Special Session on Domain Theory and Topology organized by Martin Escardó and Achim Jung (Birmingham).
-
Special Session on Security organized by Catherine Meadows (NRL).
-
Special Session on Quantum Computing organized by Samson Abramsky, Michael Mislove (Tulane) and Prakash Panangaden (McGill).
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 chair is Martin Escardó, and the members of the Program Committee include:
| Ulrich Berger, Swansea | | |
| Stephen Brookes, CMU | Thierry Coquand, Goteberg | |
| Pierre-Louis Curien, PPS, Paris VII |
Vincent Danos, PPS, Paris VII | |
| Marcelo Fiore, Cambridge | Achim Jung Birmingham, U.K. | |
Catherine Meadows, NRL | Michael Mislove, Tulane | |
| Luke Ong, Oxford | Prakash Panangaden, McGill | |
| Brigitte Pientka, McGill | Phil Scott, Ottawa | |
| Roberto Segala, Verona | Alex Simpson, Edinburgh | |
| James Worrell, Tulane | Steve Zdancewic, Penn |
Submissions should consist of
original work that has not been published elsewhere.
Submissions should be no longer than 15 pages, and they should be in
the form of either PostScript or pdf files that can be printed on a
standard printer. Submissions for the
conference were closed on February 18. Authors will
be notified of acceptance by March 25,
2005. We will post a list of accepted papers, and the MFPS 21 program
shortly after that date. The Proceedings of MFPS 21 will appear as a volume in the
Electronic Notes in
Theoretical Computer Science. Authors will be provided with
information about how to prepare their submissions when notifications
of acceptance are sent in March. There will be a preliminary hard copy
Proceedings that will be distributed at the meeting, and the final,
online proceedings will be published after the meeting, giving authors
a chance to revise their papers in light of feedback they have
received to their presentations.
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. 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. Information
about registering for MFPS XXI will be available at this site shortly after
the New Year. Information about the program for the meeting also will be
accessible at that site. If you have problems accessing the link above, then
send email to mfps@math.tulane.edu.
Publication of
Proceedings
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.
Participation Information