AMAST Mail - October 1999
[Prev][Next][Index]
MFPS 16
First Announcement for 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 and 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. The Local Arrangements
Co-Chairmen are Stephen Bloom, Adriana Compagnoni and David Naumann
(Stevens Institute).
Additional information about the meeting will be posted at the MFPS 16 home
page as it becomes available. The URL is
http://www.math.tulane.edu/mfps16.html 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 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.
=====================================================================
Michael W. Mislove
Professor and Chairman Phone: +1 504 862-3441
Department of Mathematics FAX: +1 504 865-5063
Tulane University Email: mwm@math.tulane.edu
New Orleans, LA 70118
USA
URL: http://www.math.tulane.edu/mislove.html
=====================================================================
[
AMAST Mail - October 1999
|
September 1999 |
November 1999 |
Latest Update |
AMAST Mail Meta-Index |
AMAST Mail 1999 |
AMAST
]