Israel
Home
|
Products & services
|
Support & downloads
|
My account
Select a country
IBM Research Home
IBM Haifa Labs Home
IBM Haifa Labs Leadership Seminars
Verification Seminar 2002
Introduction
Program
Visitors information
Confirmed participants
Verification in HRL
Photos from the seminar
News
Feedback
News
Presentations:
Presentations are available in
http://www.haifa.il.ibm.com/Workshops/verification2002/agenda.html
. We will continue to post presentations as they become available.
Publications:
An article regarding the verification seminar was published. See
http://www.haifa.il.ibm.com/info/news_ibm_verification.html
.
Verification seminar forges the bonds between research, academia, and industry
.
About IBM
|
Privacy
|
Terms of use
|
Contact