Spring Term 2002
Thursdays 4pm, Room 144
| Date | Speaker | Title |
|
Friday, 11th January
Joint Theory and Departmental Seminar
|
Andy Pitts University of Cambridge |
Nominal Logic: A First Order Theory of Names and Binding |
|
24th January
|
Jon Crowcroft
University of Cambridge |
Component Protocol Architectures |
|
31st January
|
David Hogg
University of Leeds |
Visual Models of Interaction |
|
7th February
|
David Snelling Fujitsu European Centre for Information Technology |
Unicore: A Workflow Portal |
| 28th February |
Joerg Siekmann University of Saarbrucken |
Deduction and Education |
| 7th March |
Sam Steel
University of Essex |
Where do actions come from? |
| 21st March |
Michael Vose, University of Tennessee
|
The "No Free Lunch" Theorem |
| 28th March |
AJC Blyth
|
A Security Analysis of XML and its implication for E-Commerce |
| 11th April |
Wolfgang Kreutzer Department of Computer Science, University of Canterbury, Christchurch, New Zealand |
Is Visual Programming Only for Weak Minds? |
| 18th April |
Michael Brady University of Oxford, Robotic Research Group, Department of Engineering Science |
Breast Cancer Image Analysis: recent progress |
| 27th April |
Michael J Butler University of Southampton |
TBA |
