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

Talk 1, 16/05/13

Talk 2, 23/05/13

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.

Talk 2, 23/05/13