January 28 – February 2 , 2018, Dagstuhl Seminar 18051
Last update: April 22 2018

Proof Complexity

Participants

  • Amirhossein Akbar Tabatabei (The Czech Academy of Sciences – Prague, CZ)
  • Albert Atserias (UPC – Barcelona, ES) [dblp]
  • Paul Beame (University of Washington – Seattle, US) [dblp]
  • Arnold Beckmann (Swansea University, GB) [dblp]
  • Olaf Beyersdorff (University of Leeds, GB) [dblp]
  • Ilario Bonacina (UPC – Barcelona, ES) [dblp]
  • Igor Carboni Oliveira (University of Oxford, GB) [dblp]
  • Marco Carmosino (University of California – San Diego, US) [dblp]
  • Leroy Nicholas Chew (University of Leeds, GB) [dblp]
  • Stefan Dantchev (Durham University, GB) [dblp]
  • Yuval Filmus (Technion – Haifa, IL) [dblp]
  • Noah Fleming (University of Toronto, CA) [dblp]
  • Michael A. Forbes (University of Illinois – Urbana-Champaign, US) [dblp]
  • Nicola Galesi (Sapienza University of Rome, IT) [dblp]
  • Michal Garlik (UPC – Barcelona, ES) [dblp]
  • Joshua A. Grochow (University of Colorado – Boulder, US) [dblp]
  • Tuomas Hakoniemi (UPC – Barcelona, ES) [dblp]
  • Johan Hastad (KTH Royal Institute of Technology – Stockholm, SE) [dblp]
  • Edward A. Hirsch (Steklov Institute – St. Petersburg, RU) [dblp]
  • Pavel Hrubes (The Czech Academy of Sciences – Prague, CZ) [dblp]
  • Dmitry Itsykson (Steklov Institute – St. Petersburg, RU) [dblp]
  • Emil Jerabek (The Czech Academy of Sciences – Prague, CZ) [dblp]
  • Jan Johannsen (LMU München, DE) [dblp]
  • Raheleh Jalali Keshavarz (Czech Academy of Sciences – Brno, CZ)
  • Leszek Kolodziejczyk (University of Warsaw, PL) [dblp]
  • Antonina Kolokolova (Memorial University of Newfoundland – St. John's, CA) [dblp]
  • Oliver Kullmann (Swansea University, GB) [dblp]
  • Massimo Lauria (Sapienza University of Rome, IT) [dblp]
  • Meena Mahajan (Institute of Mathematical Sciences – Chennai, IN) [dblp]
  • Barnaby Martin (Durham University, GB) [dblp]
  • Moritz Müller (Universität Wien, AT) [dblp]
  • Jakob Nordström (KTH Royal Institute of Technology – Stockholm, SE) [dblp]
  • Joanna Ochremiak (University Paris-Diderot, FR) [dblp]
  • Jan Pich (Universität Wien, AT) [dblp]
  • Aaron Potechin (KTH Royal Institute of Technology – Stockholm, SE) [dblp]
  • Pavel Pudlák (The Czech Academy of Sciences – Prague, CZ) [dblp]
  • Ninad Rajgopal (University of Oxford, GB) [dblp]
  • Kilian Risse (KTH Royal Institute of Technology – Stockholm, SE)
  • Robert Robere (University of Toronto, CA) [dblp]
  • Rahul Santhanam (University of Oxford, GB) [dblp]
  • Dmitry Sokolov (KTH Royal Institute of Technology – Stockholm, SE) [dblp]
  • Neil Thapen (The Czech Academy of Sciences – Prague, CZ) [dblp]
  • Jacobo Torán (Universität Ulm, DE) [dblp]
  • Iddo Tzameret (Royal Holloway, University of London, GB) [dblp]
  • Alasdair Urquhart (University of Toronto, CA) [dblp]
  • Marc Vinyals (TIFR Mumbai, IN) [dblp]


In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner