Members of the HATS consortium are organizing the 3rd International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE), to be co-located wtih Software Product Line Conference (2012) on 2nd September in Salvador, Brazil.