Proof complexity is a multi-disciplinary research area that addresses questions of the general form "how difficult is it to prove certain mathematical facts?'' The current workshop focussed on recent advances in our ...