Albert Atserias

  1. 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

  2. Title:
    Circular (Yet Sound) Proofs
    Speaker:
    Albert Atserias

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

  3. Title:
    Mini-tutorial on semialgebraic proof systems
    Speaker:
    Albert Atserias

    Link:
    http://www.birs.ca/events/2014/5-day-workshops/14w5101/videos/watch/201401211115-Atserias.html

  4. Title:
    Sherali-Adams Relaxations and Indistinguishability in Counting Logics
    Speaker:
    Albert Atserias

    Link:
    http://www.birs.ca/events/2011/5-day-workshops/11w5103/videos/watch/201110051020-Atserias.html