[CH] ================================================ AMAST Links 02 07

7th BCS FACS Refinement Workshop: Theory and Practice of System Design
             University of  Bath, England, 3--5  July 1996 

   The full LaTeX version of the _Call for Papers_ is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i07/full/AC0207CH.tex

  Formal techniques constitute the foundation of a systematic design.
They have beneficial applications throughout the engineering process,
from the capture of requirements through specification, coding and
compilation, right down to the hardware which embeds the system into
its environment. The use of refinement techniques in computing systems
is increasing rapidly, as it provides the theoretical foundations for
the design of reliable systems.
  The workshop is devoted to considering the problems and the solutions
in computing system design. Particular emphasis will be given to
examination of how well formal refinement techniques for design,
analysis and verification serve in relating theory to practical
development of real time systems.
  Papers are invited which address theoretical or practical issues in
development and/or application of formal system specification, design,
refinement and implementation. The organisers are aiming for a balanced
mixture of theoretical and practical material, drawn from fully
refereed papers as well as invited presentations. Some particular
themes that might be addressed by authors are listed in the full
version of this announcement. Papers with clear industrial relevance
are particularly encouraged.
  The proceedings are likely to be published by Springer-Verlag as part
of the BCS Workshop series. Details of the cost of the workshop and a
provisional timetable will be distributed at beginning of March 1996.
  Submission details and other information are in the full version of
this Call. Depending on availability of suitably mature (and formally
based) software engineering tools to support refinement, a tool
demonstration may also be possible.
  *Dates For Authors*
   Submission of papers:        15th November 1995
   Notification of acceptance:  15th January 1996
   Camera-ready copy of papers: 15th April   1996