The Weizmann Workshop on Probabilistic Proof Systems
Uriel Feige, Shafrira Goldwasser · 1994
The Weizmann Workshop on Probabilistic Proofs and Applications to Program Checking, Cryptography, and Hardness of Approximation was held at the Weizmann Institute of Science, on January 10-13, 1994. The following report provides the abstracts of the talks given at the workshop, the list of participants, and relevant references.