European Educational Forum: School on Formal Methods and Performance Analysis