VSR-net: A Network for the Verified Software Repository
EPSRC Network ( EP/D506735/1 )

Grand Challenge 6 : Dependable Systems Evolution

Investigators:
Jim Woodcock ( The University of York )
Jonathan Bowen ( London South Bank University )
Peter O'Hearn ( Queen Mary University of London )

Academic secretary: Paul Boca ( BCS-FACS )
Administration: Caroline Moore ( The University of York )

Duration: 1 September 2005 to 31 August 2008.

Christmas meeting: Workshop on the Verifiable File Store Mini-Challenge , BCS offices, London, 18 December 2007.

See earlier workshops:

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
2nd VSR-net meeting , Rutherford Appleton Laboratory , 16-17 January 2006
3rd VSR-net meeting , Cosener's House , Abingdon, 25-26 May 2006
(External) The Challenge of Software Verification , (External) Dagstuhl Seminar 06281, Germany, 9-14 July 2006
4th VSR-net meeting , University of York , 5-6 October 2006 (see also agenda )

Future meetings:

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 .
VSR-net workshop, BCS offices, London, 15 September 2008. In association with (External) ABZ 2008 : ASM, B and Z Conference, London, UK, 16-18 September 2008. A POSIX pilot project file system case study has been proposed as part of Grand Challenge 6. Workshops will also be held before this event for preparation.