The Coq mailing list

[Sandro Schulze <sandro.schulze AT iti.cs.uni-magdeburg.de>]

22nd International Systems and Software Product Line Conference

Sept 10-14, Gothenburg, Sweden

http://splc2018.net

==========================================


Common IMPORTANT DATES for all workshops with call for papers:

Paper submissions: May 23, 2018
Paper notifications: Jun 22, 2018
Final version of papers: July 2, 2018


==========================================


List of SPLC 2018 workshops covering a wide range of topics (more
details below for each one):

* CI4SPL 2018: 1st International Workshop on Computational Intelligence
for Software Product Lines
* FOSD 2018: 9th International Workshop on Feature-Oriented Software
Development
* IWODPLE 2018: 1st International Workshop on Documentation of
Industrial Product Line Examples
* REVE 2018: 6th International Workshop on Reverse Variability Engineering
* SPLTea 2018: 3rd International Workshop on Software Product Line Teaching
* VariVolution 2018: 1st International Workshop on Variability and
Evolution of Software-intensive Systems

More info at http://splc2018.net/workshops/

==========================================


CI4SPL 2018
1st International Workshop on Computational Intelligence for Software
Product Lines
https://ci4spl.github.io

Software Product Line Engineering (SPLE) has been receiving significant
attention from academia and industry. Despite their benefits, wide use
of Software Product Lines (SPLs) still faces some complex problems.
Furthermore, there are complex problems where a single optimal solution
is unreachable, then approximation solutions are required. To deal with
these problems, Computation Intelligence (CI) techniques have been used
as a promising solution. In the Software Engineering discipline, CI
techniques, such as evolutionary algorithms, machine learning and data
mining algorithms, are applied to complex problems related to software
development and management. In this way, problems faced by developers
and engineers of SPLs are an open opportunity to apply CI paradigms. To
foster the discussion and motivate the use of CI on SPLE, we propose the
International Workshop on Computational Intelligence for Software
Product Lines (CI4SPL 2018) as part of The Systems and Software Product
Line Conference (SPLC). This workshop aims to put together researchers
and practitioners of both fields. Enjoying the visibility and
credibility SPLC, CI4SPL 2018 will serve as a meeting point to bring
experts on SPL and CI to sparkle new ideas and pieces of work
contributing to processes, techniques, tools, or empirical studies
related to the use of CI techniques on SPLs problems.

Organizers:
Wesley K. G. Assunção, Federal Univ. of Technology - Paraná, Toledo, Brazil
Silvia R. Vergilio, Federal University of Paraná, Curitiba, Brazil
Roberto E. Lopez-Herrejon, ETS - University of Quebec, Montreal, Canada
Wasif Afzal, Mälardalen University, Västerås, Sweden
==========================================


FOSD 2018
9th International Workshop on Feature-Oriented Software Development
https://dekpro.github.io/fosd2018

Feature orientation is an emerging paradigm of software development. It
not only supports the automatic generation of large-scale software
systems from a set of units of functionality, called features, but also
allows to reason about systems properties in terms of such features. The
original idea of feature-oriented software development (FOSD) is to
explicitly represent similarities and differences of a family of
software systems for a given application domain (e.g., database systems,
banking software, text processing systems) with the goal of reusing
software artifacts among the family members. Moreover, features (as
first-class entities) have shown to be beneficial in recent past for
software analysis, as they allow to consider different properties in a
more cohesive way (apart from low-level language constructs). A feature
is a unit of functionality that satisfies a requirement, represents a
design decision, and provides a potential configuration option. As such,
it allows to distinguish different members of the family by their
variable parts. A challenge in FOSD is that a feature does not map
cleanly to an isolated module of code. Rather, it may affect (“cut
across”) many components/artifacts of a software system. Furthermore,
the decomposition of a software system into its features gives rise to a
combinatorial explosion of possible feature combinations and
interactions. Research on FOSD has shown that the concept of features
pervades all phases of the software life cycle and requires a proper
treatment in terms of analysis, design, and programming techniques,
methods, languages, and tools, as well as formalisms and theory.

Organizers:
Sandro Schulze, Otto-von-Guericke University, Magdeburg, Germany
Andrzej Wasowski, IT University of Copenhagen, Denmark
Djamel Eddine Khelladi, ISSE, Johannes Kepler University, Linz, Austria
==========================================


IWODPLE 2018
1st International Workshop on Documentation of Industrial Product Line
Examples
https://iwodple.wordpress.com

This workshop is intended for product line experts from industry who
wish to learn and share experiences on real-world implementations of
product lines. There exist many papers describing certain aspects of
real-world product lines. We also have the well-known SPLC Hall of Fame
with quite a number of what we call real-world product lines. The
purpose of this workshop is to work on defining a concise format for
documenting different cases of product lines implementations so that
others (especially new actors from industry) can understand how the
product line operation can be run. The main focus of the first workshop
is to define what information regarding a product line should be
documented, brainstorm how this could be done, and to come up with a
concrete working plan for continuing the work on this topic and, in
fine, dress a consistent and purposeful list of examples. We are mainly
seeking industry practitioners with strong product line experience to
join this workshop. We will limit the number of participants to about 10
attendees in order to be able work together on the topic in a very
efficient manner. Please apply for a seat in this workshop with a short
information about what is your interest in this topic and what
background you have in product lines. If your organization has already a
publicly documented product line, please include references to the
documentation available.

