Time+Place: Wednesday 28/05/2008 16:30 Room 337-8 Taub Bld.
Title: Probabilistic Proof Systems
Speaker: Oded Goldreich - in memory of Shimon Even //www.wisdom.weizmann.ac.il/~oded
Affiliation: Department of Computer Science and Applied Mathematics, Weizmann Institute of Science
Host: Reuven Bar-Yehuda


The annual Technion talk in memory of Prof. Shimon Even
will be given this year by Prof. Oded Goldreich

16:00-16:20 Reception
16:20-16:30 In memory of Shimon Even
16:30-17:30 Prof. Oded Goldreich
"Probabilistic Proof Systems"

Various types of probabilistic proof systems have played a central role 
in the development of computer science in the last couple of decades.
The talk will focus on three such proof systems:  
interactive proofs, zero-knowledge proofs, 
and probabilistically checkable proofs.
It will survey the basic results regarding these proof systems,
stressing the essential role of randomness in each of them.

In memory of Shimon Even: see Technion site and Oded's site and Wikipedia entry
Directions to the Technion, see here
Car entry at the gate: Just say you are attending the "Computer Science Memorial Day"