{"id":285,"date":"2025-09-25T14:57:52","date_gmt":"2025-09-25T12:57:52","guid":{"rendered":"https:\/\/gdr-gpl-ie.lacl.fr\/?p=285"},"modified":"2025-09-25T14:57:52","modified_gmt":"2025-09-25T12:57:52","slug":"session-commune-des-gt-hifi-et-ie-aux-journees-du-gdr-gpl-2025","status":"publish","type":"post","link":"http:\/\/gdr-gpl-ie.lacl.fr\/?p=285","title":{"rendered":"Session commune des GT HIFI et IE aux journ\u00e9es du GDR GPL 2025"},"content":{"rendered":"\n<p>Les groupes de travail Ing\u00e9nierie des Exigences (IE) et HIFI (M\u00e9thodes Formelles et Programmation Haute Fid\u00e9lit\u00e9 pour Syst\u00e8mes Critiques \u00c9mergents) ont propos\u00e9 une session commune\u00a0le jeudi 19 juin \u00e0 Pau lors des<a href=\"https:\/\/gdrgpl2025.sciencesconf.org\">\u00a0journ\u00e9es du GDR GPL 2025<\/a>.<\/p>\n\n\n\n<p>Voici les supports des expos\u00e9s :<\/p>\n\n\n\n<p><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><a href=\"https:\/\/www.lacl.fr\/laleau\/GT-IE\/\/R\u00e9unions2021-2025\/Reunion2025-06\/FATES-Requirements-2025-06-19.pdf\">Exigences de qualit\u00e9 extra-fonctionnelles des LLMs<\/a>\u00a0<em>\u00a0&#8211;\u00a0Jean-Michel Bruel, IRIT<\/em><\/li>\n\n\n\n<li><a href=\"https:\/\/www.lacl.fr\/laleau\/GT-IE\/\/R\u00e9unions2021-2025\/Reunion2025-06\/RymaBoumazouzaGDR-GPL-19June2025.pdf\">Leveraging Verification to Enhance Formal Explainable AI for Neural Networks<\/a>\u00a0<em>\u00a0&#8211;\u00a0Ryma Boumazouza, Airbus S.A.S.<\/em><\/li>\n<\/ul>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Les groupes de travail Ing\u00e9nierie des Exigences (IE) et HIFI (M\u00e9thodes Formelles et Programmation Haute Fid\u00e9lit\u00e9 pour Syst\u00e8mes Critiques \u00c9mergents) ont propos\u00e9 une session commune\u00a0le jeudi 19 juin \u00e0 Pau lors des\u00a0journ\u00e9es du GDR GPL 2025. Voici les supports des &hellip; <a href=\"http:\/\/gdr-gpl-ie.lacl.fr\/?p=285\">Continuer la lecture <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":6,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3,5],"tags":[],"class_list":["post-285","post","type-post","status-publish","format-standard","hentry","category-compte-rendu","category-journees"],"_links":{"self":[{"href":"http:\/\/gdr-gpl-ie.lacl.fr\/index.php?rest_route=\/wp\/v2\/posts\/285","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/gdr-gpl-ie.lacl.fr\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/gdr-gpl-ie.lacl.fr\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/gdr-gpl-ie.lacl.fr\/index.php?rest_route=\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"http:\/\/gdr-gpl-ie.lacl.fr\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=285"}],"version-history":[{"count":4,"href":"http:\/\/gdr-gpl-ie.lacl.fr\/index.php?rest_route=\/wp\/v2\/posts\/285\/revisions"}],"predecessor-version":[{"id":289,"href":"http:\/\/gdr-gpl-ie.lacl.fr\/index.php?rest_route=\/wp\/v2\/posts\/285\/revisions\/289"}],"wp:attachment":[{"href":"http:\/\/gdr-gpl-ie.lacl.fr\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=285"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/gdr-gpl-ie.lacl.fr\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=285"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/gdr-gpl-ie.lacl.fr\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=285"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}