Thursday November 11, 2004, 14:00, Robert Recorde Room
David Aspinall (Edinburgh)
Logics for Certifying Resource Bounds