Birs- 11w5103: Proof complexity

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

  2. Title:
    Bounded Reverse Mathematics
    Speaker:
    Stephen Cook

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