I am giving a short series of talks on proof complexity, beginning Thursday 16th May 2013 at 15:15, provisionally lasting six weeks.

The material presented will be self-contained, but I will assume a basic knowledge of logic and complexity theory. No knowledge of proof theory is required.

I will try to keep this page up to date with relevant references and related materials.

Additional Material

Talk 1, 16/05/13
Talk 2, 23/05/13