13 October 2004 Chris Hankin Imperial College, London Quantitative Program Analysis 20 October 2004 Patrick Cousot Ecole normale supérieure, Paris Automatic Verification of Avionic Synchronous Safety Critical Embedded Software 27 October 2004 Andrew Adams University of Reading What every Computer Scientist Needs to Know about Software Licenses 3 November 2004 Steve Hodges Microsoft Research, Cambridge Track and Trace for the Global Supply Chain using RFID 10 November 2004 Erol Gelenbe Imperial College, London Spiking Neurons, Competing Agent Populations, and Network QoS Through Distributed Control 24 November 2004 Prof. Rajeev Raman University of Leicester Succinct and Compressed Data Structures 1 December 2004 Mark Herbster University College, London Performance Guarantees and Approximate Computations for a two-layer ``Artificial Neural Network'' with Uncountable Hidden Units