[CK] ================================================ AMAST Links 01 03

          The Journal of Methods of Logic in Computer Science
     Special Issue: Formal Methods in Logic for Responsive Systems

   The _full version_ of this Call for Papers is available at
URL: http://www.cs.utwente.nl/data/amast/links/v01/i03/full/MLCSc.txt

  A responsive computing system is one which responds to internal
programs or external inputs in a timely, dependable and predictable
manner.  These systems are a hybrid of real-time, distributed, secure,
safety-critical, and fault-tolerant systems.  In such a system, any
failure can cause catastrophes ranging from financial loss and loss of
privacy to physical damage and loss of life.  Thus, it is important to
ensure that the system is not only correct, but remains correct at run
time, under abnormal circumstances. Formal methods of logic can be used
to rigorously synthesize, specify, verify, debug, and model responsive
computing systems.  However, formal methods of logic are usually
dismissed as the domain of academicians and viewed as irrelevant or not
applicable to the design and implementation of large-scale software
projects due to their mathematical complexity.
  Work that emphasizes and reinforces the point that formal methods
can, and should, be used in practical construction of high quality,
reliable distributed software is of interest.  This special issue will
bring together papers in the following areas that support the use of
formal methods of logic in the construction of responsive computing
systems: Formal Specification/Verification/Refinement Techniques,
Requirements Specification, Assertional Reasoning and Executable
Assertions, Model Checking, Testing & Debugging (Predicate Detection),
Tool Support, Formal Semantics of Concurrency/Recovery, Compositional
Proof Systems, Distributed Systems Security, Experience Reports.
  *Submission:* 6 copies of your manuscript to the guest editor:
   Bruce McMillin (e-mail: bruce@cs.sunysb.edu)
   Computer Science Department, State Univ. New York at Stony Brook
   Room 1420 Computer Science Building, Stony Brook, NY 11794-4400 USA
   fax: 516-6328334, tel: 516-6328218 (Office), 516-6328471 (Secr).
  Submission instructions are in the full version of this announcement.
  *Dates:* Subm: June 1, 1995; notif: Sep 1, 1995; final: Oct 15, 1995.
The special issue will be published in the 2nd Quarter 1996.