Demonstrations of novel and state-of-the-art tools are invited. A submission should have a clear connection to one of the main ETAPS conferences, possibly complementing a paper submitted separately.
Tool demonstrations are an integrated part of the ETAPS program:
Selected demonstrations will be presented in ordinary conference sessions, using large-screen state-of-the-art projection.
The time allowed for the tool demonstration will be approximately the same as that for the presentation of a conference paper.
The demonstration will be accompanied by the publication of a short paper in the proceedings of the relevant ETAPS conference, describing the main features of the tool.
There will be opportunities for follow-up demonstrations with individuals and small groups.
N.B. Tool demonstrations should not be confused with contributions to the TACAS conference, which emphasizes principles of tool design, implementation, and use, rather than focusing on specific domains of application.
Submissions:
A submission should take the form of a self-contained tool description of no more than 4 pages in the Springer-Verlag LNCS format.
The ETAPS conference to which the tool is most closely related should be specified on the title page.
The tool description should be accompanied by an appendix (not intended for publication, and not included in the page limit) indicating which features of the tool would be demonstrated—preferably with some sample screen snapshots—followed by a detailed specification of the hardware, software, and licensing requirements for installing and using the tool.
The deadline for tool demonstrations is November 18 (strict).
The Tool Demonstration Electronic Submission page is here.
Contact: Peter D. Mosses, BRICS, University of Aarhus