ACM/SIGDA Member Meeting

INVITED SPEAKER Martin Davis
Monday, November 2nd, 7:30-9:30pm
Siskiyou / Cascade Ballroom




Please join us for a unique event with Martin Davis, the recipient of this year’s SIGDA Pioneering Achievement Award for his outstanding contributions to algorithms for solving the Boolean Satisfiability problem, which heavily influenced modern tools for hardware and software verification, as well as logic synthesis.
Contact Us