BCS-FACS Xmas Meeting: The Verified Software Repository, London, UK, 21 December 2004

From: Prof Jonathan Bowen (jpbowen_at_btinternet.com)
Date: 12/02/04 

Date: 1 Dec 2004 23:17:03 -0500

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 Wood*** (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)

Quantcast