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

Introduction
Program
Abstracts
Visitors information
Confirmed participants
Verification in HRL
Feedback


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

Webmaster



  About IBM  |  Privacy  |  Terms of use  |  Contact