Skip to main content
    Israel [change]    Terms of use
    Home    Products    Services & solutions    Support & downloads    My account    
IBM Research & CRI

IBM Verification Conference 2005

IBM Haifa Labs

Invitation Registration

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.

Day 1 Day 2 Day 3 Day 4
Verification Track Topics - (Program) Software Testing Track Topics - (Program) PADTAD Track Topics - (Program) Software Testing Tutorial


Related Seminar Links
Visitors information  
Formal Verification and Testing Technologies in HRL  
Simulation based methods in HRL in HRL  

Report on the Conference

    About IBMPrivacyContact
Caesarea Rothschild Institute (CRI) IBM Research