[Apologies for multiple messages]
CALL FOR PAPERS: FMPPTA'2003
------------------------------
8th International Workshop on
Formal Methods for Parallel Programming:
Theory and Applications
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.
Topics
------
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:
- 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.
Program Committee
-----------------
Flemming Andersen INTEL (USA) (to be confirmed)
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 (to be confirmed)
Lawrence Paulson Cambridge University, UK
Laurence Pierre Universite de Provence, France
Joy Reed Armstrong Atlantic State University, USA (to be conf.)
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 (to be confirmed)
David Skillicorn Queens University, Canada
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
Paper Submission
----------------
Authors should submit their original contributions as PostScript or
pdf files electronically to Michel Charpentier ([log in to unmask]).
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
Workshop Web Site
-----------------
http://www.cs.unh.edu/~charpov/FMPPTA
|
