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.
Laboratory for Foundations of Computer Science
University of Edinburgh
Edinburgh EH9 3JZ