laprie@laas.laas.fr (Jean-Claude Laprie) (12/29/88)
CALL FOR PAPERS International Working Conference on DEPENDABLE COMPUTING FOR CRITICAL APPLICATIONS Can we rely on computers? University of California, Santa Barbara, California, USA August 23-25, 1989 Organized by IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance In cooperation with Technical Committee on Fault Tolerant Computing of the IEEE Computer Society Technical Committee 7 on Systems Reliability, Safety and Security of EWICS Increasingly, individuals and organizations are developing or procuring sophisticated computing systems on whose services they need to place great reliance. In differing circumstances, the focus will be on differing properties of such services P e.g. continuity, performance, real-time response, ability to avoid catastrophic failures, prevention of deliberate privacy intrusions. The notion of dependability, defined as that property of a computing system which allows reliance to be justifiably placed on the service it delivers, enables these various concerns to be subsumed within a single conceptual framework. Dependability thus includes as special cases such attributes as reliability, availability, safety, security. The Working Conference is aimed at encouraging development of a unified framework integrating the approaches, methods and techniques for specifying, designing, building, assessing, validating, operating and maintaining computer systems which should exhibit some or all of these attributes. A key issue is protection of computers against faults resulting from combination of sources: accidental / intentional, operational / design, physical / human, internal / external, etc. Submitting a Paper: Five copies (in English) of original work should be submitted by January 31, 1989, to the Program Chair: Dr. Jean-Claude Laprie LAAS-CNRS 7, Avenue Colonel Roche 31077 Toulouse Cedex, France Tel: +(33) 61 33 62 39 Telex: 520930F LAASTSE Fax: +(33) 61 55 35 77 E-mail: laprie@laas.laas.fr Papers should be limited to 6000 words, full page figures being counted as 300 words. Each paper should include a short abstract and a list of keywords indicating subject classification. Papers will be refereed and the final choice will be made by the Program Committee. Notification of acceptance will be sent by May 5, 1989, and camera-ready copy will be due on June 15, 1989. A digest of papers will be available at the Conference, and hardbound proceedings will be published after the Conference. Important Dates: Submission deadline: January 31, 1989 Acceptance notification: May 5, 1989 Camera-ready copy due: June 15, 1989 Program Committee T. Anderson, UK A. Avizienis, USA W.C. Carter, USA A. Costes, France F. Cristian, USA G. Gilley, USA J. Goldberg, USA H. Ihara, Japan J.P.J. Kelly, USA H. Kopetz, Austria J.C. Laprie, France, Chairman B. Littlewood, UK J.F. Meyer, USA B. Randell, UK J.M. Rata, France L. Simoncini, Italy Y. Tohma, Japan U. Voges, FRG