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:
    From Local Search to Quantifier Elimination for Bit-Vectors in SMT
    Speaker:
    Aina Niemetz

    Link:
    http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos/watch/201808311017-Niemetz.html

  2. Title:
    Machine Learning for SAT Solvers
    Speaker:
    Vijay Ganesh

    Link:
    http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos/watch/201808310937-Ganesh.html

  3. Title:
    A few results, questions, and pitfalls in the experimental study of SAT solvers
    Speaker:
    Laurent Simon

    Link:
    http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos/watch/201808301846-Simon.html

  4. Title:
    Algorithms beyond Resolution using MaxSAT
    Speaker:
    Maria Luisa Bonet

    Link:
    http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos/watch/201808301813-Bonet.html

  5. Title:
    On CDCL-based Proof Systems with the Ordered Decision Strategy
    Speaker:
    Nathan Mull

    Link:
    http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos/watch/201808301740-Mull.html

  6. Title:
    The Proof Complexity of SMT Solvers
    Speaker:
    Antonina Kolokolova

    Link:
    http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos/watch/201808301704-Kolokolova.html

  7. Title:
    The Symmetry Rule for Quantified Boolean Formulas
    Speaker:
    Martina Seidl

    Link:
    http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos/watch/201808301635-Seidl.html

  8. Title:
    Conflict-Driven Synthesis
    Speaker:
    Ruben Martins

    Link:
    http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos/watch/201808301315-Martins.html

  9. Title:
    Random k-sat. A review and some new results.
    Speaker:
    Klas Markström

    Link:
    http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos/watch/201808301139-Markstrom.html

  10. Title:
    A Survey on Worst-Case Complexity of SAT
    Speaker:
    Rahul Santhanam

    Link:
    http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos/watch/201808301131-Santhanam.html

  11. Title:
    Gröbner bases and applications
    Speaker:
    Manuel Kauers

    Link:
    http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos/watch/201808300904-Kauers.html

  12. Title:
    QBF Proof Complexity
    Speaker:
    Olaf Beyersdorff

    Link:
    http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos/watch/201808291016-Beyersdorff.html

  13. Title:
    Hilbert's Nullstellensatz, Grobner Bases, and NP-Complete Problems
    Speaker:
    Susan Margulies

    Link:
    http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos/watch/201808291014-Margulies.html

  14. Title:
    Advances in QBF Solving
    Speaker:
    Mikoláš Janota

    Link:
    http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos/watch/201808290904-Janota.html

  15. Title:
    The (un)reasonable (in)effectiveness of theory for Sat solvers
    Speaker:
    Sam Buss

    Link:
    http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos/watch/201808281849-Buss.html