BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Proofs: From a Complexity Theoretic Perspective - Jasper Lee ( Bro
 wn University)
DTSTART:20200115T190000Z
DTEND:20200115T200000Z
UID:TALK137677@talks.cam.ac.uk
CONTACT:Matthew Ireland
DESCRIPTION:How much effort and communication should it take for a prover 
 to convince an intelligent verifier of the truth of a mathematical fact? C
 an a verifier be convinced without learning anything about *why* the state
 ment is true? Orthogonally\, can the prover demonstrate not only that the 
 statement is true\, but the prover herself knows why?\n\nThese are all que
 stions centring around the notion of "proof"\, which has been a vibrant re
 search area amongst complexity theorists. In this talk\, we discuss what t
 he word "proof" can mean\, and survey some of the most important ideas in 
 the area\, including 1) Probabilistically Checkable Proofs\, 2) Zero-Knowl
 edge Proofs and 3) Proofs of Knowledge.
LOCATION:Wolfson Hall\, Churchill College
END:VEVENT
END:VCALENDAR