Description of Proof Complexity lectures at the
Fall school (Sept.'05)

Proof complexity: an overview and current topics

We shall give an intensive mini-course in proof complexity, covering basics, surveying higlights in some detail, and discussing current topics.
(A detailed syllabus will be available closer to the meeting.)

Prerequisites: logic, complexity theory and combinatorics at the level of basic courses.