[CA] ================================================ AMAST Links 01 02

 Workshop on Using Tools for the Verification of Large Systems, BMW'95
            LaBRI, Universit'e Bordeaux I, June 19-21, 1995

   The _LaTeX version_ of this Call for Papers is available at
URL: http://www.cs.utwente.nl/data/amast/links/v01/i02/full/BMW95c.tex

  This workshop follows the three previous editions of BMW held at the
University of Bordeaux in October 1992, at the University of Quebec in
Montreal in both June 1993 and May 1994. This year, the theme is more
focused than previously: verification tools at work on `real' examples.
  Our aim is to explore scope, efficiency and limitations of available
tools. To achieve this, we invite researchers to present significant
experiments in using tools for the verification of large systems. 
  We expect these experiments to be shown at least partially during  
software demonstration sessions.
  One-hour lectures are scheduled: 4 invited lectures and 12
communications selected by the Program Committee. The presentations
will be followed by discussion and common work sessions.
  *Program Committee:* A. Arnold, S. Brlek, M. Ferguson, N. Halbwachs,
O. Roux, J. Thistle.
  *Invited Speakers:* J.P. Elloy, J.F. Groote, K. McMillan, J. Sifakis.
  *Organizing Committee:* P. Felix, A. Griffault (LaBRI, Bordeaux).
  *Submissions:* =<10-page papers on practical experiments; guidelines:
 o  Experiment: description of the experiment (industrial or academic)
    and practical application if any
 o  Validation: description of the formal validation techniques used
 o  Performance: space and time required for the analysis
 o  Discussion: impact of the validation and pointing out its positive
    aspects without omitting its negative ones
All submissions must be sent by e-mail to :
   Alain Griffault, LaBRI, Universite Bordeaux I
   351, cours de la Liberation, F-33405 Talence Cedex, France
   Phone: +33-56.84.69.15, Fax: +33-56.84.84.12
   e-mail: Alain.Griffault@labri.u-bordeaux.fr
  *Dates:* Subm: Feb 15, 1995; Notif: Mar 31, 1995; Final: May 15, 1995
  *Registration:* The registration fee is 400 FF (Students: 100 FF). 
  *Local arrangements, more information:* contact organizing committee.