Dear Colleagues, Below is the First Announcement and Call for Papers for MFPS 19, which will take place at the Centre de Recherche, Universite de Montreal from Wednesday, March 19 through Saturday, March 22, 2003. Best regards, Mike Mislove ================================================================= Apologies to those who receive multiple coopies! ================================================================= First Announcement and Call for Papers MFPS XIX Nineteenth Conference on the Mathematical Foundations of Programming Semantics Centre de Recherche Mathematiques Universite de Montreal Montral, Canada March 19 - March 22, 2003 Partially Supported by Centre de Recherche Mathematiques Universite de Montreal and the US Office of Naval Research The Nineteenth Conference on the Mathematical Foundations of Programming Semantics will take place at the Centre Recherche Mathematiques, Universite de Montreal, from Wednesday, March 19 through Saturday, March 22, 2003. The invited speakers for MFPS XVIII are Vincent Danos, Paris VII Marcelo Fiore, University of Cambridge Jimmie Lawson, Louisiana State Nancy Lynch, MIT Jon Millen, SRI Michael Mislove, Tulane Gordon Plotkin, Edinburgh In addition to the invited addresses, there will be three special sessions: o Special Session on Security organized by Catherine Meadows (NRL) and Jon Millen (SRI). This session will follow Dr. Millen's invited address. o Special Session on Hybrid Systems organized by Prakash Panangaden (McGill). This session will begin with Professor Lynch's invited address. o Special Session on Domain Theory organized by Achim Jung (Birmingham). This session will begin with Professor Mislove's invited address. The remainder of the program will be composed of papers selected by the Program Committee from submissions received in response to this Call for Papers. The Program Committee is being co-chaired by Stephen Brookes (CMU) and Prakash Panangaden (McGill). It also includes: o Andrej Bauer (IMFM, Slovenia) o Juergen Dingel (Queen's, Canada) o Martin Escardo (Birmingham, U.K.) o Philippa Gardner (Imperial, U.K.) o Eric Goubault (CEA, France) o Radha Jagadeesan (DePaul, U.S.A.) o Achim Jung (Birmingham, U.K.) o Daniel Leivant (Indiana, U.S.A.) o Frank Pfenning (CMU, U.S.A) o John Power (Edinburgh, U.K.) o David Pym (Bath, U.K.) o Uday Reddy (Birmingham, U.K.) o Jan Rutten (CWI, Netherlands) o Eugene Stark (Stony Brook, U.S.A.) o Guo-Qiang Zhang (CWRU, U.S.A.) Submissions should consist of original work that has not been published elsewhere. Submissions should be in the form of either PostScript or pdf files that can be printed on a standard printer. They can be made at the URL http://www.mfpssubm.cs.mcgill.ca which will be ready by early October. Submissions must be received by midnight, Pacific Standard Time on Friday, November 1, 2002. Authors will be notified of acceptance by January 6, 2003. 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 done by the staff of the CRM Montreal and are being overseen by Prakash Panangaden (McGill). In addition to supporting the conference overall, the support we anticipate from 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 Information about MFPS XIX can be found at the URL http://www.math.tulane.edu/~mfps/mfps19.htm , and also at the site of the Centre de Recherche Mathematiques, Universite de Montreal http://www.crm.umontreal.ca/. Registration information will be available at these sites shortly after the New Year. If you have problems accessing the link above, then send email to mfps@math.tulane.edu. 22-Aug-2002 19:50:49 -0300,792;000000000000-00000000