Fourth International Workshop on 
Formal Methods for Parallel Programming : 
Theory and Applications 

FMPPTA'99 : Modeling and proving  

In conjunction with
Second Merged Symposium IPPS/SPDP 1999
13th International Parallel Processing Symposium & 10th Symposium on Parallel and Distributed Processing
April 12 - April 16, 1999
Caribe Hilton, San Juan, Puerto Rico
Sponsored by 
IEEE Computer Society Technical Committee on Parallel Processing
In cooperation with:
ACM SIGARCH,
IEEE Computer Society Technical Committee on Computer Architecture (TCCA),
and
IEEE Computer Society Technical Committee on Distributed Processing (TCDP),
 
 
Formal methods have been widely investigated in academic institutions and more recently have been applied in industry.  They allow systems and their properties to be described precisely using mathematical notation. Algorithmic solutions are developed from the formal specification with the help of mathematical techniques and tools. Although they may be expensive to apply, formal methods are the only way to ensure that an implementation is correct with respect to a specification, and are thus an important tool for the development of reliable systems.

The objective of the workshop is to gather people, both from academia and industry, who use and/or develop formal methods for parallel programming. FMPPTA'99 will emphasize two steps related to formal methods: the modeling phase where the problem is stated formally, and the proving phase that demonstrates the correctness of an implementation. As this workshop is a part of IPPS/SPDP, authors are strongly invited to use real case studies borrowed from parallel processing or distributed computing. 
Topics  Call For Papers (deadline is over)  Programme  Program Committee     Contacts     Publications 
Submissions 
Requests to Dominique.Mery@loria.fr