taylor@hplabsc.UUCP (Dave Taylor) (11/18/86)
This article is from Nancy Leveson <nancy@icsd.uci.edu>
and was received on Mon Nov 17 20:33:41 1986
CALL FOR PAPERS -- Safety and Reliability Society Symposium
"Achieving Safety and Reliability with Computer Systems"
Manchester, United Kingdom
11-12 November, 1987
Papers relating to the following system aspects of real-time computers
are invited:
Integrity throughout the lifecycle
Safety Assessment
Reliability Assessment
Reliability Criteria
Safety Criteria
Specification for safety and reliability
Design for safety and reliability
Architecture for safety and reliability
Development for safety and reliability
Operation for safety and reliabilitY
Papers are also invited that report on experience of the implementation
and use of computers in safety and reliability critical applications.
HOW TO SUBMIT A PAPER
Synopses giving the title, authors, affiliations, and up to 500 words
should be returned to the organiser by 7 January 1987. The initial
selection of papers by the International Programme Committee will be
based on the synopses. Authors will be notified of acceptance at synopsis
stage by 28 February 1987. Full text papers of not more than 4000 words
required before 15 May 1987. Papers will then be reviewed, and formal
acceptance notified to authors in July 1987 following satisfactory revision
of the paper by the author.
ORGANISER
SARSS '87
The Safety and Reliability Society Ltd.
Clayton House
59 Piccadilly
Manchester M1 2AQ
United Kingdom
INTERNATIONAL PROGRAMME COMMITTEE: B.K Daniels, Chairman
T. Anderson, UK N. Leveson, USA
E. de Agostino, Italy S.R. Nunns, UK
R. Bell, UK I. Pyle, UK
P. Bishop, UK W.J. Quirk, UK
R. Bloomfield, UK J.M.A. Rata, France
S. Bologna, Italy F. Redmill, UK
J. Cullyer, UK C. Roberts, Belgium
G. Dahll, Norway B. Runge, Denmark
W. Ehrenberger, Germany L. Sintonen, Finland
R. Genser, Austria I.C. Smith, UK
J. Gorski, Poland U. Voges, Germany
G.B. Guy, UK T. Williams, USA
E. Johnson, UK R. Yunker, USA
S. Lindskov Hansen, Denmark