...this announcement **) Grand Challenges 6 Town Meeting 4 February 2008 4.30pm BCS...University of York) - Introduction to the Challenge * Tony Hoare (Microsoft) - Formal Methods in... (University of Newcastle) - Conclusions The meeting will appeal to people interested in...meeting will finish around 8pm. The event is sponsored by the British ...

... announcement **) Grand Challenges 6 Town Meeting 4 February 2008 4.30pm... computing science. One of the challenges (GC6) focuses on Dependable Systems ... Jones, University of Newcastle The meeting will appeal to people interested ... who have heard about the challenge and would like to know...will finish around 8pm. The event is sponsored by the British...