The workshop will occupy one full day of the 11th International Parallel Processing Symposium IPPS'98. The workshop will be held as part of IPPS'98. 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. Workshop Proceedings will be available at the conference. Please include your postal address, e-mail address, telephone and fax numbers. All manuscripts will be reviewed.