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

Introduction
Program
Abstracts
Press Coverage
Photo Gallery
Visitors Information
Verification in HRL
Feedback


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.

Program

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 (www.prosyd.org).

Seminar Organizing Committee

Local Arrangements

Webmaster



  About IBM  |  Privacy  |  Terms of use  |  Contact