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.