Imperial lectures, details.......

I will be giving 6 hours of lectures on `Proving termination and liveness of programs' at Imperial, in London. The times are 2-4 on Tuesday 27th May, Wednesday 28th May and Thursday 29th May in Room 145.