Verification Conferences in Haifa
- Haifa Verification Conference 2011
- Haifa Verification Conference 2010
- Haifa Verification Conference 2009
- Haifa Verification Conference 2008
- Haifa Verification Conference 2007
- Israeli Innovation Summit 2006
Special Session led by IBM on "Innovation in Testing and Verification" - IBM Verification Conference 2005
- IBM Verification Seminar 2004
- IBM Verification Seminar 2003 (see also short summary)
- IBM Verification Seminar 2002
- Advanced RuleBase Course (16.1.01-18.1.01)
- IBM FV'2000 Summer Seminar
- IBM Haifa Workshop on Model Checking, May 10-12, 1999
Screen shot
