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.