[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
BCS London Offices
The Davidson Building
5 Southampton Street
London WC2E 7HA
The admirable ambition to prove programs correct assumes the
of a formal program specification, which is distinct from a formal ---
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
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.
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 [ XXXX@XXXXX.COM ] your name by
>>> 5 February 2007 <<<. Pre-registration is required, as security
BCS Offices is tight.
Location of the venue: http://www.yqcomputer.com/
FACS Evening Seminars: http://www.yqcomputer.com/