Seminars for 2005/06 |
Back to seminars homepage | |
|   |   |   |
| Regular Expressions Direct | ||
|---|---|---|
| Tuesday 28 February 2006 | 16:00 | The Brian Spratt Room |
|   |   |   |
|
Professor Colin Runciman
Department of Computer Science University of York |
Abstract | |
|   |   |   |
|
| ||
|   |   |   |
| Provenance: an Open Approach to Experiment Validation in e-Science | ||
| Tuesday 7 February 2006 | 16:00 | The Brian Spratt Room |
|   |   |   |
|
Professor Luc Moreau
University of Southampton |
Abstract | |
|   |   |   |
|
| ||
|   |   |   |
| Kamaelia: an Open Source Framework using Communicating Python Generators to build Concurrent and Networked Systems | ||
| Tuesday 31st January 2006 | 16:00 | The Brian Spratt Room |
|   |   |   |
|
Matt Hammond
BBC Research & Development, Kingswood Warren |
Abstract | |
|   |   |   |
|
| ||
|   |   |   |
| Dividing the Sheep from the Goats | ||
| Tuesday 24 January 2006 | *** 2.00 pm *** | The Brian Spratt Room |
|   |   |   |
|
Richard Bornat
Professor of Computer Programming, University of Middlesex |
Abstract | |
|   |   |   |
|
| ||
|   |   |   |
| A Biased History of Computer Networks | ||
| Tuesday 10 January 2006 | 16:00 | The Brian Spratt Room |
|   |   |   |
|
Gill Waters
Honorary Senior Lecturer, Computing Laboratory |
Abstract | |
|   |   |   |
|
| ||
|   |   |   |
| Exploiting Phases in Execution and Resource Availability for Efficient Program Sampling and VEE Specialization | ||
| Monday 19 December 2005 | 14:00 | The Brian Spratt Room |
|   |   |   |
|
Chandra Krintz
Computer Science Department University of California, Santa Barbara |
Abstract | |
|   |   |   |
|
| ||
|   |   |   |
| BioScience Computing | ||
| Tuesday 8th November 2005 | 16:00 | The Brian Spratt Room |
|   |   |   |
|
Chris Clack
University College London |
Abstract | |
|   |   |   |
|
| ||
|   |   |   |
| Realism in Real-Time | ||
| Tuesday 1st November 2005 | 16:00 | The Brian Spratt Room |
|   |   |   |
|
Professor Alan Chalmers
University of Bristol |
Abstract | |
|   |   |   |
|
| ||
|   |   |   |
| Automatically Generated CSP for Verification of occam-derived Logic Circuits | ||
| Tuesday 18th October 2005 | 16:00 | The Brian Spratt Room |
|   |   |   |
|
Dr Roger Peel
University of Surrey |
Abstract | |
|   |   |   |
|
| ||