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 |