WARNING: there are no slides available. yet.

Total space in resolution
Feb 06, 2017 Universidad Politecnica de CatalunyaALBCOM Seminar on Algorithms and Theory of Computation
Aug 19, 2016 Fields Institute, TorontoWorkshop on Theoretical Foundations of SAT Solving
Jul 14, 2016 43rd International Colloquium on Automata, Languages and Programming (ICALP)
May 30, 2016 Steklov Institute of Mathematics, St.PetersburgSpecial Semester on Complexity Theory
May 19, 2016 Steklov Institute of Mathematics, St.PetersburgProof Complexity Workshop
Oct 20, 2014 55th Annual Symposium on Foundations of Computer Science (FOCS), Philadelphia
Oct 16, 2014 Dagstuhl Seminar 14421Optimal algorithms and proofs
Jul 13, 2014 Vienna Summer of Logic, WienWorkshop on proof complexity
Feb 07, 2014 KTH Royal Institute of Technology, Stockholm – Complexity Seminar

Strong size lower bounds in regular resolution via games
Nov 21, 2016 KTH Royal Institute of Technology, StockholmComplexity Seminar
Sep 19, 2016 Dagstuhl Seminar 16381SAT and Interactions
Oct 01, 2015 Universitat Politècnica de Catalunya, Barcelona – Complexity Seminar
Jun 24, 2015 University of Edinburgh, UK – Complexity Seminar
Jun 17, 2015 University of Leeds, UK – Logic Seminar
Mar 21, 2014 KTH Royal Institute of Technology – Complexity Seminar (joint talk with Navid Talebanfard)

Space in algebraic proof systems
Sep 13, 2016 17th Italian Conference on Theoretical Computer Science (ICTCS), LecceBest Italian PhD Thesis in TCS 2016
May 25, 2015 Institute of Mathematics, PragueLogic Seminar
Apr 24, 2015 Dagstuhl Seminar 15171Theory and Practice of SAT Solving
Apr 08, 2015 KTH Royal Institute of TechnologyComplexity Seminar
Apr 07, 2015 KTH Royal Institute of TechnologyComplexity Seminar
May 19, 2014 Aarhus UniversityComplexity Seminar
Sep 10, 2013 14th Italian Conference on Theoretical Computer Science (ICTCS), Palermo
Jun 30, 2013 CSEDays. Theory 2013, EkaterinburgSummer School
Jan 13, 2013 4th Innovations in Theoretical Computer Science (ITCS), Berkeley
Sep 27, 2012 Limits of Theorem Proving, RomeWorkshop

Lower bounds: from circuits to QBF proof systems
Aug 26 , 2016 University of TorontoTheory Seminars
Jun 20, 2016 Technion Israel Institute of Technology, Haifa
Jan 15, 2016 7th Annual Innovations in Theoretical Computer Science (ITCS), Cambridge MA
Nov 23,2015 KTH Royal Institute of TechnologyComplexity Seminar

Proof of Space: an application of Pebbling Games to Cryptography
Nov 11, 2013 Institute of Mathematics, PragueLogic Seminar\