10 Dec
2007
10 Dec
'07
9:48 a.m.
Shaz Qadeer, Microsoft Research, will present his talk "Taming Concurrency: A Program Verification Perspective" Wednesday Dec 12th at 4:15 pm Computer Science Room 105 -