<html><head><meta http-equiv=Content-Type content="text/html; charset=utf-8"><META name="Author" content="Novell GroupWise WebAccess"></head><body style='font-family: Tahoma, sans-serif; font-size: 13px; '>
--------------------------------------------------------------
<br>2nd International Workshop on Formal Methods and Analysis in Software Product 
<br>Line Engineering (FMSPLE 2011), 26 August 2011
<br>http://www.iese.fraunhofer.de/events/fmsple/
<br>
<br>Co-located with the 15th International Software Product Line Conference
<br>(SPLC 2011), 22 - 26 August 2011
<br>http://www.splc2011.net/
<br>
<br>--------------------------------------------------------------
<br>IMPORTANT DATES:
<br><span style="font-weight: bold; color: rgb(255, 69, 0);">- Deadline for submissions: 29 May 2011 
</span>(extended)<br>- Notification of acceptance: 16 June 2011
<br>- Final papers due: 27 June 2011
<br>--------------------------------------------------------------
<br>
<br>BACKGROUND AND OBJECTIVES 
<br>
<br>Software product line engineering (SPLE) aims at developing a family
 of systems by systematic, large-scale reuse in order to reduce time to 
market and costs and to increase product quality. In order to achieve 
these  goals, formal methods and analysis are promising approaches, 
which are best applied throughout the product line lifecycle in order to
 maximise their overall efficiency and effectiveness. While some 
analysis approaches (e.g., for feature modelling, variant management) 
and formal methods (e.g.,  BDDs,  CSPs, SAT solvers, model checkers or 
formal semantics of variability  models) have already been applied to 
SPLE, a considerable potential still seems to be unexploited. Despite 
the initial works mentioned above, the respective communities (SPLE, 
analysis and formal methods) have only been loosely connected. This 
workshop will bring together researchers interested in raising the 
efficiency and effectiveness of SPLE by applying innovative analysis 
approaches and formal methods. The two long term objectives are as 
follows:
<br>
<br>- To raise awareness and a common understanding of challenges, constraints and approaches in the different communities and, 
<br>- To create a broader community interested in formal methods and 
analysis approaches in order to keep SPLE tools and research up-to-date 
with latest technologies. 
<br>
<br>FMSPLE 2011 merges two successful workshops in these fields, namely,
 the FMSPLE workshop 2010 
(http://www.iese.fraunhofer.de/de/veranstaltungen_messen/fmsple/2010) 
and the ASPL workshop 2008 (http://www.isa.us.es/aspl08), both 
collocated with the International Software Product Line Conference.
<br>
<br>TOPICS  
<br>
<br>The FMSPLE workshop focuses on the application of formal methods and
 analysis approaches in all phases of SPLE to ensure the correctness of 
individual artifacts as well as the consistency among them. The topics 
of interest include, but are not limited to: 
<br>
<br>- Analysis approaches and formal methods for: 
<br>-- domain analysis and scoping
<br>-- variability modelling
<br>-- specification and verification of non-functional properties in SPLE
<br>-- product line architectures
<br>-- component-based product line development
<br>-- product line implementation, such as programming languages, formal language 
<br>semantics, type systems
<br>-- formal verification of product lines and product line artifacts, including 
<br>theorem proving, model checking, and static analysis techniques
<br>-- correctness-by-construction techniques in SPLE
<br>-- automated test case generation and formal testing in SPLE
<br>-- product derivation and application engineering
<br>-- model-based development of product lines
<br>-- analysis and assessment of diverse product line properties 
<br>-- product line management (e.g. consistency assurance) and evolution
<br>- Proofs of concept, industrial experiences and empirical evaluations
<br>- Tool presentations
<br>- Vision and position papers on formal methods and analyses applied to SPLE.
<br>
<br>LOCATION
<br>
<br>The workshop will be held on 26 August 2011, at Munich (Germany), 
co-located with the SPLC conference from 22 - 26 August 2011. 
http://www.splc2011.net/
<br>
<br>FORMAT
<br>
<br>The FMSPLE workshop will be a full-day event, starting with a 
keynote presentation by Prof. Alexander Felfernig (Graz University of 
Technology, Austria). Prof. Felfernig is a well-known expert on 
analysis, configuration, and recommender systems in the AI community. 
The keynote will be followed by presentations of selected peer-reviewed 
papers. To foster interaction within the workshop, a discussant will be 
assigned to each presented paper. The task of the discussant will be to 
prepare a summary of the paper and initiate the discussion of its 
results. The workshop will close with a panel discussion moderated by 
the organizers to summarize the state of the art and the state of the 
practice as presented in the workshop, to collect research challenges 
for the application of formal methods in SPLE and to identify research 
topics for future workshops. 
<br>
<br>SUBMISSIONS  
<br>
<br>We are seeking for research papers, experience reports, reports of 
industrial case studies, tool descriptions, and short papers of 4-8 
pages length in ACM
<br>SIG alternative proceedings A4 style format. For formatting instructions consult
<br>http://www.acm.org/sigs/publications/proceedings-templates
<br>
<br>Submissions will be selected based on the relevance to the workshop 
topics and the suitability to trigger discussions. A post-proceedings of
 the workshop is under consideration. 
<br>
<br>We encourage to include a section called *Discussions* at the end of
 each paper where you put the opening questions you want to discuss at 
the workshop. As papers will be reviewed also on their potential to 
generate discussion at the workshop, including such a section can 
increase the chance for a paper to be accepted.
<br>
<br>The submission page can be found at
<br>http://www.easychair.org/conferences/?conf=fmsple11
<br>
<br>PROGRAM COMMITTEE 
<br>
<br>S. Apel, Univ. Passau, Germany 
<br>E. Bagheri, Athabasca Univ., Canada 
<br>D. Batory, Univ. of Texas, USA 
<br>A. Bauer, NICTA, Australia 
<br>M. Broy, Univ. Munich, Germany 
<br>D. Clarke, KU Leuven, Belgium 
<br>A. Classen, Univ. of Namur, Belgium 
<br>F. de Boer, CWI, Netherlands 
<br>A. Gruler,  Techn. Univ. Munich, Germany
<br>K. Havelund, NASA JPL, USA 
<br>P. Heymans, Univ. Namur, Belgium
<br>K. Larsen, Aalborg Univ., Denmark 
<br>T. Männistö, Helsinki Univ. of Techn., Finland 
<br>M. Mendonca, Univ. of Waterloo, Canada 
<br>D. Muthig, Lufthansa Systems, Germany 
<br>B. O'Sullivan, Cork Constraint Computation Centre, Ireland 
<br>A. Ruiz-Cortes, Univ. Seville, Spain 
<br>G. Schneider, Univ. Gothenburg, Sweden 
<br>D. Schmidt, SEI, USA 
<br>J. White, Virginia Tech, USA
<br>
<br>PROGRAM COMMITTEE CHAIRS
<br>
<br>David Benavides (Univ. Seville, Spain) 
<br>Martin Leucker (Univ. Luebeck, Germany) 
<br>     
<br>ORGANIZING COMMITTEE 
<br>
<br>Martin Becker (Fraunhofer IESE, Germany 
<br>Rick Rabiser (Univ. Linz, Austria) 
<br>Karina Villela (Fraunhofer IESE, Germany) 
<br>Peter Y.H. Wong (Fredhopper, Netherlands)
        </body></html>