FMnet

(External) Grand Challenge 6 :
Dependable Systems Evolution

Chair: Jim Woodcock

Committee members:
Juan Bicarregui
Jonathan Bowen
(External) Tony Hoare

Cliff Jones
John McDermid
(External) Colin O'Halloran

Peter O'Hearn
Brian Randell
Martyn Thomas

(New) 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
• (External) Verified Software: Theories, Tools, Experiments (VSTTE), Zürich, Switzerland, 10-13 October 2005 (See also (External) VSTTE Conference Wiki )
• (External) Grand Challenges in Computing 2006 , "Perceptions of Computing" , Glasgow, Scotland, 22-24 March 2006
  (see (External) GC6: Dependable systems evolution )
• (External) The Challenge of Software Verification , (External) Dagstuhl Seminar 06281, Germany, 9-14 July 2006

• (New) 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
• (External) Grand Challenges for Computing Research from the (External) UK Computing Research Committee (UKCRC)
• Grand Challenges for Computing Research from the National e-Science Centre (NeSC)
• (External) Grand Challenges in Computing , edited by (External) Tony Hoare and Robin Milner , published by the (External) BCS , 2004 (38 pages, (External) PDF )
• (External) Computing article , 24 September 2003
• (External) Radio Community Server article , 28 September 2003
• (External) Wetware article , 28 December 2003
• (External) The Verifying Compiler (see also (External) slides ) by (External) 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, (External) IEEE Computer , 39 (4):93-95, April 2006

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

[Formal Methods Virtual Library] Maintained by Prof. Jonathan Bowen ( Museophile Limited )
Last updated 21 January 2008
Further information and links for possible inclusion are welcome.

Change Text Only Settings