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 Jena |
| 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 |
| Nordström, Jakob | University of Copenhagen |
| Pankratov, Denis | University of Chicago |
| Pich, Jan | University of Oxford |
| 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 |
