NSF CISE Distinguished Lecture Series: “The Automated-Reasoning Revolution: From Theory to Practice and Back”

Wednesday March 9, 2016, 2pm-3pm: CISE Distinguished Lecture Series: Moshe Varde, Rice University, “The Automated-Reasoning Revolution: From Theory to Practice and Back”. Please register at: https://nsf.webex.com/nsf/j.php?RGID=r35e52abc8dc1b8d681d1d20b122fe67f

Webinar Start Date

Wed, 03/09/2016 - 14:00

Webinar End Date

Sun, 03/06/2016 - 15:00

Webinar/Webcast Links