GC6: Dependable Systems Evolution

 

Home

Meetings

 

There have been a number of conferences and workshops dedicated to discussing the challenge and its research agenda.

  • research roadmap qpq.csl.sri.com.

  • NSF meetings in the US, EPSRC meetings in the UK

2003

 

  1. Workshop on Dependable Systems Evolution, Queen Mary, University of London, 13-14 November 2003.

2004

  1. Workshop on Dependable Systems Evolution, 18 March 2004, Gresham College, London.

  2. BCS-FACS Christmas Meeting on the Verified Software Repository, London, 21 December 2004.

2005

  1. Grand Challenge Workshop on Dependable Systems Evolution (GCW-DSE), 2-3 April 2005.  A Satellite Workshop of ETAPS 2005, Edinburgh.

  2. Grand Challenge Workshop on Dependable Systems Evolution,  18 July 2005, Newcastle-upon-Tyne.  A Satellite Workshop of FM05.

  3. 1st VSR-net meeting, BCS Offices, London, 3 October 2005

  4. Verified Software: Theories, Tools, Experiments (VSTTE), Zurich, 10-13 October 2005. Special issue of Formal Aspects of Computing from this workshop. See also VSTTE Conference Wiki.

2006

  1. First Mondex Case Study Workshop, Rutherford Appleton Laboratory, 16-17 January 2006.

  2. Repository Working Group meeting, 2-3 February 2006, SRI International, Menlo Park.

  3. Grand Challenges in Computing 2006, "Perceptions of Computing", Glasgow, Scotland, 22-24 March 2006.

  4. Verified Software Roadmap Mini-Workshop 2006, 1-2 April 2006.

  5. Second Mondex Case Study Workshop, 25-26 May 2006, Cosener's House, Abingdon.

  6. The Challenge of Software Verification, Dagstuhl Seminar 06281, 9-13 July 2006.

  7. Third Mondex Case Study Workshop, 5-6 October 2006, University of York.

  8. 1st Asian Working Conference on Verified Software, 29-31 October 2006, Macao.

2007

  1. 46th meeting of IFIP WG 2.3 Sydney, 8-12 January 2007.

  2. Two special sessions at the IEEE International Conference on Engineering on Complex Computer Systems (ICECCS 2007) at the University of Auckland, New Zealand, 11-14 July 2007.

  3. ICTAC summer school & colloquium.

  4. 47th meeting of WG2.3, October 8-12 2007.

  5. Verifiable File Store Mini-Challenge Workshop at ICFEM.

  6. BCS-FACS Christmas Meeting on the Verified Software Repository, London, 18 December 2007.

  7. 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.

2008

  1. GC-6 "Town Meeting" Feb 4th

  2. Workshop on Industrial-scale Verification, Microsoft Research Cambridge, 12th-14th March 2008 (www.smithinst.ac.uk/Events/Verification08).

  3. GC Workshops on 18th March (BCS, Southampton Street)
    Grand Challenge Thought Leadership Dinner at the Royal Society, evening of 18th March
    GC Plenary meeting, 19th March (BCS Southampton Street)

  4. ICECCS2008 in Belfast, 31 March-4 April 2008.

  5. FM'08: 15th International Symposium on Formal Methods, Abo Akademi University, Turku, Finland, 26-30 May 2008 (www.fm2008.abo.fi/).

  6. Marktoberdorf

  7. Brazilian Symposium on Formal Methods, Salvador de Bahia, Brazil, 26-29 August 2008.

  8. Special session at ABZ 2008: ASM, B, and Z Conference, London, 15-18 September 2008 (www.cs.york.ac.uk/circus/mc/abz/).

  9. VSTTE 2008 conference in Toronto.  Verified Software: Theories, Tools, and Experiments (VSTTE 2008) Toronto, Canada Oct 6-9, 2008.

 

Contact: jim@cs.york.ac.uk

Last updated: 6th December 2007