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

• Haifa Verification Conference 2010 (HVC 2010)
• Haifa Verification Conference 2009 (HVC 2009)
• Haifa Verification Conference 2008 (HVC 2008)
• Haifa Verification Conference 2007 (HVC 2007)
• Haifa Verification Conference 2006 (HVC 2006)
• Haifa Verification Conference 2005 (HVC 2005)
• Haifa Verification Seminar 2004
• Haifa Verification Seminar 2003
• Haifa Verification Seminar 2002

• 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