Call for Participation
MFPS XIX
Nineteenth Conference on the
Mathematical Foundations of
Programming Semantics
Centre de Recherche
Mathematiques
Université de
Montréal
Montréal, Canada
March
19 - March 22, 2003
Partially Supported by
Centre de Recherche Mathematiques
Université de Montréal
and the
US Office of Naval Research
The Nineteenth Conference on the
Mathematical Foundations of Programming Semantics will take place at
the Centre de Recherche Mathematiques, Université de Montréal, from
Wednesday, March 19 through Saturday, March 22, 2003. The invited
speakers for MFPS XVIII are
Vincent
Danos
Paris VII
Marcelo
Fiore
University of Cambridge
Jimmie
Lawson
Louisiana State
Nancy
Lynch
MIT
Jon
Millen
SRI
Michael
Mislove
Tulane
Gordon
Plotkin
Edinburgh
In
addition to the invited addresses, there will be three special
sessions:
o Special
Session on Domain Theory organized
by Achim Jung (Birmingham). This session will begin with Professor
Mislove’s invited address and will include talks by o Abbas Edalat
Imperial o Martin
Escardo
Birmingham o Karl Hofmann
Darmstadt o Klaus Keimel
Darmstadt o Dana Scott
CMU
o Special
Session on Security organized by
Catherine Meadows (NRL) and Jon Millen (SRI). This session will begin with
Dr. Millen's invited address and will include talks by o Gerard Boudol
Inria o Dusko Pavlovic
Kestrel o Catherine Meadows
NRL o Vitaly Shmatikov
SRI o Steve Zdancewic
Penn
o Special
Session on Hybrid Systems organized
by Prakash Panangaden (McGill). This session will begin with Professor
Lynch’s invited address and will include talks by o Abbas Edalat
Imperial o Eric Klavins
Caltech o Sebastian Thrun
CMU
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 the titles and abstracts of the accepted papers
can be found here.
Participation
Information
Information about registering for MFPS XIX can be found at this site. 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.
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),
Michael Main (Colorado), Austin Melton (Kent State
University), Michael Mislove (Tulane) and David Schmidt
(Kansas State). The local arrangements for MFPS XIX are being
overseen by Prakash Panangaden (McGill).
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.