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

Call for Tools

Tool support is crucial for testing and verification. The IBM Verification Conference will place specific focus on emerging tools, especially open source and academic tools. If you are interested in demonstrating a testing or verification tool at the IBM Verification Conference, two possible options are available. All tools will be presented in an exhibition area set aside for this purpose. However, you may elect to submit a full paper describing the tool (instead of an extended abstract). In this case, the paper should be submitted under the regular conditions for submitting a paper. If the paper is accepted, it can be presented in a conference session, in addition to the tool demonstration.

Please send your proposal to Shmuel Ur ( as follows:
  • Your affiliation
  • Comprehensive description (2 - 4 pages) of the tool to be presented. Tools that are accepted for exhibition will have this extended abstract published in the Springer proceedings of the conference.
  • Classification of the tool: Academic, open source, or commercial
  • Target audience for the tool: Hardware verification or software testing (first or second day)
  • If you would like to present the tool in a conference session, submit a paper describing the tool. The paper must be submitted according to the guidelines of the regular paper submissions. Please note, it is possible for your tool to be accepted for exhibition even if your paper is not accepted for presentation.

Tool presenters will be invited to submit a paper to a special issue of Systems of Science of Computer Programming on testing and verification tools. The issue will be dedicated to tools presented at the IBM Verification Conference. These papers will be submitted following the conference and will be reviewed by the conference committee. Open source and academic tools are especially welcome, as the publication can include source code as well.

Important dates

Tool submission due: September 09, 2005
Notification of tool/paper acceptance: October 02, 2005
Camera ready copy: October 15, 2005
Workshop gathering and presentations (Sunday): November 13, 2005


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

    About IBMPrivacyContact
Caesarea Rothschild Institute (CRI) IBM Research