UC Irvine Today
Proof or Consequences
Gerard Holzmann, founder and a researcher at Nimble Research and a visiting associate in computing & mathematical sciences at the California Institute of Technology, speaks at the Orange County ACM Chapter bi-monthly event.
Wednesday, September 13 at 6:30pm to 8:30pm
The Cove, 200
5141 California Ave., Irvine, CA 92617