Confirmed Participants Schedule (PDF) Workshop Videos
Workshop Files
Final Report (PDF) Testimonials

Proof complexity

Videos from BIRS Workshop

, Universitat Politecnica de Catalunya
- 11:26
Sherali-Adams Relaxations and Indistinguishability in Counting Logics
Watch video | Download video: 201110051020-Atserias.mp4 (321M)
Video: Albert Atserias, "Sherali-Adams Relaxations and Indistinguishability in Counting Logics" http://www.birs.ca/events/2011/5-day-workshops/11w5103/videos/watch/201110051020-Atserias.html
, University of Toronto
- 10:02
Bounded Reverse Mathematics
Watch video | Download video: 201110060905-Cook.mp4 (279M)
Video: Stephen Cook, "Bounded Reverse Mathematics" http://www.birs.ca/events/2011/5-day-workshops/11w5103/videos/watch/201110060905-Cook.html