Fourth
International Workshop on
Formal Methods for Parallel Programming : Theory and Applications FMPPTA'99 : Modeling and proving

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)  Program Committee  Contacts  Publications  
Submissions 