Scope of the workshop
Registration and Accommodation
Invited Speakers
Useful links

Mathematical Foundation of Programming Semantics (MFPS)

March 19 - 22, 2003

Centre de recherches mathématiques
Université de Montréal
Montréal (Québec), Canada

Organizer: Prakash Panangaden (McGill)

First Announcement and Call for Papers MFPS XIX


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)

Links to further information

December 6, 2002, webmestre@CRM.UMontreal.CA