(Apologies if you receive multiple copies of this announcement)

Formal Aspects of Safety Critical Systems
BCS-FACS, the Safety-Critical Systems Club, and FME

9 December 2008

BCS London Offices
First Floor, The Davidson Building
5 Southampton Street
London WC2E 7HA

Formal methods have long been advocated as techniques for defect
avoidance in the development of safety-critical systems. They rely
on the use of rigorously defined mathematical abstractions to permit
precise modelling, analysis and verification of designs and code.
Although they have been seen as expensive 'high-end' technology,
advances in tool support, coupling of formal techniques with other
methods such as static analysis, and technical advances in areas
such as model checking have the potential to improve the
cost-effectiveness of formal techniques.