[talks] Speaker Wednesday -

Ginny Hogan gch at CS.Princeton.EDU
Mon Dec 10 09:48:06 EST 2007

Previous message: [talks] Wed. Dec 12th: Shaz Qadeer: "Taming Concurrency: A Program Verification Perspective"
Next message: [talks] 11am Fri Dec 14 talk on routing-protocol convergence by Pierre Francois
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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 -

Previous message: [talks] Wed. Dec 12th: Shaz Qadeer: "Taming Concurrency: A Program Verification Perspective"
Next message: [talks] 11am Fri Dec 14 talk on routing-protocol convergence by Pierre Francois
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the talks mailing list