Nearly 120 researchers, IT professionals, venture capitalists, and university graduate students and professionals attended this year's software testing and verification seminar, held in the Haifa Labs Auditorium on December 18, 2003. Seminar organizers say the annual software testing seminar plays a vital role for the Israeli high-tech community.
"There's no other seminar in Israel for the software verification community," noted Shmuel Ur, an IBM Haifa researcher who organized the seminar together with Orit Edelstein, the manager of the Software Testing and Verification Department at the IBM Haifa Research Lab. "People come together, experience the group dynamic of the community, and get to know one another-and they get all this done as they hear lectures on cutting-edge testing technology."
This most recent installment of the annual seminar series saw many return participants from last year's seminar. Ur claims that IBM's role as a mediator between the real-world developers and the ivory tower academicians at the event is crucial.
"In the industry-university feedback loop, the Haifa Research Lab plays a vital role as the bridge between these two worlds," he said.
Lectures focused on a number of theoretical and practical aspects of the software verification field, including performance enhancement, interstatic analysis, quality assurance, and interleaving. Industry professionals from such leading firms as Mercury, Intel, and Verisity attended, while university representatives came from such schools as the University of Haifa, the Technion - Israel Institute of Technology, Tel Aviv University, Ben Gurion University, and the Weizmann Institute of Science.
For more information about the lectures, the presentations can be viewed or downloaded from the seminar program Web site.