14 décembre 2017
CLEARSY va organiser à Shonan (sud de Tokyo), du 05 au 09 Novembre 2018, un séminaire scientifique sur invitation relatif à l’usage industriel des méthodes formelles pour les systèmes cyber-physiques. Ce séminaire sera l’occasion de faire le point sur les pratiques et les besoins des industriels et de voir comment les méthodes formelles peuvent y répondre.
Une forte représentation japonaise est attendue. Ce séminaire sera suivi par un workshop d’une journée « B événementiel » organisée au NII (National Institute of Informatics) à Tokyo.