Organizers:
Danilo Beuche, CEO, pure-systems, Germany
Hugo Guillermo Chale-Gongora, Director PLE, Thales, France
Thomas Fogdal, Manager - Software Platform Engineering, Danfoss Drives,
Denmark
==========================================


REVE 2018
6th International Workshop on Reverse Variability Engineering
http://reveworkshop.github.io/2018

Software Product Line (SPL) migration remains a challenging endeavour.
From organizational issues to purely technical challenges, there is a
wide range of barriers that complicates SPL adoption. This workshop aims
to foster research about making the most of the two main inputs for SPL
migration: 1) domain knowledge and 2) legacy assets. Domain knowledge,
usually implicit and spread across an organization, is key to define the
SPL scope and to validate the variability model and its semantics. At
the technical level, domain expertise is also needed to create or
extract the reusable software components. Legacy assets can be, for
instance, similar product variants (e.g., requirements, models, source
code etc.) that were implemented using ad-hoc reuse techniques such as
clone-and-own. More generally, the workshop REverse Variability
Engineering (REVE) attracts researchers and practitioners contributing
to processes, techniques, tools, or empirical studies related to the
automatic, semi-automatic or manual extraction or refinement of SPL assets.

Organizers:
Tewfik Ziadi, Sorbonne Université, CNRS, LIP6, Paris, France
Roberto E. Lopez-Herrejon, Ecole de technologie supérieure, Montréal, Canada
Mathieu Acher, Irisa, Inria and University of Rennes 1, Nantes, France
Jabier Martinez, Tecnalia, Spain
==========================================


SPLTea 2018
3rd International Workshop on Software Product Line Teaching
http://spltea.irisa.fr

Education has a key role to play for disseminating the constantly
growing body of Software Product Line (SPL) knowledge. In a sense, every
researcher in SPL should think about how to teach SPL. This workshop
aims to explore and explain the current status and ongoing work on
teaching SPLs at universities, colleges, and in industry (e.g., by
consultants). This third edition will continue the effort made at
SPLTea’14 and SPLTea’15. In particular, we seek to attract experience
reports of teaching SPLs. We expect several lightning talks that report
on traditional questions like: What is the targeted audience? What is
the place in the curriculum? What is the material (slides, tools, books,
etc) used? What are the benefits of teaching SPLs? What are the
difficulties and barriers? We also welcome opinionated and provocative
talks that encourage discussions about the topic. Another goal of the
workshop is to populate an open repository of resources dedicated to SPL
teaching: http://teaching.variability.io

Organizers:
Mathieu Acher, Univ Rennes, Inria, CNRS, IRISA, Rennes, France
Rick Rabiser, CDL MEVSS, Johannes Kepler University Linz, Linz, Austria
Roberto E. Lopez-Herrejon, Ecole de Technologie Supérieure, Montréal, Canada
==========================================


VariVolution 2018
1st International Workshop on Variability and Evolution of
Software-intensive Systems
http://varivolution2018.softeam-rd.eu

Modern software systems are subject to continuous change and often need
to exist in many variants addressing different requirements. Yet,
software versions resulting from evolution in time (aka revisions) and
variants resulting from evolution in space are managed radically
differently, but none of the traditional technologies have been
successful in effectively supporting unified revision and variant
management in practice. Recently, several research activities have
focused on the integrated management of evolution and variability.
Existing approaches stem from multiple origins, most notably from the
fields of software configuration management and software product line
engineering, but also from, e.g., software modularity and software
architecture. For instance, variation control systems adopt a holistic
view on software evolution in time and space with the ultimate goal of
systematically managing software revisions and variants on an
appropriate level of abstraction. VariVolution (the 1st International
Workshop on Variability and Evolution of Software-intensive Systems)
aims at bringing together active researchers studying software evolution
and variability from different angles as well as practitioners who
encounter these phenomena in real-world applications and systems. The
workshop offers a platform for exchanging new ideas and fostering future
research collaborations and synergies.

Organizers:
Lukas Linsbauer, Johannes Kepler University Linz, Austria
Somayeh Malakuti, ABB Corporate Research Center, Ladenburg, Germany
Andrey Sadovykh, SOFTEAM Research, Paris, France
Felix Schwägerl, University of Bayreuth, Germany
==========================================


Workshops chairs at SPLC 2018
Christoph Seidl, Braunschweig University of Technology, Germany
Jabier Martinez, Tecnalia, Spain

==========================================

http://splc2018.net/workshops





-- 
----------------------------------------
Dr.-Ing. Sandro Schulze
Senior Researcher
Otto-von-Guericke Universität Magdeburg
Institute of Technical and Business Information Systems (ITI)
Universitätsplatz 2
39106 Magdeburg, Germany
Room: 109
Phone: +49 39167 51680
Fax: +49 39167 42020