This is a discussion on Grand Challenges 6 -- Dependable Systems Evolution workshop, 18 March2008, London - Functional ; (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 ...
(Apologies if you receive multiple copies of this announcement)
18 March 2008
9am - 4.30pm
BCS London Offices
The Davidson Building
5 Southampton Street
London WC2E 7HA
In 2004, the UK Computing Research Committee initiated a number of
Challenges" aimed at stimulating long term research in key areas of
science. One of the challenges (GC6) focuses on Dependable Systems
Evolution. GC6 has two central principles: theory should be embodied
and tools should be tested against real systems. The goal is to
Verifying Compiler and a repository of verified software.
The results of a competition to verify the Mondex system, using
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
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.Boca@googlemail.com] by
the 11 March. Please note that places are limited.