Breadcrumb Events / Past Events / Computer Science Distinguished Lecture Series: Tom Ball Date Thu, 10/11/2012 - 02:00 - Thu, 10/11/2012 - 03:00 Topic Advances in Automated Theorem Proving: Symbolic Automata, Nonlinear Arithmetic over the Reals, and Fixedpoint Calculation Speakers Tom Ball Microsoft Research Additional Information location: UBC, DMP (Dempster) 110 Poster: Tom Ball, Microsoft Research http://research.microsoft.com/en-us/people/tball/ Jump to Event Details This is a Past Event Event Type Scientific, Distinguished Lecture Date October 11, 2012 Time 2:00am - 3:00am Location University of British Columbia