21 July 2020
CLEARSY will organize an invitational scientific seminar on the industrial use of formal methods for cyber-physical systems, in Shonan (south of Tokyo), from the 05th to the 09th of November 2018. This seminar will be an opportunity to review the practices and needs of industry and review how the formal methods could answer it.
A strong Japanese representation is expected. This seminar will be followed by a “B event” workshop organized at the NII (National Institute of Informatics) in Tokyo.