CFP: Formal Methods in Software Practice

------- Forwarded Message
From: sankar@Xenon.Stanford.EDU (Sriram Sankar)
Date: 2 May 1995 18:43:20 GMT
Subject: Call for Papers - Formal Methods Workshop with ISSTA
Newsgroups: comp.specification


First Workshop on


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
 at http://xenon.stanford.edu/~sankar/fmw.html)

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
  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.

Important Dates:

Submission deadline:               August 14, 1995
Notification of acceptance:        October 13, 1995
Final versions due:                November 13, 1995

Program Committee:

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

General Chair:

Sriram Sankar
Sun Microsystems Laboratories
2550 Garcia Avenue, UMTV29-112
Mountain View, California - 94043-1100

[pending final approval from ACM SIGSOFT]

------- End of Forwarded Message