[PRL] Ming Fu's visit

[Aaron Turon]

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.