IBM's Verification Seminar 2003

October 19, 2003 Organized by IBM Research Lab in Haifa, Israel http://www.haifa.il.ibm.com/Workshops/verification2003/ 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's Agenda (pdf 80KB) Seminar Organizing Committee Moshe Levinger Eyal Bin Yaron Wolfsthal Local Arrangements Tamar Yogev Webmaster Yair Harry