GC6: Dependable Systems Evolution

 

Home
Introduction
Status reports
Meetings
Pilot projects
Publications
Resources
VSR
GC6 Mailing List

GC6 home page 

In 2004 UKCRC initiated a number of Grand Challenges to stimulate long- term research in key areas of computing science.

GC6 is one of these challenges.  It is devoted to Dependable Systems Evolution, and is linked to the international Grand Challenge in Verified Software.

GC6 Steering Committee:

Jim Woodcock     University of York, Chair
Cliff Jones  Newcastle University
Peter O'Hearn Queen Mary, University of London

GC6 Board

Chair:  Jim Woodcock

Committee members:
Juan Bicarregui Cliff Jones Peter O'Hearn
Jonathan Bowen John McDermid Brian Randell
Tony Hoare Colin O'Halloran Martyn Thomas


See also EPSRC VSR-net (A Network for the Verified Software Repository, 2005-2008).


Back to Top

Contact: jim@cs.york.ac.uk

Last updated: 6th December 2007