CALL FOR PAPERS
First Workshop on
FORMAL METHODS IN SOFTWARE PRACTICE
January 11, 1996, San Diego, California, USA
Co-located with ISSTA'96
Sponsored by ACM SIGSOFT
(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. 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 the general
chair by August 14 (submissions received after the deadline will be
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, etc.
. Software Processes Based on Formal Methods: Design, prototyping,
development, testing, analysis, verification, refinement, etc.
. 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
. Partial Approaches: The use of formal methods to focus on practical
verification of specific program properties (e.g., array bounds,
. 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.
Submission deadline: August 14, 1995
Notification of acceptance: October 13, 1995
Final versions due: November 13, 1995
Mark Ardis, AT&T Bell Laboratories
Manfred Broy, Technical University, Munich, Germany
Bernd Krieg-Brueckner, University of Bremen, Germany
David Detlefs, DEC System Research Center
Phyllis Frankl, Polytechnic University (Brooklyn), New York
Deepak Kapur, SUNY, Albany
Padmanabhan Krishnan, University of Canterbury, New Zealand
David Luckham, Stanford University
Sigurd Meldal, University of Bergen, Norway
David Parnas, McMaster University, Ontario, Canada
Richard Platek, Odyssey Research Associates
Debra Richardson, University of California Irvine
David Rosenblum, AT&T Bell Laboratories
Sriram Sankar, Sun Microsystems Laboratories
William Scherlis, Carnegie-Mellon University
Anthony Wasserman, Interactive Development Environments (IDE)
Jeannette Wing, Carnegie-Mellon University
Sun Microsystems Laboratories
2550 Garcia Avenue, UMTV29-112
Mountain View, California - 94043-1100