CALL FOR TOOL DEMONSTRATIONS
European Joint Conferences on Theory and Practice of Software
ETAPS 2001, 2 - 6 April 2001
Genova, Italy
http://www.disi.unige.it/etaps2001/
Submission Deadline: 20 OCTOBER 2000
ETAPS 2001 comprises
FOSSACS: Foundations of Software Science and Computation Structures
FASE: Fundamental Approaches to Software Engineering
ESOP: European Symposium on Programming
CC: International Conference on Compiler Construction
TACAS: Tools and Algorithms for the Construction and Analysis of
Systems
7 invited speakers (Luca Cardelli, Michael Fourman, Ole Lehrmann
Madsen, John Mitchell, Gordon Plotkin, Bran Selic, Moshe Vardi)
at least 8 satellite events (CMCS, ETI, JOSES, LDTA, PFM, RelMiS,
UNIGRA, WADT)
tutorials
and
TOOL DEMONSTRATIONS
-------------------
Submissions in this category should present tools having a clear
connection to one of the main ETAPS conferences, possibly
complementing a paper submitted separately. These should not be
confused with submissions to the TACAS component of ETAPS, which
emphasizes principles of tool design, implementation, and use, rather
than focusing on specific domains of application, and for which there
is a stronger requirement for novelty than here. 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. This provides a useful record of the existence of the
tool and some background about it with pointers to other information.
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 or similar 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.
Submissions:
http://www.dcs.ed.ac.uk/~dts/etaps/etaps2001-demo/submit.html
Send any queries to ··············@dcs.ed.ac.uk
Don Sannella, ETAPS 2001
Laboratory for Foundations of Computer Science
Division of Informatics
University of Edinburgh
Edinburgh EH9 3JZ
SCOTLAND