[Apologies if you receive multiple copies of this announcement]
BCS-FACS Evening Seminar Series
Realising the Benefits of Formal Methods
Dr Anthony Hall
21 June 2006
BCS London Offices
The Davidson Building
5 Southampton Street
London WC2E 7HA
What do formal methods really offer to software engineers? When should
used? Who should use them? Where do they fit into the development process?
What benefits - if any - do they really bring?
There are several quite different ways of answering these questions. I
will take a
critical look at some of the answers that have been proposed, and in
whether the answers given by the formal methods research community are
out in practice.
I will describe in some detail one particular approach, Correctness by
This is highly successful - and I have the numbers to prove it - but it
unfashionable and almost nobody uses it. I will look at the reasons for
and try to understand its lack of appeal.
Finally I will look at the implications for research and development.
researching the right topics? Are we developing the right tools? What
real grand challenges of formal methods? What is needed to bring them into
Refreshments will be served from 5.15pm
The seminar is free of charge and open to everyone. If you would like to
please email Paul Boca [[log in to unmask]] your name by 18 June 2006.
Pre-registration is required, as security at the BCS Offices is tight.
Location of the venue: http://www.bcs.org/upload/img/londonsscolour.jpg
FACS Evening Seminars: http://www.bcs-facs.org/events/EveningSeminars