Limin Jia will present her FPO on Wednesday November 14 at 3PM in Room 402. The members of her committee are: David Walker, advisor; Andrew Appel and Frank Pfenning (CMU), readers; David August and David Blei, nonreaders. A copy of her thesis, "Linear Logic and Imperative Programming", is on display in room 310. Everyone is invited to attend her talk.