Call for papers: Seventh IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA-7) http://www.csl.sri.com/dcca7 January 6-8, 1999 in San Jose California, USA Postscript versions of this call, together with additional information and links, are available from the DCCA7 Web page above This is the seventh conference in a series dedicated to advancing the theory and practice of dependable computing for critical applications. Previously unpublished papers are sought in all aspects of dependable computing, including, but not limited to: * Attributes of dependability such as security, safety, reliability * Impairments to dependability such as permanent and transient faults, intrusions, design flaws, human error * Algorithms and techniques for fault-tolerant, real-time, secure, distributed systems * Design and verification techniques such as formal methods, model checking, fault injection, stochastic modeling * Requirements validation, hazard analysis, safety analysis * Regulatory and certification issues such as standards, safety cases, reliability assessment * Critical application areas such as transportation and medical systems, process and power industries Papers that deal with combinations of issues, such as security and reliability, or combinations of techniques, such as formal methods and fault injection, are particularly encouraged. DCCA differs from other conferences on related topics in encouraging participation across all fields that contribute to dependable computing, and in its format as a working conference that provides ample time for discussion; these attributes provide for a stimulating meeting that facilitates cross-fertilization of ideas and interaction between researchers and practitioners. Proceedings The proceedings will be published as a book in the Dependable Computing Series of the IEEE Computer Society (which also published the proceedings of DCCA-5 and DCCA-6), with preliminary proceedings available at the conference and on the Web. Location The conference will be held at the Fairmont Hotel in San Jose, California. San Jose, at the southern end of the San Francisco Bay, is in the heart of Silicon Valley. There are direct flights to San Jose airport from major US cities and gateways. Alternatively, you can fly to San Francisco, about 40 miles north, and use a van service, bus, or rental car. The winter weather in San Jose is mild with overnight low temperatures around 50F/10C and daytime highs around 65F/18C; the typical pattern alternates rainstorms of 2-3 days duration with week-long spells of sunshine and clear skies. Submitting a Paper Papers should be submitted electronically according to the instructions available from the DCCA Web page http://www.csl.sri.com/dcca7 and reproduced below. Important Dates Submission deadline: 3 August 1998 Notification of acceptance: 12 Oct. 1998 Camera-ready copy: 16 November 1998 Conference: 6--8 January 1999 ----------------------------------------------------------------------------- Organized by IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance In cooperation with (pending approvals) The Software Engineering Institute, Carnegie Mellon University IFIP Technical Committee 11 on Security and Protection IEEE Computer Society Technical Committee on Fault-Tolerant Computing EWICS Technical Committee 7 on Systems Reliability, Safety and Security General Chair Charles B. Weinstock, SEI, USA Program Chair John Rushby, SRI International, USA Program Committee Kathy Abbott, FAA, USA Jacob Abraham, Univ. of Texas, USA Ozalp Babaoglu, Univ. of Bologna, Italy Alan Burns, Univ. of York, UK Flaviu Cristian, UCSD, USA Ben Di Vito, ViGYAN/NASA, USA Danny Dolev, Hebrew Univ., Israel Kevin Driscoll, Honeywell, USA Marie-Claude Gaudel, LRI, France Friedrich von Henke, Univ. of Ulm, Germany Gerard Holzmann, Bell Labs, USA Ravi Iyer, Univ. of Illinois, USA Yoshiaki Kakuda, Hiroshima City U., Japan Peter Kearney, SVRC, Australia Carl Landwehr, NRL, USA Bev Littlewood, City Univ., UK Cathy Meadows, NRL, USA David Powell, LAAS-CNRS, France Brian Randell, U. Newcastle upon Tyne, UK Mike Reiter, AT&T Labs, USA Bill Roscoe, Oxford Univ., UK William H. Sanders, Univ. of Illinois, USA Rick Schlichting, Univ. of Arizona, USA Roger Shaw, ERA Technology Ltd., UK Paulo Verssimo, Univ. of Lisbon, Portugal Ex-officio Hermann Kopetz, TU Vienna, Austria; IFIP WG 10.4 Chair ----------------------------------------------------------------------------- Instructions for Preparing and Submitting Papers to DCCA-7 Submitted papers must be original work, neither published, nor accepted, nor submitted elsewhere. Papers must include a short abstract and a list of keywords to assist in assigning reviewers. Length and Format Papers must not exceed 6,000 words, or 20 pages in the format specified below (whichever is shorter). Papers that exceed these limits will be rejected without review. Papers should be formatted according to the specifications for a book of collected papers published by IEEE Computer Society Press. (Note: this format is completely different from the IEEE proceedings format). The specifications, together with LaTeX and MS Word templates are are available by anonymous FTP from ftp://ftp.computer.org/pub/outgoing/cspress/books. Please make sure your pages are numbered (the instructions talk about turning page numbering off, but that's for the final camera-ready form; for reviewing we want page numbering on). LaTeX Notes: If necessary, you may substitute Computer-Modern for the Times fonts (in fact, you may omit any of the usepackage declarations from the template file), but may not change the font sizes nor page margins. The LaTeX template requires LaTeX2e. If you absolutely must use LaTeX 2.09, pick up the files csmult209.tex and csinstr209.tex from the DCCA Web page. Submission Procedures Your paper must be submitted electronically as a self-contained postscript (strongly preferred) or Adobe Acrobat (PDF) file. Please consult the DCCA Web page or follow these steps: 1 Create a self-contained postscript or acrobat file for your paper. Check that it can be processed satisfactorily by standard viewers (Ghostview, Acrobat Reader) and printers (Ghostscript, generic postscript printers). Because many Mac and Windows programs generate faulty postscript, you are encouraged to check their output with pscheck, available from http://www.this.net/~frank/pscheck.html. 2 Optionally compress postscript files with either Unix Compress, GNU gzip, or DOS/Windows ZIP. Acrobat files are already compressed. 3 If your paper is in acrobat format, or if your postscript file is compressed, then use UUencode or mime-encapsulation so that the binary file will get through the mail correctly. You are encouraged to practice by mailing the file to yourself and checking that it can be processed and printed correctly. 4 Fill in and submit the DCCA electronic submission form at http://www.csl.sri.com/ rushby/dcca7/submit.html (or follow the links from the DCCA Web page). 5 Email the file containing your paper to Rushby@csl.sri.com in a message with "DCCA7 submission" as the subject. You will receive an acknowledgment when we have checked that your file can be viewed and printed ok. Exceptions Persons in countries with poor internet connectivity, or for whom these submission requirements are onerous in some other way, may submit a single hard copy of their paper by regular mail, or an electronic copy, in whatever format they can manage, to the following address. All papers must be received by the deadlinea and electronic submissions must be capable of being interpreted by a generic Unix system. Dr. John Rushby Tel: +1 (650) 859-5456 DCCA Program Committee Chair Fax: +1 (650) 859-2844 Computer Science Laboratory Email: Rushby@csl.sri.com SRI International 333 Ravenswood Avenue Menlo Park CA 94025 USA