Satnam Singh To Speak On AI And Formal Verification In San Francisco · Digg