|
|
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
|
|
|
|
|