Special Year 2000-01: Workshop on Complexity of Proofs and Computations