
- This event has passed.
CSE 30th Anniversary Colloquium Speaker: Moshe Vardi
November 7, 2016 @ 2:00 pm - 3:15 pm UTC-5
Speaker: Moshe Y. Vardi, Distinguished Professor, Rice University
Time: November 7, 2016 at 2:15pm
Location: ITE 336
Title: The Automated Reasoning Revolution: From Theory to Practice and Back