[C5] ================================================ AMAST Links 02 05

       ISSTA'96  Workshop on Formal Methods In Software Practice
             January 11, 1996, San Diego, California, USA

   This announcement is available in HTML and PostScript format at URL:
   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.
  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