FME-SoE is the Formal Methods Europe Subgroup on Education. It considers educational issues with respect to formal methods in general.