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.
Good luck to Jim Larus!
Jim Larus dropped by our lab this week and gave us the rundown on Dan Reed's "Data Center Futures" group that he has joined.......
Automated reasoning group
On tuesday I'm giving another talk at the Automated Reasoning
Group's lunch talk series....
Group's lunch talk series....
Subscribe to:
Posts (Atom)