Final Announcement and Call for Participation 

MFPS XVIII

Eighteenth Workshop on the 
Mathematical Foundations of
Programming Semantics

Tulane University
New Orleans, LA USA
March 23 - March 26, 2002

Partially Supported by

Tulane University Mathematics Department 

and the

US Office of Naval Research

The Eighteenth Workshop on the Mathematical Foundations of Programming Semantics will be held inconjunction with the 2002 Clifford Lectures. Both events will take place on the campus of Tulane University, New Orleans, LA USA. 

The Eighteenth Workshop on the Mathematical Foundations of Programming Semantics will follow the Clifford Lectures, commencing at midday on Saturday, March 23. The meeting wil run through Tuesday, March 26. The invited speakers for MFPS XVIII are 

Rajeev Alur
Penn

Patrick Cousot
École Normale Supérieure

John Hatcliff
Kansas State

John Mitchell
Stanford

John Reynolds
CMU

Doug Smith
Kestrel

The program for the meeting can be found at this link. 

To register for MFPS, including proposing a contributed talk and reserving a hotel room, follow this link.

A list of registered participants can be found here.

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 XVIII are being overseen by Michael Mislove (Tulane).

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.

Participation Information

The registration link leads to secure web pages where participants can register for the meeting, make their hotel reservations and submit a title and abstract for a proposed contibuted talk at MFPS. The form also can be used to register for the Clifford Lectures. While the meetings are being held in conjunction with one another, participants can attend one meeting, part of one and the other, or both meetings. If you have problems accessing the link above, then send email to mfps@math.tulane.edu.