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 (email@example.com) 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.
|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