MFPS XXIII Call for Papers

MFPS XXIII Call for Papers

[Michael Mislove]

                             CALL FOR PAPERS

                                   MFPS XXIII
               <http://www.math.tulane.edu/~mfps/mfps23.htm>

                      Twenty-third Conference on the
                        Mathematical Foundations of
                           Programming Semantics

                                Tulane University
                             New Orleans, LA USA
                                April 11 - 14, 2007

             Partially Supported by US Office of Naval Research


The Twenty-third Conference on the Mathematical Foundations of
Programming Semantics (MFPS XXIII) will take place on the campus of
Tulane University, New Orleans, LA USA from Wednesday, April 11
through Saturday, April 14, 2007.

The MFPS conferences are devoted to those areas of mathematics,
logic, and computer science which are related to models of
computation, in general, and to the semantics of programming
languages, in particular. The series has particularly stressed
providing a forum where researchers in mathematics and computer
science can meet and exchange ideas about problems of common
interest.  As the series also strives to maintain breadth in its
scope, the conference strongly encourages participation by
researchers in neighboring areas.

The INVITED SPEAKERS for MFPS XXIII are

       Gerard Berry (Esterel Technologies)
       --- to be confirmed ---

       Stephen Brookes (CMU)

       Jane Hillston (Edinburgh)

       John Mitchell (Stanford)

       Gordon Plotkin (Edinburgh)

       John Power (Edinburgh)

In addition, there will be three special sessions:

    1. A special session honoring GORDON PLOTKIN on his 60th birthday
       year, organised by Samson Abramsky (Oxford).

    2. A special session on SECURITY, organised by Catherine Meadows
(NRL).

    3. A special session on SYSTEMS BIOLOGY, organised by Jane
       Hillston (Edinburgh) and Prakash Panangaden (McGill).

   4.  A Special Session on Physics, Information and Computation
        organized by Keye Martin (NRL).

Further, there will be a TUTORIAL DAY on April 11.  The topic will be
Domain Theory; the speakers will be announced at a later date.  This
event will be free to those who are interested in attending.

The remainder of the program will consist of papers selected by the
following PROGRAM COMMITTEE

    Samson Abramsky (Oxford)                       Michael Mislove
(Tulane)
    Andrej Bauer (Ljubljana)                            John Mitchell
(Stanford)
    Stephen Brookes (CMU)                             Eugenio Moggi
(Genova)
    Pierre-Louis Curien (CNRS & Paris 7)     Laurent Regnier (Marseille)
    Andrzej Filinski (Copenhagen)                  Giuseppe Rosolini
(Genova)
    Marcelo Fiore (Cambridge), CHAIR          Davide Sangiorgi (Bologna)
    Achim Jung (Birmingham)                           Philip Scott
(Ottawa)
    Masahito Hasegawa (Kyoto)                       Daniele Varacca
(Paris 7)
    Ursula Martin (QM London)                         James Worrell
(Oxford)
    Catherine Meadows (NRL)                          Steve Zdancewic
(Pennsylvania)

from submissions received in response to this call for papers.

TOPICS include, but are not limited to, the following:
biocomputation; categorical models; concurrent and distributed
computation; constructive mathematics; domain theory; formal
languages; formal methods; game
semantics; lambda calculus; logic; non-classical computation;
probabilistic systems; process calculi; program analysis; programming-
language theory; quantum computation; rewriting theory; security;
specifications; topological models; type systems; type theory.

The CONFERENCE PROCEEDINGS will be published by ENTCS (Electronic
Notes in Theoretical Computer Science <http://www.entcs.org/>).
Submission instructions, style files for preparing a submission, and
a link to the MFPS XXIII submission site are available from the
conference web page:

             http://www.math.tulane.edu/~mfps/mfps23.htm

IMPORTANT DATES:

* Fri Dec 15:  Paper registration deadline, with short abstracts.

* Fri Dec 22:  Paper submission deadline.

* Fri Feb  4:  Author notification.

* Fri Mar  2:  Final versions for the proceedings.

The Organising 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 XXIII are being overseen by Michael 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
===============================================