The LaTeX version of this Call for Papers is available.
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:
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.