Computer Science Distinguished Lecture Series: Tom Ball
- Date: 10/11/2012
Location:
University of British Columbia
Topic:
Advances in Automated Theorem Proving: Symbolic Automata, Nonlinear Arithmetic over the Reals, and Fixedpoint Calculation
Other Information:
location: UBC, DMP (Dempster) 110
Poster:
Sponsor:
