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 Lund University
Toran, Jacobo University of Ulm
Tzameret, Iddo Royal Holloway, University of London
Vinyals, Marc Technion