Demonstrations of tools presenting advances on the state of the art are invited. Submissions in this category should present tools having a clear connection to one of the main ETAPS conferences, possibly complementing a paper submitted separately. Submissions in this category should not be confused with contributions to TACAS, which emphasizes principles of tool design, implementation, and use, rather than focusing on specific domains of application. Tool demonstrations will be presented in devoted conference sessions with state-of-the-art projection facilities. Authors of accepted demos will be asked to contribute a short paper to the proceedings of the relevant ETAPS conference.

Submissions should take the form of a tool description of no more than 4 pages in the Springer-Verlag LNCS format. The ETAPS conference within whose purview the tool falls should be clearly indicated on the title page. At least one screen snapshot should be provided to allow the selection committee to get some impression of the quality of the user interface. A specification of the hardware and software requirements for installing and demonstrating the tool must be provided. Screen snapshots and the hardware/software specification are not included in the page limit unless they constitute part of the description of the tool.

Don Sannella
Laboratory for Foundations of Computer Science
University of Edinburgh
Edinburgh EH9 3JZ