(Apologies if you receive multiple copies of this announcement)
GC6 Workshop
18 March 2008
9am – 4.30pm
BCS London Offices
First Floor,
The Davidson Building
5 Southampton Street
London WC2E 7HA
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 results of a competition to verify the Mondex system, using different
formalisms and tools, are the first artifacts to be deposited in the
repository,
and others will be deposited in due course. Other pilot studies (e.g.
verified file
store) are underway, and some of these will be discussed at the workshop.
The workshop on 18 March will feature talks from:
• Jim Woodcock (University of York) – GC6 Chair
• Juan Bicarregui (Rutherford Appleton Laboratories)
• Michael Butler (University of Southampton)
• Andrew Butterfield (Trinity College, University of Dublin)
• David Crocker (Escher Technologies)
• Dominik Haneberg (University of Augsburg, Germany)
• Peter O'Hearn (Queen Mary University of London)
The workshop is free to attend and open to everyone. If you would like
to attend,
please contact Paul Boca [[log in to unmask]] by the 11 March.
Please note that places are limited.
|