Sunday 15. November
Tutorials and Industrial Experience Day

12:00 - 12:30 Registration

12:30 - 14:30 Tutorials (chair Armin Biere)

  Nikolaj Bjorner, Microsoft.
  Bit-Precise Constraints: Applications and Decision Procedures.

  Moshe Y. Vardi, Rice University.
  Formal Techniques for System-Level Verification.

14:30 - 15:00 Coffee

15:00 - 18:00 Industrial Experience Reports (chair Carl Pixley)

  Michael Theobald, D.E. Shaw.

  John Penix, Google.
  Challenges and Opportunities in
  Deploying Enterprise-Wide Program Analysis Tools.

  Joerg Bormann.
  Complete Functional Verification.

18:30 - 20:30 Reception