Reminder: The booking deadline for the meeting below is Wednesday 15
December. If you would like to attend, please email a completed registration
form to Paul Boca ASAP - see the website for details. If necessary, payment
can follow later. In addition, we can offer PhD students attendance at the
lower rate *including* free FACS membership for next year. If you wish to
take up this option, please say so in a covering email to Paul Boca with the
registration form.
Happy Christmas!
Jonathan Bowen
Chair BCS-FACS www.bcs-facs.org
--------------------------------------------------
BCS-FACS Christmas Meeting
The Verified Software Repository
21 December 2004
BCS London Offices
First Floor
The Davidson Building
5 Southampton Street
London WC2E 7HA
http://www.bcs-facs.org/events/xmas2004.html
The vision of the Grand Challenge project in Dependable Systems Evolution
is to make possible computer systems that are dependable and trustworthy
throughout their lifespan. A piece of technology which would contribute to
realising this vision is the Verifying Compiler, a tool that automatically
proves that a program is correct before allowing it to run. The Verifying
Compiler is an outstanding challenge in Computer Science that goes back
more than thirty years.
A step towards developing the Verifying Compiler is to facilitate the use
of verification tools, and thereby encourage their development, by lowering
the expertise threshold required to try them out. The aim of this workshop
is to bring together developers and users of formal software engineering
tools with the intention of establishing a repository of verification tools
and challenge codes for them, so as to progress the development of
technology contributing to the Verifying Complier and thus accelerate
progress towards the Grand Challenge in Dependable Systems Evolution.
This workshop is organised by Juan Bicarregui and Jim Woodcock (Programme
Co-Chairs), and Jonathan Bowen and Paul Boca (Organizational Co-Chairs) with
advice from Tony Hoare, the Grand Challenges 6 Chair. Speakers include:
Tony Hoare (Microsoft Research)
Juan Bicarregui (CCLRC Rutherford Appleton Laboratory)
Michael Butler (University of Southampton)
Rod Chapman (Praxis)
Colin O'Halloran (QinetiQ)
Tom Melham (University of Oxford)
The programme and abstracts of the talks can be found on the workshop
website. If you would like to attend the workshop, please download a
registration form from
http://www.bcs-facs.org/events/xmas2004/registration.html
The cost of attending is £50+VAT; paid-up BCS-FACS members are entitled to a
discount. Refreshments, a buffet lunch and wine reception are included in
the price.
The meeting is sponsored by sponsored by:
DIRC EPSRC-funded Dependability IRC (http://www.dirc.org),
BCS-FACS (http://www.bcs-facs.org) and
The British Computer Society (http://www.bcs.org)
|
