Formal Demonstrations

Goal & Scope

The ICSE 2012 Formal Tool Demonstrations Track provides an opportunity for researchers and practitioners to present and discuss the most recent advances, experiences, and challenges in the field of software engineering with the goal of allowing live presentation of new research tools and datasets. We invite innovative research tool demonstrations, intended to show early implementations of novel software engineering concepts, as well as mature prototypes. Moreover we welcome publicly available datasets that can be used for research evaluations.

The research tool demonstrations are intended to highlight underlying scientific contributions. Whereas a regular research paper is intended to give the background information and point out the scientific contribution of a new software engineering approach, the tool demonstration paper provides a good opportunity to show how the scientific approach has been transferred into a working tool. Authors of regular research papers are thus encouraged to submit an accompanying tool demonstration paper.



Each submission will be reviewed by at least three members of the program committee. The main evaluation criteria include the relevance and quality of the proposed tool demonstration in terms of originality, relevance for the ICSE audience, technical soundness, presentation quality, and appropriate consideration of relevant literature.


How to Submit

Submissions must conform to the ICSE 2012 formatting and submission instructions. In particular, submitted formal tool demonstration papers must:

Papers must be submitted electronically by the stated deadline.


Important Dates

Submission Deadline: October 27, 2011

Acceptance Notification: January 27, 2012

Camera-ready Copy Deadline: March 16, 2012


Track Co-Chairs

Shing-Chi Cheung, Hong Kong University of Science and Technology, China 

Michele Lanza, University of Lugano, Switzerland


Formal Demonstrations Track Committee Members