A two days workshop on Proof Theory and Proof Complexity in Prague, at the Academy of Sciences, 11-12 January 2006.