<\/p>\n
Ce workshop<\/em> ouvert est consacr\u00e9 \u00e0 la programmation synchrone, sous tous ses aspects : conception de langage, compilation et g\u00e9n\u00e9ration de code, v\u00e9rification formelle, analyse statique, test, environnements de programmation, plate-formes d’ex\u00e9cution, s\u00e9mantiques concurrentes, ordonnancement, m\u00e9thodologies de mod\u00e9lisation, etc. C’est le rendez-vous annuel et incontournable de la communaut\u00e9 Programmation Synchrone<\/em>. Il a vocation \u00e0 \u00eatre un forum ouvert o\u00f9 \u00e9tudiants, chercheurs et ing\u00e9nieur peuvent pr\u00e9senter leurs travaux et \u00e9changer sur de nouvelles directions de recherche.<\/p>\n Les langages de programmation synchrones ont \u00e9t\u00e9 introduits dans les ann\u00e9es 1980 pour la programmation des syst\u00e8mes embarqu\u00e9s critiques. Ce sont des syst\u00e8mes r\u00e9actif dont les calculs son cadenc\u00e9s par des horloges logiques. Malgr\u00e9 leur caract\u00e8re concurrent, ils sont d\u00e9terministes par construction. La principale force de l’approche synchrone est sa s\u00e9mantique math\u00e9matique rigoureuse, qui offre aux ing\u00e9nieurs la possibilit\u00e9 de garantir la correction de leurs programmes.<\/p>\n Le workshop SYNCHRON est organis\u00e9e pour \u00eatre ouvert<\/strong>, c’est-\u00e0-dire que chaque participant, y compris les \u00e9tudiants, sont incit\u00e9s a pr\u00e9senter leurs travaux. Ne soyez pas timides ! Vous \u00eates invit\u00e9s \u00e0 proposer une pr\u00e9sentation. Merci de donner un titre et un r\u00e9sum\u00e9 lors de votre inscription.<\/p>\n Le workshop SYNCHRON 2017 aura lieu du lundi 27 novembre 2017<\/strong> au vendredi 1er d\u00e9cembre 2017<\/strong>.<\/p>\n Le workshop SYNCHRON 2017 se tiendra au centre de conf\u00e9rence du centre Inria – Rennes Bretagne Atlantique, sur le campus de Beaulieu \u00e0 Rennes, France. La ville de Rennes, m\u00e9tropole r\u00e9gionale, cit\u00e9 de caract\u00e8re, est une des grandes villes universitaires de France.<\/p>\n Les informations pratiques pour venir \u00e0 Rennes (avion, train, bus, m\u00e9tro) peuvent \u00eatre consult\u00e9es ici<\/a>.<\/p>\n Rennes b\u00e9n\u00e9ficie de nombreux h\u00f4tels (utilisez notre outil de recherche favori). Nous vous conseillons de r\u00e9server un h\u00f4tel \u00e0 proximit\u00e9 des transports publics, et en particulier, des lignes de bus C4 et C6 qu’ils desservent directement le campus de Beaulieu.<\/p>\n Le banquet se tiendra le soir du mercredi 29 novembre et sera pr\u00e9c\u00e9d\u00e9 d’une visite guid\u00e9e du centre historique de Rennes.<\/p>\n L’inscription<\/a> au workshop comprend:<\/p>\nDates importantes<\/h1>\n
Lieu<\/h1>\n
Inscription<\/h1>\n
\n