<html><head><style type='text/css'>p { margin: 0; }</style></head><body><div style='font-family: arial,helvetica,sans-serif; font-size: 10pt; color: #000000'>Rob Dockins will present his FPO on Friday August 24 at 10AM in Room 402. <br>The members of his committee are:  Andrew Appel, advisor; David Walker and <br>Xavier Leroy (INRIA), readers; David August and Mark Braverman, nonreaders.<br>A copy of his thesis, "Operational Refinement for Compiler Correctness", is <br>available in Room 310.  Everyone is invited to attend his talk.<br></div></body></html>