Scope
of the workshop
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.
Invited
speakers
Vincent Danos (Université Paris
VII)
Marcelo Fiore (University of Cambridge)
Jimmie Lawson (Louisiana State University)
Nancy Lynch (MIT)
Jon Millen (SRI International)
Michael Mislove (Tulane University)
Gordon Plotkin (University of Edinburgh)
|