IBM Israel
Skip to main content
Search IBM Research
   Home  |  Products & services  |  Support & downloads  |  My account
Select a Country Select a country
IBM Research Home IBM Research Home
IBM Haifa Labs Homepage IBM Haifa Labs Home
IBM Haifa Labs Homepage IBM Haifa Labs Leadership Seminars

Verification Seminar 2003

Visitors information
Confirmed participants
Verification in HRL

IBM's Verification Seminar 2003
October 19, 2003
Organized by IBM Research Lab in Haifa, Israel

The Software and Verification Technologies Department at the IBM Haifa Research Lab (HRL) cordially invites you to a full-day seminar on verification, to be held on Sunday, the 19th of October, 2003.

This is the fourth in a sequence of verification seminars held by HRL since 1999. The seminar will take place at the HRL site on the Haifa University campus, in the Auditorium (room L100), from 9:30 to 17.15. Lunch and light refreshments will be served. Participation is free.

The official language of the seminar is English.

Registration is now closed. It is no longer possible to register.

Preliminary Program

Seminar Organizing Committee

Local Arrangements


  About IBM  |  Privacy  |  Terms of use  |  Contact