Workshop on Theory of Proof