[M4] ================================================ AMAST Links 02 08

                 ISSTA'96 and FMSP'96, Advance Program
    Hyatt Islandia, San Diego, California, USA, January 8-11, 1996

   *Update* of information in [AL0205C5].

   The _ISSTA'96 & FMSP'96 Advance Program_ is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i08/full/AC0208M4.txt

   ISSTA'96: Int'l Symp. on Software Testing & Analysis, Jan. 8-10
   FMSP'96: Workshop on Formal Methods in Software Practice, Jan. 10-11

   Sponsored by ACM SIGSOFT.

  ISSTA'96 brings together researchers and practitioners to present and
discuss research in software testing and analysis. Presentations will
cover a wide range of topics, including new theoretical models and
techniques, empirical results and experience, and software tools. This
year, a special workshop track within the symposium allows timely
presentation of work in progress, and of analyses, reviews, and
opinions on the state of software testing and analysis.

  The purpose of FMSP'96 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'96 to
encourage the cross-pollination of ideas between the formal methods
and the testing communities.

  Attendance at both meetings is open to all.

  Up-to-date information will be maintained at the following Web sites:

   ISSTA'96 : http://www.cs.ucsb.edu/Conferences/ISSTA96
   FMSP'96 : http://xenon.stanford.edu/~sankar/FMSP96