{"id":24638,"date":"2013-07-03T09:18:58","date_gmt":"2013-07-03T13:18:58","guid":{"rendered":"http:\/\/uqactualite.odev.ca\/?p=24638"},"modified":"2013-07-03T09:18:58","modified_gmt":"2013-07-03T13:18:58","slug":"le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000","status":"publish","type":"post","link":"https:\/\/www.uqac.ca\/uqactualites\/2013\/07\/03\/le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000\/","title":{"rendered":"Le Laboratoire d\u2019informatique formelle obtient un soutien de plus de 300 000 $"},"content":{"rendered":"<p style=\"text-align: justify\">Le Laboratoire d\u2019informatique formelle (LIF) de l\u2019UQAC, fond\u00e9 en 2012, a r\u00e9cemment obtenu une subvention du Conseil de recherches en sciences naturelles et en g\u00e9nie du Canada (CRSNG) \u2013 Recherche et d\u00e9veloppement coop\u00e9ratif (RDC). Le soutien de 314\u00a0800\u00a0$ permettra \u00e0 l\u2019\u00e9quipe de mener \u00e0 bien un projet de recherche intitul\u00e9 \u00ab\u00a0M\u00e9thodes inductives et d\u00e9ductives pour la gestion des configurations r\u00e9seau\u00a0\u00bb, qui sera effectu\u00e9 en collaboration avec deux chercheurs de l&rsquo;UQAM, Omar Cherkaoui et Petko Valtchev, ainsi qu\u2019avec la compagnie Ericsson.<\/p>\n<p style=\"text-align: justify\">Du c\u00f4t\u00e9 de l\u2019UQAC, le projet sera r\u00e9alis\u00e9 sous la supervision de Sylvain Hall\u00e9, professeur au D\u00e9partement d\u2019informatique et de math\u00e9matique et directeur du LIF. Se d\u00e9roulant sur une p\u00e9riode de deux ans, le projet visera l&rsquo;application de m\u00e9thodes bas\u00e9es sur les math\u00e9matiques pour v\u00e9rifier automatiquement la configuration d&rsquo;\u00e9quipement r\u00e9seau. Il fera intervenir pr\u00e8s d&rsquo;une demi-douzaine d&rsquo;\u00e9tudiants \u00e0 la ma\u00eetrise et au doctorat, lesquels seront expos\u00e9s \u00e0 des probl\u00e9matiques industrielles concr\u00e8tes et auront l&rsquo;occasion de d\u00e9velopper des solutions technologiques de pointe.<\/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\"><span style=\"color: #808080\"><b>Photo\u00a0:<\/b> Sylvain Hall\u00e9<\/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>Le Laboratoire d\u2019informatique formelle (LIF) de l\u2019UQAC, fond\u00e9 en 2012, a r\u00e9cemment obtenu une subvention du Conseil de recherches en sciences naturelles et en g\u00e9nie du Canada (CRSNG) \u2013 Recherche et d\u00e9veloppement coop\u00e9ratif (RDC). Le soutien de 314\u00a0800\u00a0$ permettra \u00e0 l\u2019\u00e9quipe de mener \u00e0 bien un projet de recherche intitul\u00e9 \u00ab\u00a0M\u00e9thodes inductives et d\u00e9ductives pour [&hellip;]<\/p>\n","protected":false},"author":5,"featured_media":24639,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2],"tags":[2204,1325,20,2209,427,381,2210,16,1044,307],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v24.2 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\r\n<title>Le Laboratoire d\u2019informatique formelle obtient un soutien de plus de 300 000 $ - 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\/07\/03\/le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000\/\" \/>\r\n<meta property=\"og:locale\" content=\"fr_CA\" \/>\r\n<meta property=\"og:type\" content=\"article\" \/>\r\n<meta property=\"og:title\" content=\"Le Laboratoire d\u2019informatique formelle obtient un soutien de plus de 300 000 $ - UQACtualit\u00e9s\" \/>\r\n<meta property=\"og:description\" content=\"Le Laboratoire d\u2019informatique formelle (LIF) de l\u2019UQAC, fond\u00e9 en 2012, a r\u00e9cemment obtenu une subvention du Conseil de recherches en sciences naturelles et en g\u00e9nie du Canada (CRSNG) \u2013 Recherche et d\u00e9veloppement coop\u00e9ratif (RDC). Le soutien de 314\u00a0800\u00a0$ permettra \u00e0 l\u2019\u00e9quipe de mener \u00e0 bien un projet de recherche intitul\u00e9 \u00ab\u00a0M\u00e9thodes inductives et d\u00e9ductives pour [&hellip;]\" \/>\r\n<meta property=\"og:url\" content=\"https:\/\/www.uqac.ca\/uqactualites\/2013\/07\/03\/le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000\/\" \/>\r\n<meta property=\"og:site_name\" content=\"UQACtualit\u00e9s\" \/>\r\n<meta property=\"article:published_time\" content=\"2013-07-03T13:18:58+00:00\" \/>\r\n<meta property=\"og:image\" content=\"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2013\/07\/Sylvain-Hall\u00e9-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\/07\/03\/le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000\/\",\"url\":\"https:\/\/www.uqac.ca\/uqactualites\/2013\/07\/03\/le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000\/\",\"name\":\"Le Laboratoire d\u2019informatique formelle obtient un soutien de plus de 300 000 $ - UQACtualit\u00e9s\",\"isPartOf\":{\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2013\/07\/03\/le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2013\/07\/03\/le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2013\/07\/Sylvain-Hall\u00e9-Web-\u00a9Denis-Blackburn.jpg\",\"datePublished\":\"2013-07-03T13:18:58+00:00\",\"dateModified\":\"2013-07-03T13:18:58+00:00\",\"author\":{\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/#\/schema\/person\/366c45a0c4f0e677b41b4af5886e2018\"},\"breadcrumb\":{\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2013\/07\/03\/le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000\/#breadcrumb\"},\"inLanguage\":\"fr-CA\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uqac.ca\/uqactualites\/2013\/07\/03\/le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-CA\",\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2013\/07\/03\/le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000\/#primaryimage\",\"url\":\"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2013\/07\/Sylvain-Hall\u00e9-Web-\u00a9Denis-Blackburn.jpg\",\"contentUrl\":\"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2013\/07\/Sylvain-Hall\u00e9-Web-\u00a9Denis-Blackburn.jpg\",\"width\":620,\"height\":300},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2013\/07\/03\/le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.uqac.ca\/uqactualites\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Le Laboratoire d\u2019informatique formelle obtient un soutien de plus de 300 000 $\"}]},{\"@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":"Le Laboratoire d\u2019informatique formelle obtient un soutien de plus de 300 000 $ - 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\/07\/03\/le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000\/","og_locale":"fr_CA","og_type":"article","og_title":"Le Laboratoire d\u2019informatique formelle obtient un soutien de plus de 300 000 $ - UQACtualit\u00e9s","og_description":"Le Laboratoire d\u2019informatique formelle (LIF) de l\u2019UQAC, fond\u00e9 en 2012, a r\u00e9cemment obtenu une subvention du Conseil de recherches en sciences naturelles et en g\u00e9nie du Canada (CRSNG) \u2013 Recherche et d\u00e9veloppement coop\u00e9ratif (RDC). Le soutien de 314\u00a0800\u00a0$ permettra \u00e0 l\u2019\u00e9quipe de mener \u00e0 bien un projet de recherche intitul\u00e9 \u00ab\u00a0M\u00e9thodes inductives et d\u00e9ductives pour [&hellip;]","og_url":"https:\/\/www.uqac.ca\/uqactualites\/2013\/07\/03\/le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000\/","og_site_name":"UQACtualit\u00e9s","article_published_time":"2013-07-03T13:18:58+00:00","og_image":[{"width":620,"height":300,"url":"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2013\/07\/Sylvain-Hall\u00e9-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\/07\/03\/le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000\/","url":"https:\/\/www.uqac.ca\/uqactualites\/2013\/07\/03\/le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000\/","name":"Le Laboratoire d\u2019informatique formelle obtient un soutien de plus de 300 000 $ - UQACtualit\u00e9s","isPartOf":{"@id":"https:\/\/www.uqac.ca\/uqactualites\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.uqac.ca\/uqactualites\/2013\/07\/03\/le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000\/#primaryimage"},"image":{"@id":"https:\/\/www.uqac.ca\/uqactualites\/2013\/07\/03\/le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000\/#primaryimage"},"thumbnailUrl":"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2013\/07\/Sylvain-Hall\u00e9-Web-\u00a9Denis-Blackburn.jpg","datePublished":"2013-07-03T13:18:58+00:00","dateModified":"2013-07-03T13:18:58+00:00","author":{"@id":"https:\/\/www.uqac.ca\/uqactualites\/#\/schema\/person\/366c45a0c4f0e677b41b4af5886e2018"},"breadcrumb":{"@id":"https:\/\/www.uqac.ca\/uqactualites\/2013\/07\/03\/le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000\/#breadcrumb"},"inLanguage":"fr-CA","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uqac.ca\/uqactualites\/2013\/07\/03\/le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000\/"]}]},{"@type":"ImageObject","inLanguage":"fr-CA","@id":"https:\/\/www.uqac.ca\/uqactualites\/2013\/07\/03\/le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000\/#primaryimage","url":"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2013\/07\/Sylvain-Hall\u00e9-Web-\u00a9Denis-Blackburn.jpg","contentUrl":"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2013\/07\/Sylvain-Hall\u00e9-Web-\u00a9Denis-Blackburn.jpg","width":620,"height":300},{"@type":"BreadcrumbList","@id":"https:\/\/www.uqac.ca\/uqactualites\/2013\/07\/03\/le-laboratoire-dinformatique-formelle-obtient-un-soutien-de-plus-de-300-000\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.uqac.ca\/uqactualites\/"},{"@type":"ListItem","position":2,"name":"Le Laboratoire d\u2019informatique formelle obtient un soutien de plus de 300 000 $"}]},{"@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\/24638"}],"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=24638"}],"version-history":[{"count":0,"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/posts\/24638\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/media\/24639"}],"wp:attachment":[{"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/media?parent=24638"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/categories?post=24638"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/tags?post=24638"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}