CFP: FMPPTA'2003 (extended deadline)
Michel Charpentier
* *
* DEADLINE FOR PAPER SUBMISSION HAS BEEN EXTENDED TO NOVEMBER 22nd, 2002 *
* *
*******************************************************************************
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
(cha...@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: 22 November, 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 Provence, 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