Invited Talk
Complexity
Logic
Proof Complexity
Jan Krajíček
Proof complexity is an area connecting mathematical logic and computational complexity theory. It has several facets and I shall try to explain what some of these are. In particular, I shall discuss a few ways proof complexity relates to the existence of algorithms of various types.