{"id":34393,"date":"2018-04-17T09:22:40","date_gmt":"2018-04-17T13:22:40","guid":{"rendered":"http:\/\/www.uqac.ca\/?p=34393"},"modified":"2018-04-17T09:22:40","modified_gmt":"2018-04-17T13:22:40","slug":"web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle","status":"publish","type":"post","link":"https:\/\/www.uqac.ca\/uqactualites\/2018\/04\/17\/web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle\/","title":{"rendered":"Web \u00e0 Qu\u00e9bec\u00a0: vitrine sur le\u00a0Laboratoire d\u2019informatique formelle de l\u2019UQAC et son logiciel Cornipickle"},"content":{"rendered":"<p>Le plus grand \u00e9v\u00e9nement num\u00e9rique francophone en Am\u00e9rique du Nord \u2013\u00a0<a href=\"https:\/\/webaquebec.org\/\">Web \u00e0 Qu\u00e9bec<\/a>\u00a0\u2013 \u00e9tait propos\u00e9 du 10 au 12 avril derniers dans la vieille capitale. Quelque 1\u00a0500 participants se sont donn\u00e9 rendez-vous lors de cette 8<sup>e<\/sup>\u00e9dition, \u00e0 laquelle le responsable du Laboratoire d\u2019informatique formelle (LIF) de l\u2019UQAC, Sylvain Hall\u00e9, a aussi pris part \u00e0 titre de conf\u00e9rencier. C\u2019est notamment pour y parler de\u00a0<em>Cornipickle<\/em>, un logiciel de d\u00e9tection de bogues dans les applications Web d\u00e9velopp\u00e9 au sein de son laboratoire, qu\u2019il a \u00e9t\u00e9 invit\u00e9 \u00e0 l\u2019\u00e9v\u00e9nement. Le professeur du D\u00e9partement d\u2019informatique et de math\u00e9matique s\u2019est ainsi joint \u00e0 un panel s\u00e9lect de 80 experts du domaine.<\/p>\n<p>Avec sa conf\u00e9rence intitul\u00e9e\u00a0<em>Technologies intelligentes d\u2019aide au d\u00e9veloppement technique d\u2019applications Web<\/em>, Sylvain Hall\u00e9 a pu faire un survol des recherches effectu\u00e9es au LIF au cours des derni\u00e8res ann\u00e9es sur la d\u00e9tection de bogues dans les applications Web. Le r\u00e9sultat de ces quatre ans de recherche \u2013\u00a0<em>Cornipickle<\/em>\u00a0\u2013 est un produit destin\u00e9 aux designers et aux d\u00e9veloppeurs disponible gratuitement en ligne. Rappelons que le logiciel a remport\u00e9 le\u00a0<em>Best Tool Paper Award<\/em>\u00a0\u00e0 la conf\u00e9rence ICST en 2015 (Graz, Autriche).<\/p>\n<p>Pour plus de d\u00e9tails sur le logiciel\u00a0<em>Cornipickle<\/em>, consultez le\u00a0<strong><a href=\"http:\/\/liflab.ca\/index.php\/la-recherche\/cornipickle\/?lang=fr\">site Web du Laboratoire d\u2019informatique formelle<\/a><\/strong>.<\/p>\n<p>Photo\u00a0: Sylvain Hall\u00e9<br \/>\n<strong>\u00a9 Gracieuset\u00e9<\/strong><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Le plus grand \u00e9v\u00e9nement num\u00e9rique francophone en Am\u00e9rique du Nord \u2013\u00a0Web \u00e0 Qu\u00e9bec\u00a0\u2013 \u00e9tait propos\u00e9 du 10 au 12 avril derniers dans la vieille capitale. Quelque 1\u00a0500 participants se sont donn\u00e9 rendez-vous lors de cette 8e\u00e9dition, \u00e0 laquelle le responsable du Laboratoire d\u2019informatique formelle (LIF) de l\u2019UQAC, Sylvain Hall\u00e9, a aussi pris part \u00e0 titre [&hellip;]<\/p>\n","protected":false},"author":5,"featured_media":34394,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2,4],"tags":[20,16],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v24.2 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\r\n<title>Web \u00e0 Qu\u00e9bec\u00a0: vitrine sur le\u00a0Laboratoire d\u2019informatique formelle de l\u2019UQAC et son logiciel Cornipickle - 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\/2018\/04\/17\/web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle\/\" \/>\r\n<meta property=\"og:locale\" content=\"fr_CA\" \/>\r\n<meta property=\"og:type\" content=\"article\" \/>\r\n<meta property=\"og:title\" content=\"Web \u00e0 Qu\u00e9bec\u00a0: vitrine sur le\u00a0Laboratoire d\u2019informatique formelle de l\u2019UQAC et son logiciel Cornipickle - UQACtualit\u00e9s\" \/>\r\n<meta property=\"og:description\" content=\"Le plus grand \u00e9v\u00e9nement num\u00e9rique francophone en Am\u00e9rique du Nord \u2013\u00a0Web \u00e0 Qu\u00e9bec\u00a0\u2013 \u00e9tait propos\u00e9 du 10 au 12 avril derniers dans la vieille capitale. Quelque 1\u00a0500 participants se sont donn\u00e9 rendez-vous lors de cette 8e\u00e9dition, \u00e0 laquelle le responsable du Laboratoire d\u2019informatique formelle (LIF) de l\u2019UQAC, Sylvain Hall\u00e9, a aussi pris part \u00e0 titre [&hellip;]\" \/>\r\n<meta property=\"og:url\" content=\"https:\/\/www.uqac.ca\/uqactualites\/2018\/04\/17\/web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle\/\" \/>\r\n<meta property=\"og:site_name\" content=\"UQACtualit\u00e9s\" \/>\r\n<meta property=\"article:published_time\" content=\"2018-04-17T13:22:40+00:00\" \/>\r\n<meta property=\"og:image\" content=\"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2018\/04\/SHall\u00e9-WAQ-Gracieuset\u00e9-scaled.jpg\" \/>\r\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\r\n\t<meta property=\"og:image:height\" content=\"1920\" \/>\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\/2018\/04\/17\/web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle\/\",\"url\":\"https:\/\/www.uqac.ca\/uqactualites\/2018\/04\/17\/web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle\/\",\"name\":\"Web \u00e0 Qu\u00e9bec\u00a0: vitrine sur le\u00a0Laboratoire d\u2019informatique formelle de l\u2019UQAC et son logiciel Cornipickle - UQACtualit\u00e9s\",\"isPartOf\":{\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2018\/04\/17\/web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2018\/04\/17\/web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2018\/04\/SHall\u00e9-WAQ-Gracieuset\u00e9-scaled.jpg\",\"datePublished\":\"2018-04-17T13:22:40+00:00\",\"dateModified\":\"2018-04-17T13:22:40+00:00\",\"author\":{\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/#\/schema\/person\/366c45a0c4f0e677b41b4af5886e2018\"},\"breadcrumb\":{\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2018\/04\/17\/web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle\/#breadcrumb\"},\"inLanguage\":\"fr-CA\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uqac.ca\/uqactualites\/2018\/04\/17\/web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-CA\",\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2018\/04\/17\/web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle\/#primaryimage\",\"url\":\"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2018\/04\/SHall\u00e9-WAQ-Gracieuset\u00e9-scaled.jpg\",\"contentUrl\":\"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2018\/04\/SHall\u00e9-WAQ-Gracieuset\u00e9-scaled.jpg\",\"width\":2560,\"height\":1920},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2018\/04\/17\/web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.uqac.ca\/uqactualites\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Web \u00e0 Qu\u00e9bec\u00a0: vitrine sur le\u00a0Laboratoire d\u2019informatique formelle de l\u2019UQAC et son logiciel Cornipickle\"}]},{\"@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":"Web \u00e0 Qu\u00e9bec\u00a0: vitrine sur le\u00a0Laboratoire d\u2019informatique formelle de l\u2019UQAC et son logiciel Cornipickle - 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\/2018\/04\/17\/web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle\/","og_locale":"fr_CA","og_type":"article","og_title":"Web \u00e0 Qu\u00e9bec\u00a0: vitrine sur le\u00a0Laboratoire d\u2019informatique formelle de l\u2019UQAC et son logiciel Cornipickle - UQACtualit\u00e9s","og_description":"Le plus grand \u00e9v\u00e9nement num\u00e9rique francophone en Am\u00e9rique du Nord \u2013\u00a0Web \u00e0 Qu\u00e9bec\u00a0\u2013 \u00e9tait propos\u00e9 du 10 au 12 avril derniers dans la vieille capitale. Quelque 1\u00a0500 participants se sont donn\u00e9 rendez-vous lors de cette 8e\u00e9dition, \u00e0 laquelle le responsable du Laboratoire d\u2019informatique formelle (LIF) de l\u2019UQAC, Sylvain Hall\u00e9, a aussi pris part \u00e0 titre [&hellip;]","og_url":"https:\/\/www.uqac.ca\/uqactualites\/2018\/04\/17\/web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle\/","og_site_name":"UQACtualit\u00e9s","article_published_time":"2018-04-17T13:22:40+00:00","og_image":[{"width":2560,"height":1920,"url":"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2018\/04\/SHall\u00e9-WAQ-Gracieuset\u00e9-scaled.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\/2018\/04\/17\/web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle\/","url":"https:\/\/www.uqac.ca\/uqactualites\/2018\/04\/17\/web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle\/","name":"Web \u00e0 Qu\u00e9bec\u00a0: vitrine sur le\u00a0Laboratoire d\u2019informatique formelle de l\u2019UQAC et son logiciel Cornipickle - UQACtualit\u00e9s","isPartOf":{"@id":"https:\/\/www.uqac.ca\/uqactualites\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.uqac.ca\/uqactualites\/2018\/04\/17\/web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle\/#primaryimage"},"image":{"@id":"https:\/\/www.uqac.ca\/uqactualites\/2018\/04\/17\/web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle\/#primaryimage"},"thumbnailUrl":"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2018\/04\/SHall\u00e9-WAQ-Gracieuset\u00e9-scaled.jpg","datePublished":"2018-04-17T13:22:40+00:00","dateModified":"2018-04-17T13:22:40+00:00","author":{"@id":"https:\/\/www.uqac.ca\/uqactualites\/#\/schema\/person\/366c45a0c4f0e677b41b4af5886e2018"},"breadcrumb":{"@id":"https:\/\/www.uqac.ca\/uqactualites\/2018\/04\/17\/web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle\/#breadcrumb"},"inLanguage":"fr-CA","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uqac.ca\/uqactualites\/2018\/04\/17\/web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle\/"]}]},{"@type":"ImageObject","inLanguage":"fr-CA","@id":"https:\/\/www.uqac.ca\/uqactualites\/2018\/04\/17\/web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle\/#primaryimage","url":"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2018\/04\/SHall\u00e9-WAQ-Gracieuset\u00e9-scaled.jpg","contentUrl":"https:\/\/www.uqac.ca\/uqactualites\/wp-content\/uploads\/2018\/04\/SHall\u00e9-WAQ-Gracieuset\u00e9-scaled.jpg","width":2560,"height":1920},{"@type":"BreadcrumbList","@id":"https:\/\/www.uqac.ca\/uqactualites\/2018\/04\/17\/web-a-quebec-vitrine-sur-le-laboratoire-dinformatique-formelle-de-luqac-et-son-logiciel-cornipickle\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.uqac.ca\/uqactualites\/"},{"@type":"ListItem","position":2,"name":"Web \u00e0 Qu\u00e9bec\u00a0: vitrine sur le\u00a0Laboratoire d\u2019informatique formelle de l\u2019UQAC et son logiciel Cornipickle"}]},{"@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\/34393"}],"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=34393"}],"version-history":[{"count":0,"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/posts\/34393\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/media\/34394"}],"wp:attachment":[{"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/media?parent=34393"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/categories?post=34393"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/tags?post=34393"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}