Le Forum Méthodes Formelles (FMF) est un groupe de travail d’Embedded France dont l’objectif de promouvoir les méthodes formelles dans l’industrie.

Systerel, membre du comité de programme, vous informe que la prochaine conférence aura lieu le 10 octobre prochain sur le thème « véhicules autonomes et méthodes formelles ».

La conférence se tiendra dans la salle de conférence du LAAS-CNRS à Toulouse et sera retransmise en direct à Grenoble au centre INRIA Rhône Alpes, à Rennes au centre INRIA Bretagne Atlantique ainsi que sur le campus de Saclay.