As part of the 10th Thomas and Yvonne Williams Lecture for the Advancement of Logic and Philosophy, the School of Arts & Sciences and Penn Engineering present Moshe Y. Vardi, a professor of computational engineering from Rice University, to discuss the interface of logic and computer science.
