THe submission phase is over now! the selected tool-demos are presented as a part of the programmes of the main conferences. Look at the Programme of the main conferences

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:

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.


The Tool Demonstration Electronic Submission page is here.

Contact: Peter D. Mosses, BRICS, University of Aarhus