Seminars & Colloquia Calendar
Justin Semonsen, Rutgers University
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.