Subject: categories: MFPS 17 Finall Call for Papers

From: "Michael Mislove" <[email-masked]>
Date: Thu, 4 Jan 2001 17:46:16 -0600

Dear Colleagues,
  First, apologies to those who receive multiple copies of this message. 
  This is the Final Call for Papers for this spring's seventeenth conference on the Mathematical Foundations of Programming Semantics. MFPS 17 will take place at Aarhus University in Aarhus, Denmark from May 24 to May 27, 2001. We encourage submissions in areas traditionally represented at MFPS, and in related areas as well. 
 
The deadline for submissions also has been extended, til January 15, 2001. 
 
Please pass this announcement on to those whom you think would have an interest in participating. 
 
An announcement providing registration details and more information about the program will be forthcoming around February 20, 2001, when the list of accepted papers will be posted. 
 
General information about MFPS can be found at http://www.math.tulane.edu/mfps.html and information about MFPS 17 at http://www.math.tulane.edu/mfps17.html If you have any questions about the meeting, you can send email to [email-masked].
  Best regards,
  Mike Mislove

======================================================================

             Final Call for Papers
                   MFPS XVII

         Seventeenth Conference on the
          Mathematical Foundations of
             Programming Semantics

              Aarhus University
               Aarhus, Denmark
            May 24 - May 27, 2001

Partially Supported by BRICS and the US Office of Naval Research

The Seventeenth Conference on the Mathematical Foundations of
Programming Semantics will take place on the campus of Aarhus
University in Aarhus, Denmark from May 24 to May 27, 2001. 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 17 include:
          Olivier Danvy  (Aarhus)
          Neil Jones  (DIKU)
          Kim Larsen  (Aalborg)
          Prakash Panangaden  (McGill)
          Jan Rutten  (CWI)
          Glynn Winskel  (Cambridge)

In addition to the invited talks, there will be three special sessions.  The first will honor Neil Jones for his contributions to theoretical computer science; it is being organized by Olivier Danvy and David Schmidt (Kansas State).

The second will be a special session on model-checking, and it is being organized by Rance Cleaveland (Stony Brook) and Kim Larsen. 

The final special session will be on security, and it is being organized by Catherine Meadows (NRL).

The remainder of the program will consist of papers selected from submissions we receive in response to this Call for Papers.

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 XVII are Olivier Danvy, Michael Mislove and David Schmidt.

The Program Committee Co-chairs for the meeting are Stephen Brookes and Michael Mislove. The Program Committee also includes:
   Lars Birkedal (ITU)
   Rance Cleaveland (Stony Brook)
   Marcelo Fiore (Sussex)
   Matthew Hennessy (Sussex)
   Alan Jeffrey (DePaul)
   Achim Jung (Birmingham)
   Gavin Lowe (Oxford)
   Catherine Meadows (NRL)
   Peter O'Hearn (Queen Mary and Westfield)
   Susan Older (Syracuse)
   Dusko Pavlovic (Kestrel Institute)
   Uday Reddy (Birmingham)
   Giuseppe Rosolini (Genoa)
   Davide Sangiorgi (Inria - Sophia Antipolis)
   Andre Scedrov (Penn)
Submissions must be extended abstracts of 12 pages or less. They should be in the form either of a PostScript file that can print on any PostScript printer, or a pdf file. In particular, submissions
should use the US letter size format, as opposed to the European A4 size.

Submissions can be sent by email to [email-masked] 

The Deadline for Submissions is January 15, 2001

Information about decisions will be available by February 20, 2001, at which time a list of accepted papers will be posted.

As with MFPS XI, MFPS XIII and MFPS XV, the Proceedings of the conference will be published as a volume of the Electronic Notes in Theoretical Computer Science. For information about this series, access the URL http://www.elsevier.nl/locate/entcs.

General inquiries about MFPS XVII can be addressed to [email-masked].

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.

               Registration Information
Detailed information about registration and accommodations will be available on February 20, 2001, when the list of papers accepted for the meeting is posted.

=============================================================
Michael W. Mislove
Professor and Chairman                   Phone:  +1 504 862-3441
Department of Mathematics             FAX:      +1 504 865-5063
Tulane University                             Email:     [email-masked]
New Orleans, LA 70118                   URL:      http://www.math.tulane.edu/~mwm
USA
=============================================================