[TYPES/announce] Final call: ASE '12 Tool Demonstrations
Ewen Denney
ewen.w.denney at nasa.gov
Fri Apr 27 18:15:00 EDT 2012
Automated Software Engineering 2012: Final Call for Tool Demonstrations
[Tools based on typed-based formalisms that have applicability to some
area of software engineering are welcome.]
http://ase2012.paluno.uni-due.de/calls/#tool_demonstrations
Software Engineering is concerned with the analysis, design,
implementation, testing, and maintenance of software systems. Automated
software engineering focuses on how to automate these tasks in order to
achieve improvements in quality and productivity. Tool support,
therefore, is central to this. The 27th IEEE/ACM International
Conference on Automated Software Engineering invites high-quality
submissions for its tool demonstrations track.
The ASE 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 automated software
engineering with the goal of allowing live presentation of new research
tools. Tools can range from research prototypes to in-house or
pre-commercialized products.
The tool demonstrations are intended to highlight underlying scientific
contributions. Whereas a regular research paper is intended to give
background information and point out the scientific contribution of a
new software engineering approach, a 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.
The Tool Demonstration Committee will review each submission to assess
the relevance and quality of the proposed tool demonstration in terms of
usefulness of the tool, presentation quality, and appropriate discussion
of related tools.
Accepted tool demonstrations will be allocated 4 pages in the conference
proceedings. Demonstrators will be invited to give a presentation that
will be scheduled into the conference program. There will also be a
demonstration area open to attendees at scheduled times during the
conference, during which demonstrators are expected to be available.
Presentation at the conference is a requirement for publication.
Submissions of proposals for formal tool demonstrations must:
* adhere to the ASE 2012 proceedings format (ACM proceedings style)
* have a maximum of 4 pages that describe the technology or approach,
how it relates to other industrial or research efforts, including
references, and describe what the expected benefits are; in addition,
the submissions can include an appendix 2 pages of screenshots.
* have an appendix (not included in the 4 page count) that provides a
brief description of how the demonstration will be conducted (possibly
illustrated with further screen shots)
* provide a URL from which the tool can be downloaded, with clear
installation steps. If the tool cannot be made available, the authors
must clearly state their reasons in the paper. All examples and
scenarios presented in the paper and appendix should be replicable directly.
* be submitted via the EasyChair system by May 14, 2012:
http://www.easychair.org/conferences/?conf=ase2012tools
Important Dates
Paper submission: May 14, 2012
Author notification: June 22, 2012
Camera-ready papers: July 9, 2012
Demonstration Chairs
Ewen Denney (SGT / NASA Ames)
Bernd Fischer (University of Southampton)
Contact:ase2012tools at easychair.org <mailto:ase2012tools at easychair.org>
Program Committee
David Aspinall (University of Edinburgh, Scotland)
Gilles Barthe (IMDEA, Spain)
Anthony Cleve (FUNDP Namur, Belgium)
Rohit Gheyi (Federal University of Campina Grande, Brazil)
Christoph Gladisch (Karlsruhe Institute of Technology, Germany)
Paul Gruenbacher (University of Linz, Austria)
Robert Hall (AT&T Labs Research, USA)
Reiko Heckel (University of Leicester, England)
John Hosking (ANU, Australia)
Andrew Ireland (Heriot-Watt University, Scotland)
Anjali Joshi (MathWorks, USA)
Jens Krinke (UCL, England)
Julia Lawall (INRIA Paris-Rocquencourt, France)
Michael Lowry (NASA Ames, USA)
John Penix (Google, USA)
Suresh Thummalapenta (IBM Research, India)
Daniel Varro (Budapest University of Technology and Economics, Hungary)
Michael Whalen (University of Minnesota, USA)
Andrea Zisman (City University, England)
More information about the Types-announce
mailing list