4th workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2013)

Join the worksop and lissen to the Keynote on “Systematic Derivation of Static Analyses for Software Product Line” from Andrzej Wąsowski. 

The FMSPLE workshop will be a full-day event, starting with a keynote presentation. 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 discussion of its participants 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.