The Weizmann Workshop on Probabilistic Proof Systems

January 10-13, 1994

Uriel Feige Shafi Goldwasser

(Editors)

Abstract

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.