Grand Challenge 6:
Dependable Systems Evolution

Chair: Jim Woodcock

Committee members:

Juan Bicarregui Jonathan Bowen Tony Hoare

Cliff Jones John McDermid Colin O'Halloran

Peter O'Hearn Brian Randell Martyn Thomas

Next meeting: GC6 Town Hall meeting, BCS Offices, London, UK, 4 February 2008
Last meeting: Workshop on the Verifiable File Store Mini-Challenge, BCS offices, London, 18 December 2007
See also EPSRC VSR-net Network (Verified Software Repository, 2005-2008)

GC6 meetings and events

• Workshop on Dependable Systems Evolution, Queen Mary University of London, 13-14 November 2003
• State of the Challenge, 17 May 2004
• The Verified Software Repository, London, 21 December 2004
• ETAPS Workshop, Edinburgh, 3 April 2005
• FM05 Workshop, Newcastle-upon-Tyne, 18 July 2005
• 1st VSR-net meeting, BCS Offices, London, 3 October 2005
• Verified Software: Theories, Tools, Experiments (VSTTE), Zürich, Switzerland, 10-13 October 2005 (See also VSTTE Conference Wiki)
• Grand Challenges in Computing 2006, "Perceptions of Computing", Glasgow, Scotland, 22-24 March 2006
  (see GC6: Dependable systems evolution)
• The Challenge of Software Verification, Dagstuhl Seminar 06281, Germany, 9-14 July 2006
• Workshop on the Verifiable File Store Mini-Challenge, BCS offices, London, 18 December 2007. In association with the BCS-FACS Christmas 2007 Meeting, 17 December 2007. To register, please email your contact details to John Fizgerald on John.Fitzgerald@ncl.ac.uk.

Grand Challenge and GC6 information

• Dependable Systems Evolution proposal Woodcock, 26 May 2003 (see also position paper)
• GC6 proposal mailing list, 2003-2004
• Grand Challenges for Computing Research from the UK Computing Research Committee (UKCRC)
• Grand Challenges for Computing Research from the National e-Science Centre (NeSC)
• Grand Challenges in Computing, edited by Tony Hoare and Robin Milner, published by the BCS, 2004 (38 pages, PDF)
• Computing article, 24 September 2003
• Radio Community Server article, 28 September 2003
• Wetware article, 28 December 2003
• The Verifying Compiler (see also slides) by Tony Hoare
• VSR-net EPSRC Network (Verified Software Repository, 2005-2008)
• Verified Software: A Grand Challenge by Cliff Jones, Peter O'Hearn and Jim Woodcock, IEEE Computer, 39(4):93-95, April 2006

The BCS-FACS Specialist Group is supporting the GC6 Committee by organizing meetings at the BCS London Office. Hosted on the FMnet website.