Workshop on Complexity of Proofs and Computations