Hiroshima, Japan, Naples, Italy and Ottawa, Canada and Toulouse, France. It is interested in properties such as reliability, availability, safety, security and quality of software. It is sponsored by the IEEE Computer Society.The symposium usually last