Proof complexity (11w5103)

Arriving in Banff, Alberta Sunday, October 2 and departing Friday October 7, 2011

Organizers

(University of California, San Diego)

(University of Toronto)

(Memorial University of Newfoundland)

(University of Toronto)

Pavel Pudlak (Institute of Mathematics, Prague)

Objectives

At this workshop we intend to bring together researchers in proof complexity and related areas and create an environment that would facilitate the exchange and cross-fertilization of ideas. This would help to consolidate knowledge in proof complexity, bounded arithmetic, logical approaches to complexity theory and other related subjects, with a hope of making progress in this rich and exciting field.