{"id":3022,"date":"2024-03-22T17:07:49","date_gmt":"2024-03-22T16:07:49","guid":{"rendered":"https:\/\/www.systerel.fr\/en\/?p=3022"},"modified":"2024-03-22T17:10:14","modified_gmt":"2024-03-22T16:10:14","slug":"horizon-mathematiques-conference","status":"publish","type":"post","link":"https:\/\/www.systerel.fr\/en\/news\/horizon-mathematiques-conference\/","title":{"rendered":"Horizon Math\u00e9matiques Conference"},"content":{"rendered":"\n<div class=\"wp-block-media-text is-stacked-on-mobile\"><figure class=\"wp-block-media-text__media\"><a href=\"https:\/\/sciencesmaths-paris.fr\/evenements\/horizon-maths\" target=\"_blank\" rel=\"noreferrer noopener\"><img loading=\"lazy\" decoding=\"async\" width=\"590\" height=\"393\" src=\"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2024\/03\/Horizon_Mathematiques_590.jpg\" alt=\"Horizon Math\u00e9matiques\" class=\"wp-image-3020 size-full\" srcset=\"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2024\/03\/Horizon_Mathematiques_590.jpg 590w, https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2024\/03\/Horizon_Mathematiques_590-300x200.jpg 300w\" sizes=\"auto, (max-width: 590px) 100vw, 590px\" \/><\/a><\/figure><div class=\"wp-block-media-text__content\">\n<p>We are delighted to announce Systerel&#8217;s participation in the upcoming edition of <a href=\"https:\/\/sciencesmaths-paris.fr\/evenements\/horizon-maths\" target=\"_blank\" rel=\"noreferrer noopener\">Horizon Math\u00e9matiques<\/a>, the annual conference organized by the <a href=\"https:\/\/sciencesmaths-paris.fr\/\" target=\"_blank\" rel=\"noreferrer noopener\">Paris Mathematical Sciences Foundation<\/a>.<\/p>\n\n\n\n<p>This event will take place on March 27, 2024, at the Hermite Amphitheater of the <a href=\"https:\/\/www.ihp.fr\/fr\" target=\"_blank\" rel=\"noreferrer noopener\">IHP<\/a> in Paris and will bring together mathematicians, scientists from the industrial world, and specialists from other disciplines around the theme: &#8220;Mathematical Proof and Software Safety.&#8221;<\/p>\n\n\n\n<p>On this occasion, one of our experts will speak to present the various use cases of formal methods at Systerel. With extensive experience in the industrial implementation of formal methods, we are proud to actively contribute to these exchanges.<\/p>\n\n\n\n<p>For more information about Horizon Maths 2024 and to register, please visit the link below: <a href=\"https:\/\/sciencesmaths-paris.fr\/evenements\/horizon-maths\">https:\/\/sciencesmaths-paris.fr\/evenements\/horizon-maths<\/a><\/p>\n<\/div><\/div>\n","protected":false},"excerpt":{"rendered":"<p>We are delighted to announce Systerel&#8217;s participation in the upcoming edition of Horizon Math\u00e9matiques, the annual conference organized by the Paris Mathematical Sciences Foundation.<\/p>\n","protected":false},"author":22,"featured_media":3020,"comment_status":"closed","ping_status":"closed","sticky":true,"template":"","format":"standard","meta":{"footnotes":""},"categories":[11],"tags":[],"class_list":["post-3022","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-conferences_and_fairs"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.4 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Horizon Math\u00e9matiques Conference - Systerel English<\/title>\n<meta name=\"description\" content=\"Systerel will be participating in the upcoming edition of Horizon Math\u00e9matiques, organized by the Paris Mathematical Sciences Foundation.\" \/>\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.systerel.fr\/en\/news\/horizon-mathematiques-conference\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Horizon Math\u00e9matiques Conference - Systerel English\" \/>\n<meta property=\"og:description\" content=\"Systerel will be participating in the upcoming edition of Horizon Math\u00e9matiques, organized by the Paris Mathematical Sciences Foundation.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.systerel.fr\/en\/news\/horizon-mathematiques-conference\/\" \/>\n<meta property=\"og:site_name\" content=\"Systerel English\" \/>\n<meta property=\"article:published_time\" content=\"2024-03-22T16:07:49+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-03-22T16:10:14+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2024\/03\/Horizon_Mathematiques_590.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"590\" \/>\n\t<meta property=\"og:image:height\" content=\"393\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"maurin\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"maurin\" \/>\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.systerel.fr\\\/en\\\/news\\\/horizon-mathematiques-conference\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/horizon-mathematiques-conference\\\/\"},\"author\":{\"name\":\"maurin\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/de5a223a620590b6296181da6513f2b4\"},\"headline\":\"Horizon Math\u00e9matiques Conference\",\"datePublished\":\"2024-03-22T16:07:49+00:00\",\"dateModified\":\"2024-03-22T16:10:14+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/horizon-mathematiques-conference\\\/\"},\"wordCount\":127,\"image\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/horizon-mathematiques-conference\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2024\\\/03\\\/Horizon_Mathematiques_590.jpg\",\"articleSection\":[\"Conferences and fairs\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/horizon-mathematiques-conference\\\/\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/horizon-mathematiques-conference\\\/\",\"name\":\"Horizon Math\u00e9matiques Conference - Systerel English\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/horizon-mathematiques-conference\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/horizon-mathematiques-conference\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2024\\\/03\\\/Horizon_Mathematiques_590.jpg\",\"datePublished\":\"2024-03-22T16:07:49+00:00\",\"dateModified\":\"2024-03-22T16:10:14+00:00\",\"author\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/de5a223a620590b6296181da6513f2b4\"},\"description\":\"Systerel will be participating in the upcoming edition of Horizon Math\u00e9matiques, organized by the Paris Mathematical Sciences Foundation.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/horizon-mathematiques-conference\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/horizon-mathematiques-conference\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/horizon-mathematiques-conference\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2024\\\/03\\\/Horizon_Mathematiques_590.jpg\",\"contentUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2024\\\/03\\\/Horizon_Mathematiques_590.jpg\",\"width\":590,\"height\":393,\"caption\":\"Horizon Math\u00e9matiques\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/horizon-mathematiques-conference\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Horizon Math\u00e9matiques Conference\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\",\"name\":\"Systerel English\",\"description\":\"Safe real-time solutions\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/de5a223a620590b6296181da6513f2b4\",\"name\":\"maurin\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/d2d4e4c8b1a1ccabf26c68585d0238fcc9e5bbed3ec81e32a4628fc2063d901a?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/d2d4e4c8b1a1ccabf26c68585d0238fcc9e5bbed3ec81e32a4628fc2063d901a?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/d2d4e4c8b1a1ccabf26c68585d0238fcc9e5bbed3ec81e32a4628fc2063d901a?s=96&d=mm&r=g\",\"caption\":\"maurin\"},\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/author\\\/maurin\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Horizon Math\u00e9matiques Conference - Systerel English","description":"Systerel will be participating in the upcoming edition of Horizon Math\u00e9matiques, organized by the Paris Mathematical Sciences Foundation.","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.systerel.fr\/en\/news\/horizon-mathematiques-conference\/","og_locale":"en_US","og_type":"article","og_title":"Horizon Math\u00e9matiques Conference - Systerel English","og_description":"Systerel will be participating in the upcoming edition of Horizon Math\u00e9matiques, organized by the Paris Mathematical Sciences Foundation.","og_url":"https:\/\/www.systerel.fr\/en\/news\/horizon-mathematiques-conference\/","og_site_name":"Systerel English","article_published_time":"2024-03-22T16:07:49+00:00","article_modified_time":"2024-03-22T16:10:14+00:00","og_image":[{"width":590,"height":393,"url":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2024\/03\/Horizon_Mathematiques_590.jpg","type":"image\/jpeg"}],"author":"maurin","twitter_misc":{"Written by":"maurin","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.systerel.fr\/en\/news\/horizon-mathematiques-conference\/#article","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/news\/horizon-mathematiques-conference\/"},"author":{"name":"maurin","@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/de5a223a620590b6296181da6513f2b4"},"headline":"Horizon Math\u00e9matiques Conference","datePublished":"2024-03-22T16:07:49+00:00","dateModified":"2024-03-22T16:10:14+00:00","mainEntityOfPage":{"@id":"https:\/\/www.systerel.fr\/en\/news\/horizon-mathematiques-conference\/"},"wordCount":127,"image":{"@id":"https:\/\/www.systerel.fr\/en\/news\/horizon-mathematiques-conference\/#primaryimage"},"thumbnailUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2024\/03\/Horizon_Mathematiques_590.jpg","articleSection":["Conferences and fairs"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.systerel.fr\/en\/news\/horizon-mathematiques-conference\/","url":"https:\/\/www.systerel.fr\/en\/news\/horizon-mathematiques-conference\/","name":"Horizon Math\u00e9matiques Conference - Systerel English","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.systerel.fr\/en\/news\/horizon-mathematiques-conference\/#primaryimage"},"image":{"@id":"https:\/\/www.systerel.fr\/en\/news\/horizon-mathematiques-conference\/#primaryimage"},"thumbnailUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2024\/03\/Horizon_Mathematiques_590.jpg","datePublished":"2024-03-22T16:07:49+00:00","dateModified":"2024-03-22T16:10:14+00:00","author":{"@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/de5a223a620590b6296181da6513f2b4"},"description":"Systerel will be participating in the upcoming edition of Horizon Math\u00e9matiques, organized by the Paris Mathematical Sciences Foundation.","breadcrumb":{"@id":"https:\/\/www.systerel.fr\/en\/news\/horizon-mathematiques-conference\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.systerel.fr\/en\/news\/horizon-mathematiques-conference\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.systerel.fr\/en\/news\/horizon-mathematiques-conference\/#primaryimage","url":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2024\/03\/Horizon_Mathematiques_590.jpg","contentUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2024\/03\/Horizon_Mathematiques_590.jpg","width":590,"height":393,"caption":"Horizon Math\u00e9matiques"},{"@type":"BreadcrumbList","@id":"https:\/\/www.systerel.fr\/en\/news\/horizon-mathematiques-conference\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.systerel.fr\/en\/"},{"@type":"ListItem","position":2,"name":"Horizon Math\u00e9matiques Conference"}]},{"@type":"WebSite","@id":"https:\/\/www.systerel.fr\/en\/#website","url":"https:\/\/www.systerel.fr\/en\/","name":"Systerel English","description":"Safe real-time solutions","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.systerel.fr\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Person","@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/de5a223a620590b6296181da6513f2b4","name":"maurin","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/d2d4e4c8b1a1ccabf26c68585d0238fcc9e5bbed3ec81e32a4628fc2063d901a?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/d2d4e4c8b1a1ccabf26c68585d0238fcc9e5bbed3ec81e32a4628fc2063d901a?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/d2d4e4c8b1a1ccabf26c68585d0238fcc9e5bbed3ec81e32a4628fc2063d901a?s=96&d=mm&r=g","caption":"maurin"},"url":"https:\/\/www.systerel.fr\/en\/news\/author\/maurin\/"}]}},"_links":{"self":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/3022","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/users\/22"}],"replies":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/comments?post=3022"}],"version-history":[{"count":1,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/3022\/revisions"}],"predecessor-version":[{"id":3023,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/3022\/revisions\/3023"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media\/3020"}],"wp:attachment":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media?parent=3022"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/categories?post=3022"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/tags?post=3022"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}