Call for Posters & Research Tool Demonstrations
Tools are central to the success of formal methods in practice. Hence, tool demonstrations will have a prominent role in the conference. Demonstrators will be expected to present their tools during specially-designated time that will be scheduled into the conference program. Tool demonstrations should be accompanied by a poster. In addition, a collection of short papers (2-3 pages), for every accepted tool demonstration, will be published as a technical report and available to conference attendees. The authors maintain copyright on their written tool description.
We solicit proposals for tool demonstrations related to automated reasoning using formal methods. Tools can range from alpha-versions to fully developed products that are being prepared for commercialization. Products that are currently being commercialized will not be accepted as subjects of demonstrations (see call for commercial exhibits and tool demonstrations). Research tool demonstrations are not intended to be sales pitches, and should consequently highlight technical contributions. For further clarification, please contact the tool demonstrations chair.
Priority will be given to tools based on sound, rigorous research results to support the automation of analysis and/or verification of software or hardware systems.
We also solicit posters describing late-breaking results related to the theme of the conference. Like tool demonstrations, accepted posters will be accompanied by a short paper published as a technical report and available to conference attendees. Poster presentors are expected to be available during a specially-scheduled time during the conference to present their work.
The Posters & Demos Committee will review each submission using the standard FM criteria: originality and importance of contribution, soundness of rationale or demonstration, quality of written and graphic presentation, and appropriate consideration of relevant literature.
Demonstrators are expected to provide their own equipment.
How To Submit
Submissions of proposals for posters & tool demonstrations must:
- be no more than 3 pages in LNCS format, describing the technology or approach, what is the research that has gone into the tool, how it relates to other industrial or research efforts, including references, and what are the expected benefits.
- have an appendix (not included in the 3-page count) that provides a detailed description of how the presentation would be conducted (possibly illustrated with a number of snapshots), information on tool availability and maturity, and the URL of a web-page for the tool (if one exists).
- be no more than 3 pages in LNCS format, describing the approach, how it relates to other industrial or research efforts, including references, and what are the expected benefits.
- be sent to by email to Marsha Chechik by the Posters & Demos submission deadline. Please begin the subject line with "FM 2006 Demo" or "FM 2006 Poster".
Accepted Posters and Demonstrations
Accepted posters and demonstrations will be published as short papers in a special technical report, available to conference attendees. In addition, the authors should be available for answering questions or demonstrating their tools at scheduled times during the conference.
Marsha Chechik, University of Toronto, Canada (Chair)
Alan Wassyng, McMaster University, Canada
Submission deadline: May 26, 2006.
Author notification: June 12, 2006.
Camera-ready papers: June 22, 2006.
Tool Demo & Poster Chair
Department of Computer Science
University of Toronto
Toronto, Ontario Canada