[talks] Talk Today

Ginny Hogan gch at CS.Princeton.EDU
Wed Dec 12 10:57:02 EST 2007

Previous message: [talks] 11am Fri Dec 14 talk on routing-protocol convergence by Pierre Francois
Next message: [talks] M Hibbs FPO
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Shaz Qadeer, Microsoft Research, will present
his talk, "Taming Concurrency:
A Program Verification Perspective",
4:15pm Computer Science room 105 -

Previous message: [talks] 11am Fri Dec 14 talk on routing-protocol convergence by Pierre Francois
Next message: [talks] M Hibbs FPO
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the talks mailing list