Proof complexity

Arriving Sunday, October 2 and departing Friday October 7, 2011

Confirmed Participants

Name Affiliation
Aehlig, Klaus Universität München
Atserias, Albert Universitat Politecnica de Catalunya
Beame, Paul University of Washington
Beck, Chris Princeton University
Beyersdorff, Olaf University of Leeds
Buss, Sam University of California, San Diego
Cook, Stephen University of Toronto
Edmonds, Jeff York University
Galesi, Nicola Università degli Studi di Roma La Sapienza
Gallagher, Jonathan University of Calgary
Georgiou, Konstantinos University of Waterloo
Ghasemloo, Kaveh University of Toronto
Hirsch, Edward Steklov Institute of Mathematics at St. Petersburg
Hrubes, Pavel University of Calgary
Impagliazzo, Russell University of California San Diego
Jerabek, Emil Mathematical Institute AS CZ
Johannsen, Jan LMU Munich
Kabanets, Valentine Simon Fraser University
Kolodziejczyk, Leszek University of Warsaw
Kolokolova, Antonina Memorial University of Newfoundland
Kullmann, Oliver Swansea University
Kuroda, Satoru Gunma Prefectural Women's University
Lauria, Massimo Università degli studi di Roma - La Sapienza
Maciel, Alexis Clarkson University
Mueller, Moritz CRM Centre de Recerca Matemàtica
Muller, Sebastian Charles University
Nguyen, Phuong McGill
Nordstrom, Jakob KTH Royal Institute of Technology
Pankratov, Denis University of Chicago
Pich, Jan Charles University
Pitassi, Toniann University of Toronto
Pollett, Chris San Jose State University
Pudlak, Pavel Mathematical Institute of the Czech Academy of Sciences
Razborov, Alexander University of Chicago
Robere, Robert Memorial University of Newfoundland
Soltys, Michael McMasters University
Thapen, Neil Mathematical Institute AS CR
Tzameret, Iddo Tsinghua University
Urquhart, Alasdair University of Toronto
Wang, Zi Chao Charles University in Prague