Distributed applications are making a critical contribution in many application sectors, such as office automation, finance, manufacturing, telecommunications, aerospace, and transportation. Users demand support for the construction, integration and management of their application systems as well as for the interoperability of independent application components. DAIS'97 will provide a forum for researchers, application designers and users to review, discuss and learn about new approaches and concepts in the fields of distributed applications. DAIS'97 will especially focus on the interoperability between different applications and services, diffe- rent implementations of the same and of different distributed platforms. Formal methods for distributed systems verification and testing DAIS'97 includes keynote speeches, paper and working sessions.
Ample time is dedicated for discussions.
Papers that point out new directions are particularly welcome. It is intended to publish accepted papers by an international publisher. The title page should include corresponding author's full name, complete postal and e-mail addresses, telephone and fax numbers, an abstract and keywords. We strongly encourage electronic submission of papers in Postscript format.