Call for Participation
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 The Essence of Programming: John Reynolds's contribution to programming languages, organized by Olivier Danvy (Aarhus), Peter O'Hearn (QMW) and Phil Wadler (Edinburgh).
-
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.
A list of accepted papers is now available on this web
site, 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 A Security Day consisting of tutorials by three leading
researchers will be held on May 17, the day before MFPS begins. For
more information about this event, follow this
link. 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 accommodation, travel and
registering for MFPS XXI is available at this site.
If you have problems accessing the link above, then send email to mfps@math.tulane.edu.
Security Tutorial
Day
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