In 2004, the UK Computing Research Committee initiated a number
of "Grand Challenges" aimed at stimulating long term research in
key areas of computing science. One of the challenges (GC6) focuses
on Dependable Systems Evolution. GC6 has two central principles:
theory should be embodied in tools, and tools should be tested
against real systems. The goal is to produce a Verifying Compiler
and a repository of verified software.
The purpose of the town meeting is to explain the challenge to a
wider audience and to demonstrate successes achieved to date.
Future work will be explained too. The following people will be
giving talks at the meeting:
- Jim Woodcock, University of York
- Tony Hoare, Microsoft
- Leo Freitas, University of York
- Joe Kiniry, University College Dublin
- Colin O'Halloran, QinetiQ
- Cliff Jones, University of Newcastle
The meeting will appeal to people interested in the production of
correct software, people who have heard about the challenge and would
like to know more, and people interested in contributing to the
challenge.
If you would like to attend, please email Paul Boca
[Paul.Boca@googlemail.com] by 31 January. The meeting will finish
around 8pm.
The event is sponsored by the British Computer Society, FACS and
VSR-net
Details of how to get to the venue:
http://www.epsg.org.uk/locations/SouthamptonStGuide.pdf