[TYPES/announce] ESEC/FSE Tool Demos Track (final CfP)

Carlo Alberto Furia c.a.furia at gmail.com
Wed May 29 08:54:09 EDT 2013


----> Upcoming submission deadline: 3rd June


=========================================================
     ESEC/FSE 2013: Final Call for Tool Demonstrations

        http://esec-fse.inf.ethz.ch/cfp_tools.html
=========================================================
		
The ESEC/FSE 2013 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 supported by live presentations of new research tools. We
invite innovative research tool demonstrations, intended to show early
implementations of novel software engineering concepts, as well as
mature prototypes.
		
== Submissions ==
		
Submitted papers must be written in English. They must be unpublished
and not submitted for publication elsewhere. Papers must be submitted
in PDF format at
   http://www.easychair.org/conferences/?conf=esecfse2013tooldemos
		
Submitted papers must not exceed 4 pages in ACM format. For detailed
information about the submission format see:
    http://esec-fse.inf.ethz.ch/cfp_tools.html
			
== Tool availability ==
		
To promote replicability and to disseminate the advances achieved with
the research tools, we strongly encourage all authors to make their
tools publicly available for download, possibly in open-source format,
and for use.

== Screencast ==
		
To further increase the visibility of the presented tools, we strongly
encourage all authors to produce a screencast presenting their tool.
		
== Presentation and publication ==
		
Accepted tool demonstrations will be allocated 4 pages in the main
conference proceedings. At least one author of each accepted paper
must register and attend ESEC/FSE 2013 in order for the paper to be
published in the proceedings.
		
Demonstrators will be invited to give a formal presentation that will
be scheduled as part of 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.
		
== Important Dates ==

   * Submission deadline: Monday, 3 June 2013 (Anywhere on Earth)
   * Author notification: Friday, 21 June 2013
   * Camera-ready deadline: Monday, 1 July 2013
		
== Tool Demonstrations Track Program Committee ==
			
   * Gilles Barthe, IMDEA Software Institute, Spain
   * Domenico Bianculli, University of Luxembourg, Luxembourg
   * Anthony Cleve, University of Namur, Belgium
   * Valentin Dallmeier, Saarland University, Germany
   * Davide Falessi, Fraunhofer CESE, USA
   * Carlo A. Furia, ETH Zurich, Switzerland (co-chair)
   * Daniel Kroening, Oxford University, UK
   * Michele Lanza, University of Lugano, Switzerland
   * Rustan Leino, Microsoft Research, Redmond, USA
   * Xuandong Li, Nanjing University, China
   * Luca Mottola, Politecnico di Milano, Italy
   * Sebastian Nanz, ETH Zurich, Switzerland (co-chair)
   * John Penix, Google Inc., USA
   * Ruzica Piskac, Max Planck Institute for Software Systems, Germany
   * Anita Sarma, University of Nebraska, Lincoln, USA
   * Carsten Schuermann, IT University of Copenhagen, Denmark
   * Koushik Sen, University of California, Berkeley, USA
   * Jun Sun, Singapore University of Technology and Design, Singapore
   * Alan Wassyng, McMaster University, Canada
   * Yi Wei, Microsoft Research, Cambridge, UK
   * Jim Woodcock, University of York, UK
   * Yijun Yu, The Open University, UK


More information about the Types-announce mailing list