[talks] Rob Dockins FPO

Rob Dockins will present his FPO on Friday August 24 at 10AM in Room 402. The members of his committee are: Andrew Appel, advisor; David Walker and Xavier Leroy (INRIA), readers; David August and Mark Braverman, nonreaders. A copy of his thesis, "Operational Refinement for Compiler Correctness", is available in Room 310. Everyone is invited to attend his talk.