Computer Science Distinguished Lecture Series: Tom Ball
Topic
Advances in Automated Theorem Proving: Symbolic Automata, Nonlinear Arithmetic over the Reals, and Fixedpoint Calculation
Speakers
Additional Information
location: UBC, DMP (Dempster) 110
Poster:
Tom Ball, Microsoft Research
http://research.microsoft.com/en-us/people/tball/
