4 May 2026
Next May, CLEARSY will take part in two events in Japan focusing on a key issue: how to combine AI with formal methods without compromising the security of critical systems.
- NII Shonan Meeting No. 225 (12–15 May): CLEARSY will present its work on the development of a formal safety controller to oversee machine learning systems in the rail sector. (https://shonan.nii.ac.jp/seminars/225/)
- FM 2026 Industry Day (18–22 May, Tokyo): CLEARSY teams will share practical insights on the use of AI in railway projects based on formal methods, emphasising the need for rigorous human oversight. (https://conf.researchr.org/home/fm-2026)
These presentations illustrate a firm conviction: far from replacing formal methods, AI reinforces their role.
CLEARSY would like to thank the organisers of these events — Fuyuki Ishikawa, Olga Kouchnarenko and Elvinia Riccobene at NII Shonan, as well as Jeroen Keiren and Naoto Sato — and looks forward to discussing these topics with participants at the events.