The Weizmann Workshop on Probabilistic Proof Systems

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.