------------------------------------------------------------------------
First Announcement
MFPS XVI
------------------------------------------------------------------------
Sixteenth Workshop on the
Mathematical Foundations of
Programming Semantics
Stevens Institute of Technology
Castle Point on the Hudson
Hoboken, New Jersey
April 13 - 16, 2000
The Sixteenth Workshop on the Mathematical Foundations of Programming
Semantics will take place on the campus of Stevens Institute of Technology,
Castle Point on the Hudson, Hoboken, NJ from April 13 to April 16, 2000.
Stevens is located directly across the Hudson River from Manhattan. 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 invited speakers for MFPS 16 are
Samson Abramsky University of Edinburgh
Rance Cleaveland Stony Brook
Andy Gordon Microsoft Cambridge
Robin Milner University of Cambridge
Peter O'Hearn Queen Mary - Westfield
Dana Scott CMU
In addition to the invited talks, there will be two special sessions at the
meeting. The first will be devoted to security, and the second will be
devoted to model checking.
The remainder of the program will consist of talks contributed by the
participants of the meeting. Those interested in contributing a talk at the
meeting should send a title and short abstract to mfps@math.tulane.edu. The
available slots will be allocated on a first come, first served basis.
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 Co-chairs for MFPS XVI are
Michael Mislove and Stephen Brookes. Local arrangements are being organized
by Stephen Bloom, Adriana Compagnoni and David Naumann (Stevens Institute).
Additional information about the meeting will be posted at this URL as it
becomes available. This information also will be sent via email to those who
request it. To put your name on the MFPS mailing list, send email to
mfps@math.tulane.edu.
General inquiries about MFPS XVI can be addressed to mfps@math.tulane.edu.
------------------------------------------------------------------------
Registration Information
Detailed information about registration and accommodations will be available
after the New Year.
------------------------------------------------------------------------
Support
Stevens Institute has generously agreed to provide support for MFPS, and we
expect to receive additional support from the US Office of Naval Research.
Because of this, we are able to provide limited support for participants. We
will focus the funds we have on supporting participation by graduate
students, and on helping support attendance by minorities and women who are
contributing a talk at the meeting. If you are a member of one of these
groups and are interested in obtaining support to attend the meeting, send
email to mfps@math.tulane.edu.
------------------------------------------------------------------------
Proceedings
As with other MFPS workshops, the Proceedings for MFPS 16 will consist of a
special issue of the journal Theoretical Computer Science. All participants
at the meeting (whether they present a talk or not) will be invited to
submit a paper for the Proceedings; these submissions will be refereed to
the usual TCS standards. Detailed information about the Proceedings will be
available shortly after the meeting.
------------------------------------------------------------------------