[C6] ================================================ AMAST Links 02 05

             Third Formal Methods Europe Symposium, FME'96
           Industrial Benefit and Advances in Formal Methods
                       Oxford, March 18-22, 1996

   *More information* is available at URL:
   http://www.lri.fr/conferences/FME-96/

  The third FME Symposium will be held at St Hugh's College in Oxford
from 18 to 22 March 1996. It will be organised by Formal Methods
Europe, as the successor of the last previous VDM symposia, FME'93 and
FME'94, and co-sponsored by the IFIP Working Group 14.3 (Foundations
of Systems Specifications). The theme of FME'96 will be "The
Application and Demonstrated Industrial Benefit of Formal Methods,
Their New Horizons and Strengthened Foundations."
  Three kinds of full-length paper are solicited:
 1. reports on industry usage ;
 2. research papers on existing methods, (for instance extensions,
    innovative case studies,...);
 3. articles on stimulating theoretical research with strong potential
    applications.
  Proposals for tutorials and tool demonstrations are welcome.
  *Topics:* Practical use, case studies; Comparisons of existing
formal methods, extensions, improvement; Theoretical foundations;
Tools; Specification and refinement techniques; Proof and test;
Development process; Linking formal and informal methods; Concurrency,
real-time and reactive systems; Secure or/and safety-critical systems;
Object orientation; Education and technology transfer.
  *Programme Chair:*
   Marie-Claude Gaudel, LRI-CNRS,
   Universite' de Paris-Sud, Bat. 490, F-91405 Orsay cedex, France
   tel: +33 1 69416629, fax: +33 1 69416586, email: mcg@lri.lri.fr
  *Important Dates:* Deadline for Submission: September 11, 1995;
Notification of acceptance sent to authors: November 24, 1995;
Camera-ready copy due to publisher: January 8, 1996 (to be received in
Orsay).