This is a searchable repository of links to math videos. The database is regularly updated with videos from the following websites. If there is a source of videos which you would like to be added to this list, please send me an email at admin@videoarxiv.org.
  1. Simons Center
  2. Mathtube
  3. MSRI
  4. IHES
  5. Fields Institute
  6. Banff
  7. IAS

All talks

  1. Title:
    Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs
    Speaker:
    Alexander Knop

    Link:
    http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001231704-Knop.html

  2. Title:
    Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs
    Speaker:
    Nicola Galesi

    Link:
    http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001231632-Galesi.html

  3. Title:
    Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity
    Speaker:
    Susanna de Rezende

    Link:
    http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001231601-deRezende.html

  4. Title:
    Exponential Resolution Lower Bounds for the Weak Pigeonhole Principle over Sparse Graphs
    Speaker:
    Kilian Risse

    Link:
    http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001231501-Risse.html

  5. Title:
    k-Clique and Regular vs. General Resolution
    Speaker:
    Shuo Pang

    Link:
    http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001231130-Pang.html

  6. Title:
    On 1-BP complexity of satisfiable Tseitin formulas and how it relates to regular resolution
    Speaker:
    Dmitry Itsykson

    Link:
    http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001231100-Itsykson.html

  7. Title:
    Reversible Pebble Games and the Relation between Tree-like and General Resolution
    Speaker:
    Jacobo Toran

    Link:
    http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001230958-Toran.html

  8. Title:
    SETH and Resolution
    Speaker:
    Ilario Bonacina

    Link:
    http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001230931-Bonacina.html

  9. Title:
    Resolution Lower Bounds for Refutation Statements
    Speaker:
    Michal Garlík

    Link:
    http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001230902-Garlik.html

  10. Title:
    Automated Proof Search: The Aftermath
    Speaker:
    Mika Goos

    Link:
    http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001221111-Goos.html

  11. Title:
    Automating Resolution is NP-Hard
    Speaker:
    Albert Atserias

    Link:
    http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001220955-Atserias.html

  12. Title:
    Lifting in Proof Complexity
    Speaker:
    Marc Vinyals

    Link:
    http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001220902-Vinyals.html

  13. Title:
    The Surprising Power of Constant Depth Algebraic Proofs
    Speaker:
    Sasank Mouli

    Link:
    http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001211703-Mouli.html

  14. Title:
    Resolution and the binary encodings of combinatorial principles
    Speaker:
    Nicola Galesi

    Link:
    http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001211632-Galesi.html

  15. Title:
    Sum of Squares Bounds for the Ordering Principle
    Speaker:
    Aaron Potechin

    Link:
    http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001211601-Potechin.html