FM01.1.26 Verifying Multipliers using Computer Algebra Start 18:00 End 21:00 Author Daniela Kaufmann, Johannes Kepler University, Austria