CALL FOR PAPERS
                                ---------------

                         8th International Workshop on
   Formal Methods for Parallel Programming: Theory and Applications (FMPPTA)

                     http://www.cs.unh.edu/~charpov/FMPPTA

                      to be held in conjunction with the
     International Parallel & Distributed Processing Symposium IPDPS'2003
       April 22-26, 2003, Nice Acropolis Convention Center, Nice, France


FMPPTA'2003 will occupy one full day of the 17th International Parallel &
Distributed Processing Symposium IPDPS'2003.  Registration for IPDPS is
required and includes participation in the workshop.  The workshop proceedings
will be published by IEEE CS Press.


SCOPE: Formal methods allow specifications of parallel and distributed programs
to be precisely stated and the conformance of an implementation to be verified
using mathematical techniques.  These methods are especially important in
parallel and distributed programming where the inherent non-determinism makes
testing ineffective.  Formal methods can be used in the development of
individual programs and effective tools are becoming available that help to
automate the verification task.  Foundations for frameworks can be developed
that, while requiring no proofs by the programmer, are guaranteed to result in
programs with certain properties.  These approaches provide significant
leverage to a formal analysis.  The objective of the workshop is to gather
people, from both academia and industry, who use and/or develop formal methods
for parallel or distributed programming. The association with IPDPS allows
participants to take part in a workshop focused on formal methods as well as
interact with researchers in the broader parallel and distributed processing
community.  Topics of interest include but are not limited to:

 - Foundations of frameworks for parallel and distributed computing
 - Case studies describing the use of formal methods to solve practical problems
 - Mechanized support for reasoning about parallel and distributed programming
 - Compositionality
 - Refinement
 - Interaction between compositionality and refinement

  
TOOL DEMOS: Authors who would like to give a demo of a tool used in their
research should notify one of the program committee chairs.  We hope to be able
to schedule extra time for demos.


PAPER SUBMISSION: Authors should submit their original contributions as
PostScript or pdf files electronically to Michel Charpentier
(charpov@cs.unh.edu).  Postal address, email, phone and fax numbers of a
corresponding author should be included. An early email with your intention to
submit a paper would be greatly appreciated. Please contact one of the
co-chairs if electronic submission is not possible and/or formats other than
PostScript or pdf are used.


IMPORTANT DATES: Deadline for submissions:             28 October, 2002
                 Notification of acceptance/rejection: 20 December, 2002
                 Print ready paper due:                24 January, 2003
                 IPDPS'2003:                           22-26 April, 2003
                 FMPPTA'2003:                          one full day during IPDPS


PROGRAM COMMITTEE:

Flemming Andersen         INTEL, USA
Michel Charpentier        University of New Hampshire, USA (co-chair)
Radhia Cousot             CNRS, France
Mamoun Filali             CNRS, France
Klaus Havelund            NASA, USA
Dominique Mery            Universite Henri Poincare, France
Michael Mislove           Tulane University, USA
Lawrence Paulson          Cambridge University, UK
Laurence Pierre           Universite de Nice, France
Joy Reed                  Armstrong Atlantic State University, USA
Jakob Rehof               Microsoft Research, USA
Beverly Sanders           University of Florida, USA (co-chair)
Kaisa Sere                Abo Akademi University, Finland
Jane Sinclair             University of Warwick, UK
David Skillicorn          Queens University, Canada