{"id":171,"date":"2022-06-16T15:00:14","date_gmt":"2022-06-16T13:00:14","guid":{"rendered":"https:\/\/project.inria.fr\/codex\/?p=171"},"modified":"2023-01-04T12:04:34","modified_gmt":"2023-01-04T11:04:34","slug":"talk-at-hubert-comons-retirement-workshop","status":"publish","type":"post","link":"https:\/\/project.inria.fr\/codex\/talk-at-hubert-comons-retirement-workshop\/","title":{"rendered":"Keynote at LMF for Hubert Comon&#8217;s Retirement Workshop"},"content":{"rendered":"<p>today is Hubert Comon&#8217;s <a href=\"https:\/\/chevalvi.gitlabpages.inria.fr\/anr-tecap\/meetings\/comon.html\">Retirement Workshop<\/a>\u00a0<span style=\"font-family: 'Source Sans Pro';\">at\u00a0<\/span><a href=\"https:\/\/lmf.cnrs.fr\">Formal Methods Laboratory<\/a><\/p>\n<ul>\n<li><a href=\"https:\/\/project.inria.fr\/codex\/files\/2023\/01\/Hubert-FJ.pdf\">slides<\/a> of the talk<\/li>\n<\/ul>\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>today is Hubert Comon&#8217;s Retirement Workshop\u00a0at\u00a0Formal Methods Laboratory slides of the talk<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/codex\/talk-at-hubert-comons-retirement-workshop\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":2286,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[7],"tags":[],"class_list":["post-171","post","type-post","status-publish","format-standard","hentry","category-presentation"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/codex\/wp-json\/wp\/v2\/posts\/171","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/codex\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/project.inria.fr\/codex\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/codex\/wp-json\/wp\/v2\/users\/2286"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/codex\/wp-json\/wp\/v2\/comments?post=171"}],"version-history":[{"count":4,"href":"https:\/\/project.inria.fr\/codex\/wp-json\/wp\/v2\/posts\/171\/revisions"}],"predecessor-version":[{"id":212,"href":"https:\/\/project.inria.fr\/codex\/wp-json\/wp\/v2\/posts\/171\/revisions\/212"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/codex\/wp-json\/wp\/v2\/media?parent=171"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/project.inria.fr\/codex\/wp-json\/wp\/v2\/categories?post=171"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/project.inria.fr\/codex\/wp-json\/wp\/v2\/tags?post=171"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}