<html><body><div style="font-family: times new roman, new york, times, serif; font-size: 12pt; color: #000000"><div><pre> *************************************************************
* *
* 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.
SCOPE
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.
FORMAT
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.
SUBMISSION
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
accepted.
IMPORTANT DATES
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
PUBLICATION
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.
WORKSHOP CO-CHAIRS
Axel Legay INRIA Rennes, France
Erik de Vink Eindhoven University of Technology, the Netherlands
INVITED SPEAKERS
Tiziana Margaria Universitaet Potsdam, Germany
Stefania Gnesi CNR Pisa, Italy
PROGRAM COMMITTEE (confirmed)
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
HOMEPAGE
preliminary website at www.splat2014.org
</pre></div></div></body></html>