[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