The Workshop

This workshop focuses on key technologies that broaden the application of formal methods in an industrial setting. Rather than addressing special topics in an isolated way it is intended to embrace the various aspects of this emerging new technology comprehensively with respect to its industrial applications. The workshop provides an open forum for scientists, practising engineers, and members of regulatory and funding agencies to discuss the achievements as well as future needs and developments. The main objective of the workshop is to outline a picture of this technology and its role in the overall software life cycle at the end of this century. One of the major aims is to assist the (German and European) institutions involved in their assessment of this technology with respect to their future funding policies. Also some major multinational companies will be involved with respect to their engagement in this technology.

The workshop will be divided into a technical program composed of invited and submitted talks, demonstrations of the main tools, and a special one day application forum including a panel discussion about future trends in formal methods.