4 mai 2026
En mai prochain, CLEARSY participera à deux événements au Japon autour d’un enjeu clé : comment associer l’IA aux méthodes formelles sans compromettre la sécurité des systèmes critiques.
- NII Shonan Meeting n° 225 (12–15 mai) : CLEARSY présentera ses travaux sur le développement d’un contrôleur de sécurité formel supervisant des systèmes d’apprentissage automatique dans le ferroviaire. (https://shonan.nii.ac.jp/seminars/225/)
- Formal Methods (FM) 2026 Industry Day (18–22 mai, Tokyo) : les équipes CLEARSY partageront des retours d’expérience concrets sur l’usage de l’IA dans les projets ferroviaires basés sur les méthodes formelles, en soulignant la nécessité d’un contrôle humain rigoureux. (https://conf.researchr.org/home/fm-2026)
Ces interventions illustrent une conviction forte : loin de remplacer les méthodes formelles, l’IA en renforce le rôle.
CLEARSY remercie les organisateurs de ces événements — Fuyuki Ishikawa, Olga Kouchnarenko et Elvinia Riccobene au NII Shonan, ainsi qu’à Jeroen Keiren et Naoto Sato – et sera ravi d’échanger avec les participants sur place.