Location CEWIT200 Event Description Andrew Appel, Princeton (DLS) Topic: Program Logics for Certified Compilers