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 2004

Press Coverage
Photo Gallery
Visitors Information
Verification in HRL

IBM's Verification Seminar 2004
November 21, 2004
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 21st of November, 2004.

This is the fifth 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.


This year, the seminar will host a booth providing information of general interest about the EU PROSYD project. The PROSYD project is driving a novel PSL based methodology for chip development (

Seminar Organizing Committee

Local Arrangements


  About IBM  |  Privacy  |  Terms of use  |  Contact