bose@oregon-state.CSNET (Bella Bose) (10/03/86)
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.