Proof complexity (11w5103)
Sam Buss (University of California, San Diego)
Stephen Cook (University of Toronto)
Antonina Kolokolova (Memorial University of Newfoundland)
Toni Pitassi (University of Toronto)
Pavel Pudlak (Institute of Mathematics, Prague)
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.