1998 : 3rd Workshop

3rd Australian Workshop on Safety Critical Systems and Software

The Safety Critical Systems Technical Committee held its 3rd National Workshop on Safety Critical Systems and Software (SCS 1998) in Adelaide on the 13th November 1998, co-located with the 1998 Australian Software Engineering Conference ( ASWEC'98). This year's workshop attracted over 40 participants from a wide range of industries.

The full-day workshop consisted of a series of practical experience reports, a tutorial on formal methods, and an expert panel discussion session.

The workshop papers included reports on critical systems in railways, air traffic control, and the processing industry, and a process for the safety analysis of Human Computer Interfaces.

Click here for the programme.

For any information about the SCS 1998 Workshop, please contact:

Dr Peter Lindsay (SCS'98 Workshop Chair)
Software Verification Research Centre,
The University of Queensland, Qld 4072, Australia
Phone: +61 7 3365 2005 Fax: +61 7 3365 1533

Copies of the workshop proceedings (ISBN 0-9099-2570-4) can be purchased from: the

Membership Services Manager,
Australian Computer Society,,
PO Box 534, Queen Victoria Building,
Sydney, NSW 1230, Australia
Phone: +61 2 9299 3666 Fax: +61 2 9299 3997
email: This e-mail address is being protected from spam bots, you need JavaScript enabled to view it

Please contact for pricing details.