Call for Papers Second Workshop on Formal Methods in Software Practice (FMSP98) Sponsored by ACM SIGSOFT, Co-located with ISSTA98 Clearwater Beach, Florida, USA 4-5 March 1998 This announcement is available on the web: Formal methods may offer solutions to many difficult problems in software engineering, but few software developers use them today. What needs to be done to accelerate the application of formal methods to software practice? 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. The format of the workshop will be presentations of accepted submissions and possibly a panel discussion. Attendance is open to all. 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 proceedings of the workshop. Please send five copies of your submissions to: Mark Ardis Bell Labs, 1G-353 1000 East Warrenville Road Naperville, IL 60563-7013 by August 29. (submissions received after the deadline may not be considered). Submissions should focus on the application of formal methods to software practice. They should cover topics related to formal methods technology transition to industry---experience reports, the needs of industry, and visions for the future. Specific topics of interest include, but are not limited to: -- Specification and Verification Technology: Languages and tool support, model checking. -- Software Processes Based on Formal Methods: Design, prototyping, development, testing, analysis, verification, refinement. -- Evolving Systems: The role of formal methods and specification technology in the design and development of evolving systems. -- Architecture Specifications: Specification of software architectures and conformance checking of implementations. -- Reverse Engineering: Document and requirements generation from existing formal specifications/implementations. -- Partial Approaches: The use of formal methods to focus on practical verification of specific program properties (e.g., array bounds, memory allocation). -- Security/Safety: Formal methods-based approaches to enhance various security and safety properties of programs. -- Case Studies: Use of formal methods in real life software projects. Kinds of software projects suited for formal methods. -- Education and Training: Experiences with formal methods technology transfer to software engineers and managers. Program Committee: Mark Ardis, Bell Labs (General Chair) Joanne Atlee, University of Waterloo Judy Crow, SRI Ben DiVito, ViGYAN / NASA Langley Carlo Ghezzi, Politecnico di Milano Mats Heimdahl, University of Minnesota Connie Heitmeyer, NRL Jim Hook, OGI Daniel Jackson, CMU Deepak Kapur, SUNY Albany John Knight, University of Virginia David Lee, Bell Labs Nancy Leveson, University of Washington Jan Storbank Pedersen, CRI Patrick Place, SEI David Rosenblum, University of California, Irvine Sriram Sankar, Sun Microsystems Labs Important Dates: Submission deadline: August 29, 1997 Notification of acceptance: October 31, 1997 Final versions due: November 24, 1997