*** Grand Challenges 6 Town Meeting, 4 February, 4.30pm-8pm, BCS Offices, London, UK ***
in [Theory]
|
Prev: How to proof primitive recursive?
Next: CFP: 8th International Conference on Hybrid Intelligent Systems (HIS2008)
From: Paul.Boca on 13 Jan 2008 16:27 (** Apologies if you receive multiple copies of this announcement **) Grand Challenges 6 Town Meeting 4 February 2008 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 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(a)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 |