Paris - Vienna Workshop on Proofs and Complexity
Held in Paris on 13 and 14 December 2004. Here is a copy of the
program
.