« All Events
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
Our websites may use cookies to personalize and enhance your experience. By continuing without changing your cookie settings, you agree to this collection. For more information, please see our University Websites Privacy Notice.