[PRL] Ming Fu's visit
Aaron Turon
turon at ccs.neu.edu
Sat Oct 2 14:37:34 EDT 2010
Ming Fu (http://home.ustc.edu.cn/~fuming/) will be visiting on
Wednesday to tell us about his work on program logic. He'll be
available for a couple of hours in the afternoon to meet one-on-one.
Please let me know if you're interested in meeting with Ming, and I'll
arrange a schedule.
Also, due to a scheduling conflict several faculty members will be
unable to attend the talk. Let's make sure to give Ming a strong
showing nevertheless.
More information about the PRL
mailing list