Penn Arts & Sciences and Penn Engineering present Moshe Y. Vardi, a professor from Rice University, for a discussion on the interface of logic and computer science. This is part of the Tenth Thomas and Yvonne Williams Lecture for the Advancement of Logic and Philosophy.
