This announcement is available in HTML and PostScript format.
Research in formal methods has been going on for more than twenty years now in various areas such as mathematical verification, formal specification, transformation, prototyping, and testing. Recently, several flavors of formal methods have been gaining industrial acceptance and production quality software tools have begun emerging.
The purpose of this workshop is to bring together experts in formal methods technology and the early innovators in industry who have adopted formal methods. Discussions will focus on the impact of formal methods on software practice, as well as on strategies to further this impact in the future. This workshop is being co-located with ISSTA (International Symposium on Software Testing and Analysis) to encourage the cross-pollination of ideas between the formal methods and the testing communities.
Authors are invited to submit extended abstracts not longer than 4000 words. Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this workshop. Extended abstracts accepted for presentation will also be published in the workshop proceedings. Please send five copies of your submissions to the general chair by August 14 (submissions received after the deadline will be disregarded).
Submissions should focus on the application of formal methods to software practice.
Important Dates: Submission: August 14, 1995; Notification of acceptance: October 13, 1995; Final versions due: November 13, 1995
Program Committee: M. Ardis; M. Broy; B. Krieg-Brueckner; D. Detlefs; P. Frankl; D. Kapur; P. Krishnan; D. Luckhamy; S. Meldal D. Parnas; D. Richardson; R. Platek; D. Rosenblum; S. Sankar; W. Scherlis; A. Wasserman; J. Wing.
General Chair: Sriram Sankar, Sun Microsystems Laboratories 2550, Garcia Avenue, UMTV29-112 Mountain View, California - 94043-1100 USA phone: 415-336-6230, e-mail: sriram.sankar@sun.com