Grand Challenges 6 -- Dependable Systems Evolution workshop, 18 March 2008, London

[Paul...@googlemail.com]

(Apologies if you receive multiple copies of this announcement)

GC6 Workshop

18 March 2008

9am - 4.30pm

BCS London Offices
First Floor,
The Davidson Building
5 Southampton Street
London WC2E 7HA

In 2004, the UK Computing Research Committee initiated a number of
"Grand
Challenges" aimed at stimulating long term research in key areas of
computing
science. One of the challenges (GC6) focuses on Dependable Systems
Evolution. GC6 has two central principles: theory should be embodied
in tools,
and tools should be tested against real systems. The goal is to
produce a
Verifying Compiler and a repository of verified software.

The results of a competition to verify the Mondex system, using
different
formalisms and tools, are the first artifacts to be deposited in the
repository, and others will be deposited in due course. Other pilot
studies (e.g. verified file store) are underway, and some of these
will be
discussed at the workshop.

The workshop on 18 March will feature talks from:

* Jim Woodcock (University of York) - GC6 Chair
* Juan Bicarregui (Rutherford Appleton Laboratories)
* Michael Butler (University of Southampton)
* Andrew Butterfield (Trinity College, University of Dublin)
* David Crocker (Escher Technologies)
* Dominik Haneberg (University of Augsburg, Germany)
* Peter O'Hearn (Queen Mary University of London)

The workshop is free to attend and open to everyone. If you would like
to attend, please contact Paul Boca [Paul...@googlemail.com] by
the 11 March. Please note that places are limited.