[ecoop-info] SPLat 2014: call for contributions

Axel Legay axel.legay at inria.fr
Mon May 12 13:47:16 CEST 2014

      *                                                           *
      *                       SPLat 2014                          *
      *                                                           *
      *          Software Production Line Analysis Tools          *
      *                   an SPLC 2014 workshop                   *
      *                                                           *
      *                September 16, 2014 Florence                *
      *                                                           *
      *                      Call for Papers                      *
      *                                                           *

The Software Product Line Analysis Tools workshop is devoted to the
use of formal techniques in Software Product Line Engineering. The
main theme is the mitigation of combinatorial explosion while
analyzing software models with variability. The workshop aims to bring
together a number of analysis methods, e.g. based on model checking,
SAT-solving, or testing technology, to sketch the palette of
techniques that is recruited to handle the commonalities and
differences of individual products, and to establish properties at the
level of the product line.


Papers of both theoretical or applied interest are welcomed that
discuss a particular approach from a general perspective, rather than
demo or tool papers. The focus is on contributions that explain the
conceptual working in a simple setting and sketch the potential
success for wider application. Overview and positioning papers
addressing the underlying concepts, the design choices made and a
particular strength or a specific application range of an approach are
welcomed as well.


The workshop programme will be a one-day workshop as to concentrate
the exchange of arguments, beliefs and opinions and has the usual
scheme of invited talks and paper presentations.


We solicit the submission of original and unpublished contributions
not under review for publication elsewhere. Papers are to be prepared
in LaTeX using the two-column ACM SIGS proceedings format with a
maximum of eight pages and uploaded in pdf to the EasyChair webpage of
the workshop. Contributions will be evaluated by the Program
Committee and may have an appendix for reviewing purposes. Submission
of a paper involves a firm commitment that at least one of the authors
will attend and participate in the workshop in case the paper is


Abstract submission		June 13, 2014
Paper submission		June 20, 2014   
Notification of acceptance	July  7, 2014
Camera ready versions		July 20, 2014
Workshop SPLat 2014 		September 16, 2014


Accepted papers will be included in the proceedings, which will be
published by the ACM as a part of volume 2 of the SPLC 2014
proceedings, and as such is indexed in the main repositories. An open
call for a special issue of a high-quality journal on the topic of the
workshop is envisaged.


Axel Legay            INRIA Rennes, France
Erik de Vink          Eindhoven University of Technology, the Netherlands


Tiziana Margaria      Universitaet Potsdam, Germany
Stefania Gnesi        CNR Pisa, Italy


Olivier Barais        IRISA Rennes, France
Don Batory            University of Texas at Austin
David Benavides       University of Seville, Spain
Dave Clarke           KU Leuven, Belgium
Philippe Collet       Universite Nice, France
Maxime Cordy          University of Namur, Belgium
Ferruccio Damiani     Universita di Torino, Italy
Aleksander Dimovski   IT University of Copenhagen, Denmark
Alessandro Fantechi   Universita' degli Studi di Firenze
Christian Kastner     Carnegie Mellon University, USA
Anna-Lena Lamprecht   Universitaet Potsdam, Germany
Jean-Vivien Millo     INRIA Sophia-Antipolis, France
Gilles Perrouin       University of Namur, Belgium
Holger Schlingloff    HU Berlin, Germany


preliminary website at www.splat2014.org 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://web.satd.uma.es/pipermail/ecoop-info/attachments/20140512/6d8883dc/attachment.html>

More information about the ecoop-info mailing list