November 13 - 16, 2005
Organized by IBM Research Lab in Haifa, Israel
The verification conference includes three full day sessions and a one day tutorial focusing on verification technologies, software testing, and testing of parallel systems (PADTAD). The seminars will involve the presentation of original, peer reviewed, technical papers and lectures by invited industrial and academic guests. Technical papers will be published in a Springer proceedings. In addition to the Springer proceedings, papers will be selected for a special issue of the Journal of Science of Computer Programming (SCP) Methods of Software Design: Techniques and Applications. The event will take place at the IBM Research Lab in Haifa, located on the University of Haifa campus, Mount Carmel, Haifa, Israel and in Caesarea Rothschild Institute (CRI) at the University of Haifa.
About the IBM Verification Conference
The three full-day sessions provide a forum for the academia and industry research and development communities to share their work, exchange ideas, discuss issues, problems, and work-in-progress, as well as future research directions and trends.
The first two days of the conference will take place in the auditorium (room L100) of the IBM Research Lab in Haifa, and the third day in Caesarea Rothschild Institute (CRI). A detailed program will be distributed at a later date. Participation is free.
The official language of the conference is English.
Report on the Conference