Seminars & Colloquia Calendar
Interactive Proofs
Justin Semonsen, Rutgers University
Location: GSL
Date & time: Wednesday, 19 September 2018 at 12:15PM - 1:15PM
Abstract: What is a proof? What is a proof to a computer? In this talk, we will develop a number of ways to prove whether two graphs are isomorphic or not, and thereby explore the power and limitations of interactive proofs.