The workshop will be held as part of IPPS'98. There will not be separate registration for the workshop. Formal methods have been widely investigated in academic institutions. More recently they are being applied in industry. Systems and their properties can be described precisely using mathematical notations, offerring a way to achieve higher reliability.
Formal methods combine methodological aspects in a formal framework.
Although they appear to be difficult to apply, they are the only means of ensuring that an implementation is correct with respect to a given specification. There are potentially many different approaches to improving the environment for parallel programming. Please include your postal address, e-mail address, telephone and fax numbers. All manuscripts will be reviewed. Notification of review decisions will be mailed by December 15,1997.