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