Members of the HATS consortium are organizing the 2nd International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE), to be co-located wtih Software Product Line Conference (2011) on 26th August in Munich.