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.