[M3] ================================================ AMAST Links 03 01

            Formal Methods for Industrial Critical Systems
                   Oxford, England, March 19th, 1996
                    (Satellite Workshop at FME'96)

  The first workshop of the ERCIM Working Group on  Formal Methods for
Industrial Critical Systems will be held in Oxford on March 19th, 1996
as a satellite meeting of the FME'96 Symposium.

  *Further information* is available:
 o  On the _workshop_, at URL:
        http://fdt.cnuce.cnr.it:8080/Home/fm-ercim/workshop.html
 o  On the _working group_, at URL:
        http://fdt.cnuce.cnr.it:8080/Home/fm-ercim/WgDescription.html