Grand Challenge 6
Dependable Systems Evolution
Chair: Jim Woodcock
Open UK workshop: GC6 FM05 Workshop, Newcastle upon Tyne, UK, 18 July 2005
See also EPSRC VSR-net Network (Verified Software Repository, 2005–2008)
Events[]
- Workshop on Dependable Systems Evolution, Queen Mary University of London, 13-14 November 2003
- Dependable Systems Evolution proposal (see also position paper)
- 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
See GC6 proposal mailing list.
Further information[]
- 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.
Maintained by Prof. Jonathan Bowen, Museophile Limited.
Last updated 8 April 2009.
Further information and links for possible inclusion are welcome.