UTCS Colloquia - Shaz Qadeer/Microsoft: "QED: A Simpifier for Concurrent Programs", ACES 6.304

Contact Name: 
Jenna Whitney
Date: 
Nov 22, 2010 10:00am - 11:00am

There is a sign-up schedule for this event that can be found at

http://www.cs.utexas.edu/department/webevent/utcs/events/cgi/list_event

s.cgi

Type of Talk: Colloquia

Speaker/Affiliation: Shaz Qadeer/Mi

crosoft

Date/Time: Monday, November 22, 2010, 10:00 a.m.

Locat