April 22-26, 2003
Nice Acropolis Convention Center
Nice, France
FMPPTA'2003 will occupy one full day of the 17th International Parallel Processing Symposium (IPDPS'2003). Registration for IPDPS is required and includes participation in the workshop.
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.
The workshop proceedings will be published by IEEE CS Press.
Topics of interest include but are not limited to:
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.
| 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 |
). 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.
Michel Charpentier
Department of Computer Science
University of New Hampshire
Kingsbury Hall, rm M201
Durham, NH 03824
USA
Phone: 603-862-2981
Fax: 603-862-3493
| 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: | 26 April, 2003 |
>
Last modified: Tue Jul 22 09:54:09 EDT 2003