Annual Lecture Series
5 February 2010

"Understanding, Formal Verification, and the Philosophy of Mathematics"
Jeremy Avigad
Carnegie Mellon University

3:30 pm, 817R Cathedral of Learning