27 novembre 2017
ETMF 2017 organisée les 27 et 28 Novembre 2017 à Recife (Brésil). Un tutoriel de 3 heures a été délivré à une vingtaine de chercheurs en méthodes formelles. Ce tutoriel a permis de constater un accueil très chaleureux à ce kit de développement qui permet d’associer une phase pratique à des enseignements théoriques. Plusieurs kits ont été donnés à des enseignants d’universités brésiliennes et anglaises.