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

jpbowen@btinternet.com (Prof Jonathan Bowen)
1 Dec 2004 23:17:03 -0500

          From comp.compilers

Related articles
BCS-FACS Xmas Meeting: The Verified Software Repository, London, UK, 2 jpbowen@btinternet.com (2004-12-01)
| List of all articles for this month |

From: jpbowen@btinternet.com (Prof Jonathan Bowen)
Newsgroups: comp.specification.misc,comp.software-eng,comp.theory,comp.compilers
Date: 1 Dec 2004 23:17:03 -0500
Organization: http://groups.google.com
Keywords: conference
Posted-Date: 01 Dec 2004 23:17:03 EST

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


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


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)

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.