[Apologies if you receive multiple copies of this announcement]
BCS-FACS Evening Seminar Series
What Can We Expect From Program Verification?
Professor Michael Jackson, Open University and Consultant
7 February 2007
5.45pm start
BCS London Offices
First Floor,
The Davidson Building
5 Southampton Street
London WC2E 7HA
The admirable ambition to prove programs correct assumes the existence
of a formal
program specification, which is distinct from a formal ---or
informal---statement of
system requirements. In some systems the necessarily non-formal nature
of the physical
and human world, where the software is required to achieve its effects,
may make a
formal specification very hard, or even impossible, to obtain. A narrow
view of the
nature and goals of program verification is therefore often less useful.
But a broader
view brings into focus a number of larger possibilities and, with them,
larger opportunities
for deploying the reasoning and proving power of verification tools.
>>> After the seminar there will be a panel discussion. Panelists:
Michael Jackson and
Tony Hoare.
Refreshments will be served from 5.15pm
The seminar is free of charge and open to everyone. If you would like
to attend, please email Paul Boca [[log in to unmask]] your name by
>>> 5 February 2007 <<<. 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
|