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