Seminars for 2007/08 |
Back to seminars homepage | |
|   |   |   |
| An Overview Of Programming in Haksell | ||
|---|---|---|
| Friday 16 May 2008 | 14:00 | The Brian Spratt Room |
|   |   |   |
|
Satnam Singh
Microsoft Research Cambridge |
Abstract | |
|   |   |   |
|
| ||
|   |   |   |
| Trust and Security in eScience Communities | ||
| Tuesday 1 April 2008 | 16:00 | The Brian Spratt Room |
|   |   |   |
|
Andrew Martin
Oxford University |
Abstract | |
|   |   |   |
|
| ||
|   |   |   |
| Static contract checking for Haskell | ||
| Tuesday 4 March 2008 | 16:00 | The Brian Spratt Room |
|   |   |   |
|
Simon Peyton Jones
Microsoft Research Ltd |
Abstract | |
|   |   |   |
|
| ||
|   |   |   |
| Autonomic Management of Ubiquitous Systems for e-Health | ||
| Tuesday 5 February 2008 | 16:00 | The Brian Spratt Room |
|   |   |   |
|
Emil C. Lupu
Imperial College |
Abstract | |
|   |   |   |
|
| ||
|   |   |   |
| Information Security Economics - and Beyond | ||
| Tuesday 4 December 2007 | 16:00 | The Brian Spratt Room |
|   |   |   |
|
Ross Anderson
University of Cambridge |
Abstract | |
|   |   |   |
|
| ||
|   |   |   |
| Beyond "usable security": how to manage the human element in security | ||
| Tuesday 6 November 2007 | 16:00 | The Brian Spratt Room |
|   |   |   |
|
Angela Sasse
University College London |
Abstract | |
|   |   |   |
|
| ||