Workshop on Grand Challenges for Computing Research
Sample Submissions
Sponsored by the UK Computing Research Committee, with support from EPSRC and NeSC
|
Workshop on Grand Challenges for Computing Research
|
|
| Date: | 24 - 26 November 2002 |
| Venue: | e-Science Institute, 15 South College Street, Edinburgh, Scotland |
| Organiser(s): | Tony Hoare, Malcolm Atkinson, |
| Proposed Grand Challenge | Submission Example |
| Modelling the Global Computer (Robin Milner) | Part 1 [DOC] [PDF] Part 2 [DOC] [PDF] |
| DeLTA: Dependable Language, Tools and API (Martyn Thomas) | [DOC] [PDF] |
| Trustworthy System Configuration (John McDermid) | [DOC] [PDF] |
| The Verifying Compiler (Tony Hoare) | [DOC] [PDF] |
| The inevitable, Vanishing Personal Computer (Jon Crowcroft) | Part 1 [PDF] Part 2 [PDF] |