The Australian Computer Society

---

3rd Australian Workshop on Industrial Experience with
Safety Critical Systems and Software

Sponsored by the ACS's Technical Committee on Safety Critical Systems.

---

The Australian Computer Society's Technical Committee on Safety Critical Systems held its Third National Workshop on Safety Critical Systems and Software (SCS'98) in Adelaide on 13 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. Click here for the workshop program.

This year's workshop papers include reports on critical systems in railways, air traffic control, and the processing industry, and a process for safety analysis for Human Computer Interfaces.

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

Membership Services Manager,

Australian Computer Society,

PO Box 534, Queen Victoria Building,

Sydney, NSW 1230, Australia

Tel: +61 2 9299 3666, Fax: +61 2 9299 3997

email: membservices@acslink.net.au

The ACS held similar workshops in Brisbane in 1996 and in Sydney in 1997, and on both occasions attracted more than 35 participants nationally and from overseas: click here for a report on the 1997 workshop, including links to many of the papers presented.

For further details contact:

Dr Peter Lindsay (SCS'98 Workshop Chair)

Software Verification Research Centre,

The University of Queensland, Qld 4072, Australia

phone: (07) 3365 2005 fax: (07) 3365 1533

email: pal@it.uq.edu.au

---