[mod.conferences] CFP: 17th Symposium on Fault Tolerant Computing

taylor@hplabsc.UUCP (11/08/86)

This article is from Flaviu Cristian <FLAVIU@ibm.com>
 and was received on  Fri Nov  7 06:12:01 1986
 
Because of the resignation of the former general chair for the 17th
Int. Conf on Fault-tolerant computing, we had to change the location and
Symposium date, and the paper submission deadline. Please post the new
call for papers asap.

==============================================================

                     CALL FOR PAPERS

                         FTCS17
          THE SEVENTEENTH INTERNATIONAL SYMPOSIUM
              ON FAULT-TOLERANT COMPUTING
       sponsored by IEEE Computer Society's Technical
          Committee on Fault-Tolerant Computing

             Pittsburgh, PA, July 6-8, 1987

       --------------------------------------------------
       : Please note the changes in Symposium dates and :
       :     location and paper submission dealine!     :
       :________________________________________________:


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 algorithms for distributed
   fault-tolerant software systems,

b) specification, design, testing, verification of reliable software,

c) specification, design, testing, verification, and diagnosis of
   reliable hardware

d) fault-tolerant hardware system design and architecture,

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 December 5, 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 Symposium chair and vice-chair are John Shen and Dan Siewiorek,
both from Carnegie Mellon University, USA.  The program co-chairmen
are: Flaviu Cristian, IBM Research, USA, and Jack Goldberg, SRI
International, USA.  Publicity chairman is Bella Bose, Oregon State
Univ., USA.

The program committee consists of: Jacob Abraham, USA, Vinod Agarwal,
Canada, Sheldon Akers, USA, Philip Bernstein, USA, Bill Carter, USA,
Jim Gray, USA, Reinhold Gueth, Switzerland, 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 Schlichting, USA, Fred
Schneider, USA, Dan Siewiorek, USA, Dale Skeen, USA, Basil Smith, USA,
Yoshi Tohma, Japan, Wing Toy, USA, Kishor Trivedi, USA.  Ex Officio
member: Tom Anderson, UK, TC chairman.