taylor@hplabsc.UUCP (Dave Taylor) (10/10/86)
This article is from Bella Bose <bose%oregon-state.csnet@RELAY.CS.NET> and was received on Thu Oct 9 22:38:09 1986 CALL FOR PAPERS FTCS17 THE SEVENTEENTH INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING sponsored by IEEE Computer Society's Technical Committee on Fault-Tolerant Computing Portland, Oregon, June 17-19, 1987 The Fault-Tolerant Computing Symposium has, since 1971, become the most important forum for discussion of the state-of-the-art in fault-tolerant computing. It addresses all aspects of specifying, designing, modeling, implementing, testing, diagnosing and evaluating dependable and fault-tolerant computing systems and their components. A special theme of the conference will be the practical application of fault-tolerance to the design of safety critical systems, real-time systems, switching systems and transaction systems. Papers relating to the following areas are invited: a) design methods and basic algorithms for distributed fault-tolerant systems, b) specification, design, testing, verification of reliable software, c) specification, design, testing, verification, and diagnosis of reliable hardware d) fault-tolerant hardware system architectures, e) reliability, availability, safety modeling and measurements, f) fault-tolerant computing systems for safe process control, digital switching, manufacturing automation, and on-line transaction processing. Authors should submit 6 copies of papers before the submission deadline (November 21, 1986) to the program co-chairmen: Flaviu Cristian, IBM Research K55/801, 650 Harry Rd., San Jose, Ca 95120-6099, USA, and Jack Goldberg, SRI International, 333 Ravenswood Ave., Menlo Park, Ca 94025. Papers in areas a, b, and f should be sent to F. Cristian, and papers in areas c, d, and e to J. Goldberg. Papers should be no longer than 5000 words, should include a clear description of the problem being discussed, comparisons with extant work, and a section on major original contributions. The front page should include a contact author's complete mailing address, telephone number and net address (if available), and should clearly indicate the paper's word count and the area to which the paper is submitted. Submissions arriving late or departing from these guidelines risk rejection without consideration of their merits. The general chairman for this symposium is John Wensley, August Systems, USA. The program co-chairmen are: Flaviu Cristian, IBM, USA, and Jack Goldberg, SRI International, USA. Publicity chaiman is Bella Bose, USA. The program committee consists of: Jacob Abraham, USA, Vinod Agarwal, Canada, Sheldon Akers, USA, Philip Bernstein, USA, Bill Carter, USA, Jim Gray, USA, Hirokazu Ihara, Japan, Ravi Iyer, USA, Kozo Kinoshita, Japan, John Knight, USA, Herman Kopetz, Austria, Leslie Lamport, USA, Jean-Claude Laprie, France, Gerard Le Lann, France, Nancy Leveson, USA, Barbara Liskov, USA, Bev Littlewood, UK, Ed McCluskey, USA, Michael Melliar-Smith, USA, David Parnas, Canada, David Rennels, USA, Richard Shlichting, USA, Fred Schneider, USA, Dan Siewiorek, USA, Dale Skeen, USA, Basil Smith, USA, Yoshi Tohma, Japan, Wing Toy, USA, Kishor Trivedi, USA, Ted Williams, USA. Ex Officio member: Tom Anderson, UK, TC chairman.