[MJ] _________________________ AMAST Links 03 01

BCS FACS Group -- The Seventh Refinement Workshop

Theory and Practice of System Design
University of Bath, England, 3--5 July 1996

Update of information in [AL0207CH]
The Workshop Programme is available.

A prettier version is available on the FACS web site .

The 7th BCS FACS Refinement Workshop will create a forum that discusses developing trends and the the state-of-art in the area of systematic designs. The use of formal techniques in computing systems is increasing rapidly, and providing well-recognized contributions to this field. 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 workshop is designed to bring together researchers and practitioners from all areas of system design, and will aim to tackle some of the above issues. It will be a working conference with particular emphasis on participation through discussion.

Invited Speakers

• C.A.R. Hoare (Oxford University, UK)
• R.A. Back (Abo Akademi University, Finland)
• B. Moszkowski (University of Newcastle, UK)
• C.C. Zhou (University of United Nations, Macau)

Further information may be obtained from Joan Arnold at:

Email joan@comlab.ox.ac.uk
Tel: +44 (0) 1865 283521, Fax: +44 (0) 1865 273839

Postal Address:
Joan Arnold
Oxford University Computing Laboratory
Wolfson Building, Parks Road, Oxford OX1 3QD, UK