{"id":23227,"date":"2013-02-26T14:03:54","date_gmt":"2013-02-26T19:03:54","guid":{"rendered":"http:\/\/uqactualite.odev.ca\/?p=23227"},"modified":"2013-02-26T14:03:54","modified_gmt":"2013-02-26T19:03:54","slug":"sylvain-halle-et-quatre-etudiants-remportent-un-prix-international","status":"publish","type":"post","link":"https:\/\/www.uqac.ca\/uqactualites\/2013\/02\/26\/sylvain-halle-et-quatre-etudiants-remportent-un-prix-international\/","title":{"rendered":"Sylvain Hall\u00e9 et quatre \u00e9tudiants remportent un prix international"},"content":{"rendered":"<p style=\"text-align: justify\">C\u2019est gr\u00e2ce \u00e0 l\u2019article intitul\u00e9 <i>MapReduce for Parallel Trace Validation of LTL Properties<\/i>, pr\u00e9sent\u00e9 en septembre dernier \u00e0 la 3rd International Conference on Runtime Verification (RV 2012), que Sylvain Hall\u00e9, professeur adjoint au D\u00e9partement d\u2019informatique et de math\u00e9matique de l\u2019UQAC, a remport\u00e9 en compagnie de ses coauteurs le prix Best Paper Award (meilleur article). Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin et Pierre-Antoine Ollivier, \u00e9tudiants \u00e0 la ma\u00eetrise en informatique de l\u2019UQAC, ont en effet activement particip\u00e9 \u00e0 la r\u00e9daction de ce papier.<\/p>\n<p style=\"text-align: justify\">Cet \u00e9v\u00e9nement d\u2019envergure internationale, dont l\u2019\u00e9dition\u00a02012 se tenait \u00e0 Istanbul, se consacre \u00e0 l\u2019analyse de syst\u00e8mes informatiques en temps r\u00e9el. L\u2019article qu\u2019ont pr\u00e9sent\u00e9 M.\u00a0Hall\u00e9 et son \u00e9quipe d\u00e9crit une nouvelle m\u00e9thode d&rsquo;analyse de logs de syst\u00e8mes informatiques en parall\u00e8le au moyen du <i>cloud computing<\/i>.<\/p>\n<p style=\"text-align: justify\">Il est \u00e0 noter qu\u2019il s\u2019agit du second prix re\u00e7u par M.\u00a0Hall\u00e9 en moins d\u2019un an\u00a0: un autre de ses articles a remport\u00e9 en avril dernier le titre du Best Paper Award de l\u2019IEEE\/IFIP (International Workshop on Management of the Future). Par le pass\u00e9, il a \u00e9galement \u00e9t\u00e9 nomm\u00e9 r\u00e9cipiendaire \u00e0 deux reprises de la M\u00e9daille acad\u00e9mique du Gouverneur g\u00e9n\u00e9ral.<\/p>\n<p style=\"text-align: justify\">F\u00e9licitations \u00e0 M.\u00a0Hall\u00e9 et \u00e0 ses \u00e9tudiants!<\/p>\n<p style=\"text-align: justify\"><b><br \/>\nSources\u00a0:<\/b><\/p>\n<p style=\"text-align: justify\">Sylvain Hall\u00e9, professeur adjoint<br \/>\nD\u00e9partement d&rsquo;informatique et de math\u00e9matique<br \/>\nUniversit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi<br \/>\n418\u00a0545-5011, poste\u00a05280\u00a0 \u25aa\u00a0 <span style=\"color: #5a7411\"><a href=\"mailto:sylvain_halle@uqac.ca\"><span style=\"color: #5a7411\">sylvain_halle@uqac.ca<\/span><\/a><\/span><\/p>\n<p style=\"text-align: justify\">Bureau des affaires publiques<br \/>\nUniversit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi<br \/>\n418\u00a0545-5011, poste\u00a02350\u00a0 \u25aa\u00a0 <span style=\"color: #5a7411\"><a href=\"mailto:affaires_publiques@uqac.ca\"><span style=\"color: #5a7411\">affaires_publiques@uqac.ca<\/span><\/a><\/span><\/p>\n<p style=\"text-align: justify\"><span style=\"color: #808080\"><br \/>\n________________________________________________________________________________________<\/span><\/p>\n<p style=\"text-align: justify\" align=\"left\"><span style=\"color: #808080\"><b>Sur la photo, dans l\u2019ordre habituel\u00a0:<\/b> Sylvain Hall\u00e9, professeur adjoint au D\u00e9partement d\u2019informatique et de math\u00e9matique de l\u2019UQAC, et Maxime Soucy-Boivin, \u00e9tudiant<\/span><br \/>\n<span style=\"color: #808080\"><b>Photographe\u00a0:<\/b> Denis Blackburn, UQAC<\/span><br \/>\n<span style=\"color: #808080\">________________________________________________________________________________________<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>C\u2019est gr\u00e2ce \u00e0 l\u2019article intitul\u00e9 MapReduce for Parallel Trace Validation of LTL Properties, pr\u00e9sent\u00e9 en septembre dernier \u00e0 la 3rd International Conference on Runtime Verification (RV 2012), que Sylvain Hall\u00e9, professeur adjoint au D\u00e9partement d\u2019informatique et de math\u00e9matique de l\u2019UQAC, a remport\u00e9 en compagnie de ses coauteurs le prix Best Paper Award (meilleur article). Benjamin [&hellip;]<\/p>\n","protected":false},"author":5,"featured_media":23228,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2,9],"tags":[1062,20,427,116,1937,1938,65],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v24.2 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\r\n<title>Sylvain Hall\u00e9 et quatre \u00e9tudiants remportent un prix international - UQACtualit\u00e9s<\/title>\r\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\r\n<link rel=\"canonical\" href=\"https:\/\/www.uqac.ca\/uqactualites\/2013\/02\/26\/sylvain-halle-et-quatre-etudiants-remportent-un-prix-international\/\" \/>\r\n<meta property=\"og:locale\" content=\"fr_CA\" \/>\r\n<meta property=\"og:type\" content=\"article\" \/>\r\n<meta property=\"og:title\" content=\"Sylvain Hall\u00e9 et quatre \u00e9tudiants remportent un prix international - UQACtualit\u00e9s\" \/>\r\n<meta property=\"og:description\" content=\"C\u2019est gr\u00e2ce \u00e0 l\u2019article intitul\u00e9 MapReduce for Parallel Trace Validation of LTL Properties, pr\u00e9sent\u00e9 en septembre dernier \u00e0 la 3rd International Conference on Runtime Verification (RV 2012), que Sylvain Hall\u00e9, professeur adjoint au D\u00e9partement d\u2019informatique et de math\u00e9matique de l\u2019UQAC, a remport\u00e9 en compagnie de ses coauteurs le prix Best Paper Award (meilleur article). Benjamin [&hellip;]\" \/>\r\n<meta property=\"og:url\" content=\"https:\/\/www.uqac.ca\/uqactualites\/2013\/02\/26\/sylvain-halle-et-quatre-etudiants-remportent-un-prix-international\/\" \/>\r\n<meta property=\"og:site_name\" content=\"UQACtualit\u00e9s\" \/>\r\n<meta property=\"article:published_time\" content=\"2013-02-26T19:03:54+00:00\" \/>\r\n<meta property=\"og:image\" content=\"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2013\/02\/Sylvain-Hall\u00e9-et-Maxime-Soucy-Boivin-Web-\u00a9Denis-Blackburn.jpg\" \/>\r\n\t<meta property=\"og:image:width\" content=\"620\" \/>\r\n\t<meta property=\"og:image:height\" content=\"300\" \/>\r\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\r\n<meta name=\"author\" content=\"Service des communications et des relations publiques\" \/>\r\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\r\n<meta name=\"twitter:label1\" content=\"\u00c9crit par\" \/>\n\t<meta name=\"twitter:data1\" content=\"Service des communications et des relations publiques\" \/>\n\t<meta name=\"twitter:label2\" content=\"Estimation du temps de lecture\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\r\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2013\/02\/26\/sylvain-halle-et-quatre-etudiants-remportent-un-prix-international\/\",\"url\":\"https:\/\/www.uqac.ca\/uqactualites\/2013\/02\/26\/sylvain-halle-et-quatre-etudiants-remportent-un-prix-international\/\",\"name\":\"Sylvain Hall\u00e9 et quatre \u00e9tudiants remportent un prix international - UQACtualit\u00e9s\",\"isPartOf\":{\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2013\/02\/26\/sylvain-halle-et-quatre-etudiants-remportent-un-prix-international\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2013\/02\/26\/sylvain-halle-et-quatre-etudiants-remportent-un-prix-international\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2013\/02\/Sylvain-Hall\u00e9-et-Maxime-Soucy-Boivin-Web-\u00a9Denis-Blackburn.jpg\",\"datePublished\":\"2013-02-26T19:03:54+00:00\",\"dateModified\":\"2013-02-26T19:03:54+00:00\",\"author\":{\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/#\/schema\/person\/366c45a0c4f0e677b41b4af5886e2018\"},\"breadcrumb\":{\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2013\/02\/26\/sylvain-halle-et-quatre-etudiants-remportent-un-prix-international\/#breadcrumb\"},\"inLanguage\":\"fr-CA\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uqac.ca\/uqactualites\/2013\/02\/26\/sylvain-halle-et-quatre-etudiants-remportent-un-prix-international\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-CA\",\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2013\/02\/26\/sylvain-halle-et-quatre-etudiants-remportent-un-prix-international\/#primaryimage\",\"url\":\"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2013\/02\/Sylvain-Hall\u00e9-et-Maxime-Soucy-Boivin-Web-\u00a9Denis-Blackburn.jpg\",\"contentUrl\":\"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2013\/02\/Sylvain-Hall\u00e9-et-Maxime-Soucy-Boivin-Web-\u00a9Denis-Blackburn.jpg\",\"width\":620,\"height\":300},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2013\/02\/26\/sylvain-halle-et-quatre-etudiants-remportent-un-prix-international\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.uqac.ca\/uqactualites\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Sylvain Hall\u00e9 et quatre \u00e9tudiants remportent un prix international\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/#website\",\"url\":\"https:\/\/www.uqac.ca\/uqactualites\/\",\"name\":\"UQACtualit\u00e9s\",\"description\":\"Le portail des nouvelles de l&#039;UQAC\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.uqac.ca\/uqactualites\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"fr-CA\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/#\/schema\/person\/366c45a0c4f0e677b41b4af5886e2018\",\"name\":\"Service des communications et des relations publiques\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-CA\",\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/20fbbda8a292f59f2d3461a5b999c00b?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/20fbbda8a292f59f2d3461a5b999c00b?s=96&d=mm&r=g\",\"caption\":\"Service des communications et des relations publiques\"},\"url\":\"https:\/\/www.uqac.ca\/uqactualites\/author\/bap\/\"}]}<\/script>\r\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Sylvain Hall\u00e9 et quatre \u00e9tudiants remportent un prix international - UQACtualit\u00e9s","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.uqac.ca\/uqactualites\/2013\/02\/26\/sylvain-halle-et-quatre-etudiants-remportent-un-prix-international\/","og_locale":"fr_CA","og_type":"article","og_title":"Sylvain Hall\u00e9 et quatre \u00e9tudiants remportent un prix international - UQACtualit\u00e9s","og_description":"C\u2019est gr\u00e2ce \u00e0 l\u2019article intitul\u00e9 MapReduce for Parallel Trace Validation of LTL Properties, pr\u00e9sent\u00e9 en septembre dernier \u00e0 la 3rd International Conference on Runtime Verification (RV 2012), que Sylvain Hall\u00e9, professeur adjoint au D\u00e9partement d\u2019informatique et de math\u00e9matique de l\u2019UQAC, a remport\u00e9 en compagnie de ses coauteurs le prix Best Paper Award (meilleur article). Benjamin [&hellip;]","og_url":"https:\/\/www.uqac.ca\/uqactualites\/2013\/02\/26\/sylvain-halle-et-quatre-etudiants-remportent-un-prix-international\/","og_site_name":"UQACtualit\u00e9s","article_published_time":"2013-02-26T19:03:54+00:00","og_image":[{"width":620,"height":300,"url":"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2013\/02\/Sylvain-Hall\u00e9-et-Maxime-Soucy-Boivin-Web-\u00a9Denis-Blackburn.jpg","type":"image\/jpeg"}],"author":"Service des communications et des relations publiques","twitter_card":"summary_large_image","twitter_misc":{"\u00c9crit par":"Service des communications et des relations publiques","Estimation du temps de lecture":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.uqac.ca\/uqactualites\/2013\/02\/26\/sylvain-halle-et-quatre-etudiants-remportent-un-prix-international\/","url":"https:\/\/www.uqac.ca\/uqactualites\/2013\/02\/26\/sylvain-halle-et-quatre-etudiants-remportent-un-prix-international\/","name":"Sylvain Hall\u00e9 et quatre \u00e9tudiants remportent un prix international - UQACtualit\u00e9s","isPartOf":{"@id":"https:\/\/www.uqac.ca\/uqactualites\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.uqac.ca\/uqactualites\/2013\/02\/26\/sylvain-halle-et-quatre-etudiants-remportent-un-prix-international\/#primaryimage"},"image":{"@id":"https:\/\/www.uqac.ca\/uqactualites\/2013\/02\/26\/sylvain-halle-et-quatre-etudiants-remportent-un-prix-international\/#primaryimage"},"thumbnailUrl":"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2013\/02\/Sylvain-Hall\u00e9-et-Maxime-Soucy-Boivin-Web-\u00a9Denis-Blackburn.jpg","datePublished":"2013-02-26T19:03:54+00:00","dateModified":"2013-02-26T19:03:54+00:00","author":{"@id":"https:\/\/www.uqac.ca\/uqactualites\/#\/schema\/person\/366c45a0c4f0e677b41b4af5886e2018"},"breadcrumb":{"@id":"https:\/\/www.uqac.ca\/uqactualites\/2013\/02\/26\/sylvain-halle-et-quatre-etudiants-remportent-un-prix-international\/#breadcrumb"},"inLanguage":"fr-CA","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uqac.ca\/uqactualites\/2013\/02\/26\/sylvain-halle-et-quatre-etudiants-remportent-un-prix-international\/"]}]},{"@type":"ImageObject","inLanguage":"fr-CA","@id":"https:\/\/www.uqac.ca\/uqactualites\/2013\/02\/26\/sylvain-halle-et-quatre-etudiants-remportent-un-prix-international\/#primaryimage","url":"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2013\/02\/Sylvain-Hall\u00e9-et-Maxime-Soucy-Boivin-Web-\u00a9Denis-Blackburn.jpg","contentUrl":"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2013\/02\/Sylvain-Hall\u00e9-et-Maxime-Soucy-Boivin-Web-\u00a9Denis-Blackburn.jpg","width":620,"height":300},{"@type":"BreadcrumbList","@id":"https:\/\/www.uqac.ca\/uqactualites\/2013\/02\/26\/sylvain-halle-et-quatre-etudiants-remportent-un-prix-international\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.uqac.ca\/uqactualites\/"},{"@type":"ListItem","position":2,"name":"Sylvain Hall\u00e9 et quatre \u00e9tudiants remportent un prix international"}]},{"@type":"WebSite","@id":"https:\/\/www.uqac.ca\/uqactualites\/#website","url":"https:\/\/www.uqac.ca\/uqactualites\/","name":"UQACtualit\u00e9s","description":"Le portail des nouvelles de l&#039;UQAC","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.uqac.ca\/uqactualites\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"fr-CA"},{"@type":"Person","@id":"https:\/\/www.uqac.ca\/uqactualites\/#\/schema\/person\/366c45a0c4f0e677b41b4af5886e2018","name":"Service des communications et des relations publiques","image":{"@type":"ImageObject","inLanguage":"fr-CA","@id":"https:\/\/www.uqac.ca\/uqactualites\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/20fbbda8a292f59f2d3461a5b999c00b?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/20fbbda8a292f59f2d3461a5b999c00b?s=96&d=mm&r=g","caption":"Service des communications et des relations publiques"},"url":"https:\/\/www.uqac.ca\/uqactualites\/author\/bap\/"}]}},"_links":{"self":[{"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/posts\/23227"}],"collection":[{"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/comments?post=23227"}],"version-history":[{"count":0,"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/posts\/23227\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/media\/23228"}],"wp:attachment":[{"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/media?parent=23227"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/categories?post=23227"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/tags?post=23227"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}