The Weizmann Workshop on Probabilistic Proof Systems
January 10-13, 1994
Uriel Feige Shafi Goldwasser
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.