Seminars for 2004/05 |
Back to seminars homepage | |
| Refining Functions to Processes: models, methods and applications | ||
|---|---|---|
| Tuesday 1st March 2005 | 16:00 | The Brian Spratt Room |
|
Dr Ali E Abdallah
Institute for Computing Research London South Bank University |
Abstract | |
|
| ||
| Minimum intrusion Grid | ||
| Tuesday 22nd February 2005 | 16:00 | Brian Spratt Room |
|
Dr Brian Vinter
Director, Nordic DataGrid |
Abstract | |
|
| ||
| Escrow Free Cryptographic Workflow | ||
| Tuesday 1st February 2005 | 16:00 | Brian Spratt Room |
|
Professor Nigel Smart
University of Bristol |
Abstract | |
| The Pi-Calculus with Types: a Tool for Representation | ||
| Tuesday 7th December 2004 | 16:00 | Brian Spratt Room |
|
Dr Kohei Honda
Queen Mary College, University of London |
Abstract | |
|
| ||
| Journeys in Non-Classical Computation (a UK Grand Challenge in Computing Research) | ||
| Tuesday 23rd November 2004 | 16:00 | Brian Spratt Room |
|
Professor Susan Stepney
University of York |
Abstract | |
|
| ||
| 'In Vivo - In Silico' (finding out how nature grows complex systems) | ||
| Tuesday 2nd November 2004 | 16:00 | Brian Spratt Room |
|
Professor Ronan Sleep
University of East Anglia |
Abstract | |
|
| ||
| Reactivity and Robustness in Wireless Sensor Networks for Environmental Monitoring | ||
| Thursday 14th October 2004 | 16:30 | Brian Spratt Room |
|
Dr Rachel Cardell-Oliver
University of Western Australia |
Abstract | |
| Capturing Pedestrian Flow Data in Real-time (Distributed Concurrent Computing with JCSP) | ||
| Tuesday 5th October 2004 | 16:00 | Brian Spratt Room |
|
Professor Jon M Kerridge
Napier University |
Abstract | |