IBM's Verification Seminar 2004

November 21, 2004 Organized by IBM Research Lab in Haifa, Israel http://www.haifa.il.ibm.com/Workshops/verification2004/ 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 Seminar's Program PDF version for printing (53 KB) 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 Eyal Bin Yaron Wolfsthal Gil Shurek Local Arrangements Efrat Shalom-Hillman Webmaster Yair Harry