{"id":4,"date":"2011-12-08T11:55:34","date_gmt":"2011-12-08T11:55:34","guid":{"rendered":"http:\/\/project.inria.fr\/template1\/?page_id=4"},"modified":"2022-09-16T15:28:39","modified_gmt":"2022-09-16T13:28:39","slug":"home","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/synchron2018\/fr\/","title":{"rendered":"Accueil"},"content":{"rendered":"<p><\/p>\n<h4>25ieme S\u00e9minaire Ouvert International sur la Programmation Reactive Synchrone<\/h4>\n<p>Le S\u00e9minaire Ouvert International\u00a0\u00a0<strong>Synchron<\/strong>\u00a0 est le rendez-vous annuel des experts et des jeunes chercheurs du domaine de la programmation reactive synchrone et de sa sp\u00e9cialisation de th\u00e9matiques connexes (sp\u00e9cifications ex\u00e9cutables et s\u00e9mantique op\u00e9rationnelle, analyse et abstraction de programmes, mod\u00e8les de processus concurrents et parall\u00e8les, m\u00e9thodes formelles et approches de conception orient\u00e9es-mod\u00e8les,\u00a0 temps-r\u00e9el et pr\u00e9dictivit\u00e9 temporelle, architectures d\u00e9di\u00e9es, synth\u00e8se de contr\u00f4leurs&#8230;). Les nouveaux domaines d&rsquo;applications de l&rsquo;approche r\u00e9active synchrone sont \u00e9galement un th\u00e8me d&rsquo;inter\u00eat majeur du Workshop, ainsi que les liens entre temps logique et temps physique, la mod\u00e9lisation h\u00e9t\u00e9rog\u00e8ne de syst\u00e8mes complexes, et les liens \u00e9troits entre repr\u00e9sentations de logiciel et de mat\u00e9riel dans un cadre r\u00e9actif.<\/p>\n<p>Le format original \u00ab\u00a0<strong>ouvert<\/strong>\u00a0\u00bb du S\u00e9minaire\u00a0<strong>Synchron<\/strong> le rend unique dans le panorama actuel du domaine: sans pr\u00e9s\u00e9lection pr\u00e9alable d&rsquo;articles, les auteurs pr\u00e9sentent leurs travaux dans la mesure des espaces disponibles. Alors que laplupart des participants sont des habit(u)\u00e9s de la discipline, les nouveaux intervenants sont plus que bienvenus. L&rsquo;h\u00e9bergement commun des participants en un lieu unique rend propices les discussions scientifiques informelles \u00e0 partir de ces pr\u00e9sentations, m\u00ealant chercheurs exp\u00e9riment\u00e9s et novices. Les innovations alliant les th\u00e8mes privil\u00e9gi\u00e9s du s\u00e9minaire \u00e0 de nouveaux sujets \u00e9mergents trouvent \u00e9galement g\u00e9n\u00e9ralement un large \u00e9cho.<\/p>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\n<table border=\"1\" width=\"60%\">\n<tbody>\n<tr>\n<td><a href=\"https:\/\/project.inria.fr\/synchron2018\/files\/2022\/10\/inr_logo_scientifique_eng_v2-3.png\"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter wp-image-260\" src=\"https:\/\/project.inria.fr\/synchron2022\/files\/2022\/05\/INRIA_SCIENTIFIQUE_FR_CMJN.png\" alt=\"\" width=\"194\" height=\"68\" \/><\/a><\/td>\n<td><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter\" src=\"https:\/\/www.ansys.com\/-\/media\/ansys\/global\/brandings\/logo-ansys.jpg?h=63&amp;la=en&amp;w=195&amp;hash=00845610D30053C1B154C416D70644472FD47598\" alt=\"\" width=\"232\" height=\"75\" \/><\/td>\n<td><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter\" src=\"https:\/\/project.inria.fr\/synchron2018\/files\/2018\/10\/NewlogoI3S-250x70-1.jpg\" alt=\"\" width=\"312\" height=\"87\" \/><\/td>\n<td><a href=\"https:\/\/project.inria.fr\/synchron2018\/files\/2018\/10\/UCA.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignleft  wp-image-303\" src=\"https:\/\/project.inria.fr\/synchron2018\/files\/2018\/10\/UCA.png\" alt=\"\" width=\"125\" height=\"99\" srcset=\"https:\/\/project.inria.fr\/synchron2018\/files\/2018\/10\/UCA.png 152w, https:\/\/project.inria.fr\/synchron2018\/files\/2018\/10\/UCA-150x118.png 150w\" sizes=\"auto, (max-width: 125px) 100vw, 125px\" \/><\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>&nbsp;<\/p>","protected":false},"excerpt":{"rendered":"<p>25ieme S\u00e9minaire Ouvert International sur la Programmation Reactive Synchrone Le S\u00e9minaire Ouvert International\u00a0\u00a0Synchron\u00a0 est le rendez-vous annuel des experts et des jeunes chercheurs du domaine de la programmation reactive synchrone et de sa sp\u00e9cialisation de th\u00e9matiques connexes (sp\u00e9cifications ex\u00e9cutables et s\u00e9mantique op\u00e9rationnelle, analyse et abstraction de programmes, mod\u00e8les de processus\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/synchron2018\/fr\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":1,"featured_media":256,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-4","page","type-page","status-publish","has-post-thumbnail","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/synchron2018\/fr\/wp-json\/wp\/v2\/pages\/4","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/synchron2018\/fr\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/synchron2018\/fr\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/synchron2018\/fr\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/synchron2018\/fr\/wp-json\/wp\/v2\/comments?post=4"}],"version-history":[{"count":27,"href":"https:\/\/project.inria.fr\/synchron2018\/fr\/wp-json\/wp\/v2\/pages\/4\/revisions"}],"predecessor-version":[{"id":390,"href":"https:\/\/project.inria.fr\/synchron2018\/fr\/wp-json\/wp\/v2\/pages\/4\/revisions\/390"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/synchron2018\/fr\/wp-json\/wp\/v2\/media\/256"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/synchron2018\/fr\/wp-json\/wp\/v2\/media?parent=4"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}