December 6-8, 2011
Tutorials: December 5, 2011
Organized by IBM R&D Labs in Israel

• Kathryn Kranen, President and Chief Executive Officer, Jasper Design Automation
  Title: Pioneering the Future of Verification: A Spiral of Technological and Business Innovation
  
  
• Ben Liblit, University of Wisconsin–Madison
  Title: Automated Detection and Repair of Concurrency Bugs
  
  
• Klaus-Dieter Schubert, IBM Deutschland Research and Development GmbH
  Title: Verification Challenges of workload optimized hardware systems
  
  
• Armin Biere, Johannes Kepler University, Linz
  Title: Preprocessing and Inprocessing Techniques in SAT
  
  

• Onn Shehory

  General Chair

• Kerstin Eder

  Program Co-Chair

• João Lourenço

  Program Co-Chair

• Yair Harry

  Webmaster

Springer Lecture Notes in Computer Science