Invited Talk: Thomas Henzinger: A Research Institute as Start-up Programming Languages Panel: Bob Constable, David Gries (moderators), Alex Aiken, Robert Harper, Stephanie Weirich Invited Talk: Scott Aaronson: Quantum Computing and the Limits of the Efficiently Computable