Previous editions
5th International Workshop on Formal Methods and Analysis
in Software Product Line Engineering, Corfu, Greece, 10 October 2014.
Held as track of the 6th International Symposium On Leveraging Applications
of Formal Methods, Verification and Validation (ISoLA 2014), Corfu, Greece,
8-11 October 2014.
4th International Workshop on Formal Methods and Analysis
in Software Product Line Engineering, Tokyo, Japan, 27 August 2013.
Co-located with the 17th International Software Product Line Conference
(SPLC 2013), Tokyo, Japan, 26-30 August 2013.
3rd International Workshop on Formal Methods and Analysis
in Software Product Line Engineering, Salvador, Brazil, 2 September 2012.
Co-located with the 16th International Software Product Line Conference
(SPLC 2012), Salvador, Brazil, 2-7 September 2012.
2nd International Workshop on Formal Methods and Analysis
in Software Product Line Engineering, Munich, Germany, 26 August 2011.
Co-located with the 15th International Software Product Line Conference
(SPLC 2011), Munich, Germany, 21-26 August 2011.
1st International Workshop on Formal Methods in Software
Product Line Engineering, 14 September 2010.
Co-located with the 14th International Software Product Line Conference
(SPLC 2010), Jeju Island, South Korea, 13-17 September 2010.
1st Workshop on Analyses of Software Product Lines, Limerick,
Ireland, 12 September 2008.
Co-located with the 12th International Software Product Line Conference
(SPLC 2008), Limerick, Ireland, 8-12 September 2008.