Seminars for 2000/01 |
Back to seminars homepage | |
  |   |   |
Where did all the scholars go? Effective teaching and responsive learning in the new millennium | ||
---|---|---|
Tuesday 29 May 2001 | 16:00 | Brian Spratt Room |
  |   |   |
Richard S. Culver
SUNY-Binghamton, NY |
Abstract | |
  |   |   |
The Power of Cocoon for Building Dynamic Transcoding Proxies | ||
Tuesday 22 May 2001 | 16:00 | Brian Spratt Room |
  |   |   |
Marcus Goncalves
Virtual Access Networks, Inc. |
Abstract | |
  |   |   |
Circus: a unifying theory of Z and CSP | ||
Tuesday 27 March 2001 | 16:00 | Brian Spratt Room |
  |   |   |
Jim Woodcock
Oxford University Computing Laboratory |
Abstract | |
  |   |   |
Logics for Mobility | ||
Tuesday 20 March 2001 | 16:00 | Brian Spratt Room |
  |   |   |
Dr Luca Cardelli
Microsoft Research |
Abstract | |
  |   |   |
Challenges and Opportunities in ITCS | ||
Tuesday 13 March 2001 | 14:00 | Brian Spratt Room |
  |   |   |
Vince Osgood
EPSRC |
||
  |   |   |
Stochastic Diffusion Processes: self-organisation, search and intelligence | ||
Tuesday 6 March 2001 | 14:00 | Brian Spratt Room |
  |   |   |
Dr Mark Bishop
Department of Cybernetics University of Reading |
Abstract | |
  |   |   |
Managerial and technical issues arising from the growth of the JANET customer base and the network architecture | ||
Tuesday 27 February 2001 | 16:00 | Brian Spratt Room |
  |   |   |
Geoff McMullen
CEO of UKERNA |
Abstract | |
  |   |   |
An Epistemological Framework for Software Engineering | ||
Tuesday 23 January 2001 | 16:00 | Brian Spratt Room |
  |   |   |
Professor Tom Maibaum
Department of Computer Science King's College London |
Abstract | |
  |   |   |
Service-Based Software: The Future for Flexible Software | ||
Tuesday 21 November 2000 | 16:00 | Brian Spratt Room |
  |   |   |
Professor Keith Bennett
Department of Computing Science University of Durham |
Abstract | |
  |   |   |
Principled Optimiser Design: No Optimisation Without Representation! | ||
Tuesday 7 November 2000 | 16:00 | Brian Spratt Room |
  |   |   |
Andrew Tuson
Department of Computing City University |
Abstract | |
  |   |   |
Abstract Data Types in Computer Algebra | ||
Thursday 21 September 2000 | 14:00 | Brian Spratt Room |
  |   |   |
Professor James Davenport Department of Mathematical Sciences University of Bath |
Abstract |