{"id":21282,"date":"2026-05-04T07:12:00","date_gmt":"2026-05-04T05:12:00","guid":{"rendered":"https:\/\/www.clearsy.com\/?p=21282"},"modified":"2026-05-04T07:12:00","modified_gmt":"2026-05-04T05:12:00","slug":"clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry","status":"publish","type":"post","link":"https:\/\/www.clearsy.com\/en\/company\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\/","title":{"rendered":"CLEARSY at the NII Shonan Meeting and FM 2026 Industry"},"content":{"rendered":"<p>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.<\/p>\n<ul>\n<li>NII Shonan Meeting No. 225 (12\u201315 May): CLEARSY will present its work on the development of a formal safety controller to oversee machine learning systems in the rail sector. (<a href=\"https:\/\/shonan.nii.ac.jp\/seminars\/225\/\">https:\/\/shonan.nii.ac.jp\/seminars\/225\/<\/a>)<\/li>\n<li>FM 2026 Industry Day (18\u201322 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. (<a href=\"https:\/\/conf.researchr.org\/home\/fm-2026\">https:\/\/conf.researchr.org\/home\/fm-2026<\/a>)<\/li>\n<\/ul>\n<p>These presentations illustrate a firm conviction: far from replacing formal methods, AI reinforces their role.<\/p>\n<p>CLEARSY would like to thank the organisers of these events \u2014 Fuyuki Ishikawa, Olga Kouchnarenko and Elvinia Riccobene at NII Shonan, as well as Jeroen Keiren and Naoto Sato \u2014 and looks forward to discussing these topics with participants at the events.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Next May, CLEARSY will take part in two events in Japan focusing on a key issue: how to combine AI [&hellip;]<\/p>\n","protected":false},"author":23,"featured_media":21283,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[1532],"tags":[],"class_list":["post-21282","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-company"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>CLEARSY at the NII Shonan Meeting and FM 2026 Industry - CLEARSY<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.clearsy.com\/en\/company\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"CLEARSY at the NII Shonan Meeting and FM 2026 Industry - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"Next May, CLEARSY will take part in two events in Japan focusing on a key issue: how to combine AI [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/company\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"article:published_time\" content=\"2026-05-04T05:12:00+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2026\/05\/CLEARSY-au-Japon-US-web.jpeg\" \/>\n\t<meta property=\"og:image:width\" content=\"1700\" \/>\n\t<meta property=\"og:image:height\" content=\"650\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Elodie SENOUCI-TANI\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Elodie SENOUCI-TANI\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/company\\\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/company\\\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\\\/\"},\"author\":{\"name\":\"Elodie SENOUCI-TANI\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/person\\\/814317cfd25d55208a01568fae4dc689\"},\"headline\":\"CLEARSY at the NII Shonan Meeting and FM 2026 Industry\",\"datePublished\":\"2026-05-04T05:12:00+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/company\\\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\\\/\"},\"wordCount\":163,\"publisher\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/company\\\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2026\\\/05\\\/CLEARSY-au-Japon-US-web.jpeg\",\"articleSection\":[\"Company\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/company\\\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/company\\\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\\\/\",\"name\":\"CLEARSY at the NII Shonan Meeting and FM 2026 Industry - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/company\\\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/company\\\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2026\\\/05\\\/CLEARSY-au-Japon-US-web.jpeg\",\"datePublished\":\"2026-05-04T05:12:00+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/company\\\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/company\\\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/company\\\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2026\\\/05\\\/CLEARSY-au-Japon-US-web.jpeg\",\"contentUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2026\\\/05\\\/CLEARSY-au-Japon-US-web.jpeg\",\"width\":1700,\"height\":650},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/company\\\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"CLEARSY at the NII Shonan Meeting and FM 2026 Industry\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\",\"name\":\"CLEARSY\",\"description\":\"Safety Solutions Designer\",\"publisher\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\",\"name\":\"CLEARSY\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/04\\\/logo-clearsy.svg\",\"contentUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/04\\\/logo-clearsy.svg\",\"width\":652,\"height\":163,\"caption\":\"CLEARSY\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/person\\\/814317cfd25d55208a01568fae4dc689\",\"name\":\"Elodie SENOUCI-TANI\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/501a9cdd7eeba9e36ae784c53b209c3629e3e856bc8e66cea6ad8f7f8ebe97ba?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/501a9cdd7eeba9e36ae784c53b209c3629e3e856bc8e66cea6ad8f7f8ebe97ba?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/501a9cdd7eeba9e36ae784c53b209c3629e3e856bc8e66cea6ad8f7f8ebe97ba?s=96&d=mm&r=g\",\"caption\":\"Elodie SENOUCI-TANI\"},\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/author\\\/esenouci\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"CLEARSY at the NII Shonan Meeting and FM 2026 Industry - CLEARSY","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.clearsy.com\/en\/company\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\/","og_locale":"en_US","og_type":"article","og_title":"CLEARSY at the NII Shonan Meeting and FM 2026 Industry - CLEARSY","og_description":"Next May, CLEARSY will take part in two events in Japan focusing on a key issue: how to combine AI [&hellip;]","og_url":"https:\/\/www.clearsy.com\/en\/company\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\/","og_site_name":"CLEARSY","article_published_time":"2026-05-04T05:12:00+00:00","og_image":[{"width":1700,"height":650,"url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2026\/05\/CLEARSY-au-Japon-US-web.jpeg","type":"image\/jpeg"}],"author":"Elodie SENOUCI-TANI","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Elodie SENOUCI-TANI","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.clearsy.com\/en\/company\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\/#article","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/company\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\/"},"author":{"name":"Elodie SENOUCI-TANI","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/814317cfd25d55208a01568fae4dc689"},"headline":"CLEARSY at the NII Shonan Meeting and FM 2026 Industry","datePublished":"2026-05-04T05:12:00+00:00","mainEntityOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/company\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\/"},"wordCount":163,"publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/company\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2026\/05\/CLEARSY-au-Japon-US-web.jpeg","articleSection":["Company"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.clearsy.com\/en\/company\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\/","url":"https:\/\/www.clearsy.com\/en\/company\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\/","name":"CLEARSY at the NII Shonan Meeting and FM 2026 Industry - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/company\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\/#primaryimage"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/company\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2026\/05\/CLEARSY-au-Japon-US-web.jpeg","datePublished":"2026-05-04T05:12:00+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/company\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/company\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/company\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\/#primaryimage","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2026\/05\/CLEARSY-au-Japon-US-web.jpeg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2026\/05\/CLEARSY-au-Japon-US-web.jpeg","width":1700,"height":650},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/company\/clearsy-at-the-nii-shonan-meeting-and-fm-2026-industry\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"CLEARSY at the NII Shonan Meeting and FM 2026 Industry"}]},{"@type":"WebSite","@id":"https:\/\/www.clearsy.com\/en\/#website","url":"https:\/\/www.clearsy.com\/en\/","name":"CLEARSY","description":"Safety Solutions Designer","publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.clearsy.com\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/www.clearsy.com\/en\/#organization","name":"CLEARSY","url":"https:\/\/www.clearsy.com\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","width":652,"height":163,"caption":"CLEARSY"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/814317cfd25d55208a01568fae4dc689","name":"Elodie SENOUCI-TANI","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/501a9cdd7eeba9e36ae784c53b209c3629e3e856bc8e66cea6ad8f7f8ebe97ba?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/501a9cdd7eeba9e36ae784c53b209c3629e3e856bc8e66cea6ad8f7f8ebe97ba?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/501a9cdd7eeba9e36ae784c53b209c3629e3e856bc8e66cea6ad8f7f8ebe97ba?s=96&d=mm&r=g","caption":"Elodie SENOUCI-TANI"},"url":"https:\/\/www.clearsy.com\/en\/author\/esenouci\/"}]}},"_links":{"self":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/21282","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/users\/23"}],"replies":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/comments?post=21282"}],"version-history":[{"count":2,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/21282\/revisions"}],"predecessor-version":[{"id":21288,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/21282\/revisions\/21288"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media\/21283"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=21282"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/categories?post=21282"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/tags?post=21282"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}