International Journal of Computer Systems: Science & Engineering. Special
Issue on Developing Fault-Tolerant Systems with Ada. Call for Papers. An
electronic version of the abstract is to be sent to A. Romanovsky at:
alexander.romanovsky@ncl.ac.uk  (phone:+44 191 222 8135; fax: +44 191 222
8232) by June 1, 1999. Full submissions are to be forwarded by June 15,
1999 to one of the guest editors (electronic submissions are encouraged):
A. Romanovsky or A.J. Wellings  at andy@minster.cs.york.ac.uk More 
information:
http://www.cs.ncl.ac.uk/people/alexander.romanovsky/home.formal/ftada.html