# Talks

**WARNING**: there are no slides available. yet.

**Total space in resolution**

Feb 06, 2017 **Universidad Politecnica de Catalunya** – *ALBCOM Seminar on Algorithms and Theory of Computation*

Aug 19, 2016 **Fields Institute, Toronto** – *Workshop 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.Petersburg** – *Special Semester on Complexity Theory*

May 19, 2016 **Steklov Institute of Mathematics, St.Petersburg** – *Proof Complexity Workshop*

Oct 20, 2014 **55th Annual Symposium on Foundations of Computer Science (FOCS), Philadelphia**

Oct 16, 2014 **Dagstuhl Seminar 14421** – *Optimal algorithms and proofs*

Jul 13, 2014 **Vienna Summer of Logic, Wien** – *Workshop 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, Stockholm** – *Complexity Seminar*

Sep 19, 2016 **Dagstuhl Seminar 16381** – *SAT 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), Lecce** – *Best Italian PhD Thesis in TCS 2016*

May 25, 2015 **Institute of Mathematics, Prague** – *Logic Seminar*

Apr 24, 2015 **Dagstuhl Seminar 15171** – *Theory and Practice of SAT Solving*

Apr 08, 2015 **KTH Royal Institute of Technology** – *Complexity Seminar*

Apr 07, 2015 **KTH Royal Institute of Technology** – *Complexity Seminar*

May 19, 2014 **Aarhus University** – *Complexity Seminar*

Sep 10, 2013 **14th Italian Conference on Theoretical Computer Science (ICTCS), Palermo**

Jun 30, 2013 **CSEDays. Theory 2013, Ekaterinburg** – *Summer School*

Jan 13, 2013 **4th Innovations in Theoretical Computer Science (ITCS), Berkeley**

Sep 27, 2012 **Limits of Theorem Proving, Rome** – *Workshop*

**Lower bounds: from circuits to QBF proof systems**

Aug 26 , 2016 **University of Toronto** – *Theory 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 Technology** – *Complexity Seminar*

**Proof of Space: an application of Pebbling Games to Cryptography**

Nov 11, 2013 **Institute of Mathematics, Prague** – *Logic Seminar*\