Proof Complexity
Arriving Sunday, January 19 and departing Friday January 24, 2020
Confirmed Participants
| Name | Affiliation |
|---|---|
| Atserias, Albert | Universitat Politecnica de Catalunya |
| Beame, Paul | University of Washington |
| Beckmann, Arnold | Swansea University |
| Berkholz, Christoph | Humboldt University Berlin |
| Beyersdorff, Olaf | University of Jena |
| Bonacina, Ilario | UPC Universitat Politècnica de Catalunya |
| Carboni Oliveira, Igor | University of Oxford |
| Carmosino, Marco | Simon Fraser University |
| Das, Anupam | University of Birmingham |
| de Rezende, Susanna | Czech Academy of Sciences |
| Filmus, Yuval | Technion |
| Fleming, Noah | University of Toronto |
| Folwarczný, Lukáš | Mathematical Institute of the Czech Academy of Sciences |
| Galesi, Nicola | Università degli Studi di Roma La Sapienza |
| Garlík, Michal | Universitat Politecnica de Catalunya |
| Goos, Mika | Stanford University |
| Hakoniemi, Tuomas | Universitat Politècnica de Catalunya |
| Hirsch, Edward | Steklov Institute of Mathematics at St. Petersburg |
| Hrubes, Pavel | Czech Academy of Sciences |
| Itsykson, Dmitry | Steklov Institute of Mathematics at St. Petersburg |
| Kabanets, Valentine | Simon Fraser University |
| Knop, Alexander | UC San Diego |
| Kolodziejczyk, Leszek | University of Warsaw |
| Kolokolova, Antonina | Memorial University of Newfoundland |
| Koroth, Sajin | Simon Fraser University |
| Lauria, Massimo | Università degli studi di Roma - La Sapienza |
| Mahajan, Meena | The Institute of Mathematical Sciences - Chennai |
| Mouli, Sasank | UC San Diego |
| Nordström, Jakob | University of Copenhagen |
| Pang, Shuo | University of Chicago |
| Pich, Jan | University of Oxford |
| Potechin, Aaron | University of Chicago |
| Pudlak, Pavel | Mathematical Institute of the Czech Academy of Sciences |
| Razborov, Alexander | University of Chicago |
| Risse, Kilian | KTH Royal Institute of Technology |
| Santhanam, Rahul | University of Oxford |
| Sokolov, Dmitry | EPFL |
| Toran, Jacobo | University of Ulm |
| Tzameret, Iddo | Royal Holloway, University of London |
| Vinyals, Marc | Technion |
