{"id":20018,"date":"2024-10-02T14:22:53","date_gmt":"2024-10-02T12:22:53","guid":{"rendered":"https:\/\/www.clearsy.com\/?p=20018"},"modified":"2024-10-02T14:22:53","modified_gmt":"2024-10-02T12:22:53","slug":"clearsy-at-fm2024","status":"publish","type":"post","link":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-at-fm2024\/","title":{"rendered":"CLEARSY at FM2024"},"content":{"rendered":"<p>CLEARSY attended \u00a0<a href=\"https:\/\/www.fm24.polimi.it\/\">FM2024<\/a>, one of the largest Formal Methods conferences in the world. More than 300\u00a0academic and industrial researchers gathered in Milan from September 9th to 13th to present and discuss recent advances in this field.<\/p>\n<p>Thierry Lecomte, the research director of CLEARSY, was invited to give a keynote at <a href=\"https:\/\/fmics.inria.fr\/2024\/\">FMICS<\/a>, the section focused on Industrial Critical Systems. In his presentation, Thierry shared our nearly 25 years of experience applying Formal Methods in the development of industrial critical systems around the world.<\/p>\n<p>We also published a paper at the conference where we propose the use of the <a href=\"https:\/\/www.clearsy.com\/en\/tools\/clearsy-safety-platform\/\">CLEARSY Safety Platform<\/a>, the certified safety computer and approach developed by CLEARSY, to monitor legacy systems that cannot be replaced by computer-based ones. This allows for monitoring and formal analysis of non-computerized critical systems, improving their safety.<\/p>\n<p>It was a pleasure to reconnect with many research colleagues, as well as to meet a new generation of researchers in this important field for system safety. We will continue to share our knowledge and experience with the academic community, and we hope to see everyone again soon!<\/p>\n","protected":false},"excerpt":{"rendered":"<p>CLEARSY attended \u00a0FM2024, one of the largest Formal Methods conferences in the world. More than 300\u00a0academic and industrial researchers gathered [&hellip;]<\/p>\n","protected":false},"author":18,"featured_media":20014,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[1541,687,1533],"tags":[],"class_list":["post-20018","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-computer-science","category-exhibitions-conferences","category-rd"],"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 FM2024 - 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\/exhibitions-conferences\/clearsy-at-fm2024\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"CLEARSY at FM2024 - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"CLEARSY attended \u00a0FM2024, one of the largest Formal Methods conferences in the world. More than 300\u00a0academic and industrial researchers gathered [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-at-fm2024\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"article:published_time\" content=\"2024-10-02T12:22:53+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2024\/10\/FM2024-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=\"CLEARSY\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"CLEARSY\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-at-fm2024\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-at-fm2024\\\/\"},\"author\":{\"name\":\"CLEARSY\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/person\\\/9d903d1fb83dcfaa789ccff2972d95a1\"},\"headline\":\"CLEARSY at FM2024\",\"datePublished\":\"2024-10-02T12:22:53+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-at-fm2024\\\/\"},\"wordCount\":184,\"publisher\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-at-fm2024\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2024\\\/10\\\/FM2024-US-web.jpeg\",\"articleSection\":[\"Computer science\",\"Exhibitions\\\/conferences\",\"R&amp;D\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-at-fm2024\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-at-fm2024\\\/\",\"name\":\"CLEARSY at FM2024 - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-at-fm2024\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-at-fm2024\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2024\\\/10\\\/FM2024-US-web.jpeg\",\"datePublished\":\"2024-10-02T12:22:53+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-at-fm2024\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-at-fm2024\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-at-fm2024\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2024\\\/10\\\/FM2024-US-web.jpeg\",\"contentUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2024\\\/10\\\/FM2024-US-web.jpeg\",\"width\":1700,\"height\":650},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-at-fm2024\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"CLEARSY at FM2024\"}]},{\"@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\\\/9d903d1fb83dcfaa789ccff2972d95a1\",\"name\":\"CLEARSY\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/2927c9bde37c5967f4cfe8693c9e559f9258c2cbb554ae8b4d0fbded066afc2f?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/2927c9bde37c5967f4cfe8693c9e559f9258c2cbb554ae8b4d0fbded066afc2f?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/2927c9bde37c5967f4cfe8693c9e559f9258c2cbb554ae8b4d0fbded066afc2f?s=96&d=mm&r=g\",\"caption\":\"CLEARSY\"},\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/author\\\/tservat\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"CLEARSY at FM2024 - 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\/exhibitions-conferences\/clearsy-at-fm2024\/","og_locale":"en_US","og_type":"article","og_title":"CLEARSY at FM2024 - CLEARSY","og_description":"CLEARSY attended \u00a0FM2024, one of the largest Formal Methods conferences in the world. More than 300\u00a0academic and industrial researchers gathered [&hellip;]","og_url":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-at-fm2024\/","og_site_name":"CLEARSY","article_published_time":"2024-10-02T12:22:53+00:00","og_image":[{"width":1700,"height":650,"url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2024\/10\/FM2024-US-web.jpeg","type":"image\/jpeg"}],"author":"CLEARSY","twitter_card":"summary_large_image","twitter_misc":{"Written by":"CLEARSY","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-at-fm2024\/#article","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-at-fm2024\/"},"author":{"name":"CLEARSY","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/9d903d1fb83dcfaa789ccff2972d95a1"},"headline":"CLEARSY at FM2024","datePublished":"2024-10-02T12:22:53+00:00","mainEntityOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-at-fm2024\/"},"wordCount":184,"publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-at-fm2024\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2024\/10\/FM2024-US-web.jpeg","articleSection":["Computer science","Exhibitions\/conferences","R&amp;D"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-at-fm2024\/","url":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-at-fm2024\/","name":"CLEARSY at FM2024 - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-at-fm2024\/#primaryimage"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-at-fm2024\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2024\/10\/FM2024-US-web.jpeg","datePublished":"2024-10-02T12:22:53+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-at-fm2024\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-at-fm2024\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-at-fm2024\/#primaryimage","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2024\/10\/FM2024-US-web.jpeg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2024\/10\/FM2024-US-web.jpeg","width":1700,"height":650},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-at-fm2024\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"CLEARSY at FM2024"}]},{"@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\/9d903d1fb83dcfaa789ccff2972d95a1","name":"CLEARSY","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/2927c9bde37c5967f4cfe8693c9e559f9258c2cbb554ae8b4d0fbded066afc2f?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/2927c9bde37c5967f4cfe8693c9e559f9258c2cbb554ae8b4d0fbded066afc2f?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/2927c9bde37c5967f4cfe8693c9e559f9258c2cbb554ae8b4d0fbded066afc2f?s=96&d=mm&r=g","caption":"CLEARSY"},"url":"https:\/\/www.clearsy.com\/en\/author\/tservat\/"}]}},"_links":{"self":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/20018","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\/18"}],"replies":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/comments?post=20018"}],"version-history":[{"count":1,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/20018\/revisions"}],"predecessor-version":[{"id":20019,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/20018\/revisions\/20019"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media\/20014"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=20018"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/categories?post=20018"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/tags?post=20018"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}