OMNI BUSS CELEBRATION

Friday, July 14, 2017
10am - 5 pm
CSE 1202

Program

  • 10:00-12:30 Morning Session

    • 10:00 Welcome
    • 10:15 Toniann Pitassi (University of Toronto & IAS): My Reflections on Sam's Work
    • 11:00 Coffee Break
    • 11:15 Arnold Beckmann (Swansea University): Bounded Arithmetic à la Sam
    • 11:45 Steve Rotenberg (UC San Diego): Interactive 3D Modeling of Roads

  • 12:30 - 14:00┬áLunch Break

  • 14:00 - 17:00 Afternoon Session

    • 14:00 Russell Impagliazzo (UC San Diego): How to defeat a SAT Solver
    • 14:30 Maria Luisa Bonet Carbonell (Universidad Politécnica de Cataluña): On Frege and extended Frege Proof Systems
    • 15:00 Jonathan Buss (University of Waterloo): Some Corners of Computational Complexity
    • 15:30 Coffee Break
    • 15:45 Ryan Williams (MIT): Sam and I versus P versus NP
    • 16:30 Finale a sorpresa