{"id":182,"date":"2026-04-21T14:52:23","date_gmt":"2026-04-21T12:52:23","guid":{"rendered":"https:\/\/project.inria.fr\/saif\/?p=182"},"modified":"2026-04-21T15:36:01","modified_gmt":"2026-04-21T13:36:01","slug":"saif-days-2026","status":"publish","type":"post","link":"https:\/\/project.inria.fr\/saif\/saif-days-2026\/","title":{"rendered":"SAIF Days 2026"},"content":{"rendered":"<p>The SAIF Days 2026 took place on April 20-21, 2026 at CEA\/List.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Participants<\/h3>\n\n\n\n<h4 class=\"wp-block-heading\"><strong>ANTIQUE, Inria Paris<\/strong><\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Caterina Urban<\/li>\n\n\n\n<li>Guilhem Repetto<\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\"><strong>LaBRI, Universit\u00e9 de Bordeaux\u00a0\u00a0\u00a0\u00a0<\/strong><\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Nathana\u00ebl Fijalkow (online)<\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\"><strong>LIX, Institut Polytechnique de Paris<\/strong><\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Mathilde Bonin<\/li>\n\n\n\n<li>Ander Grey<\/li>\n\n\n\n<li>Sergio Mover<\/li>\n\n\n\n<li>Nuwan Herath Mudiyanselage<\/li>\n\n\n\n<li>Titouan Ouillon<\/li>\n\n\n\n<li>Francesc Pifarre Esquerda<\/li>\n\n\n\n<li>Sylvie Putot<\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\"><strong>LMF, Universit\u00e9 Paris-Saclay<\/strong><\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Benedikt Bollig<\/li>\n\n\n\n<li>Kerian Thuillier<\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\"><strong>LSL, CEA-List<\/strong><\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Michele Alberti<\/li>\n\n\n\n<li>Zakaria Chihani<\/li>\n\n\n\n<li>Sasha Cuau<\/li>\n\n\n\n<li>Serge Durand<\/li>\n\n\n\n<li>Tristan Le Gall<\/li>\n\n\n\n<li>Augustin Lemesle<\/li>\n\n\n\n<li>Jaouhar Slimi<\/li>\n\n\n\n<li>Jules Soria<\/li>\n\n\n\n<li>Romain Xu-Darme\u00a0(online)<\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\"><strong>Inria Rennes<\/strong><\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Eric Fabre (online)<\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\"><strong>Others<\/strong><\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Subrat Prasad Panda (online)<\/li>\n\n\n\n<li>Blaise Genest (online)<\/li>\n\n\n\n<li>Liao Yuke (online)<\/li>\n<\/ul>\n\n\n\n<h3 class=\"wp-block-heading\">Schedule<\/h3>\n\n\n\n<h4 class=\"wp-block-heading\">Monday, April 20th<\/h4>\n\n\n\n<p>10h00 &#8211; 11h00 Talk by Blaise Genest &#8220;Obtaining Safe Controllers: from Game Theory to Verifying Barrier Certificates&#8221;<br>11h00 &#8211; 11h15 Coffee Break<br>11h15 &#8211; 12h00 Talk by Nathana\u00ebl Fijalkow &#8220;BordAX: A High-Performance JAX Framework for Programmatic Reinforcement Learning&#8221;<br>12h00 &#8211; 14h00 Lunch<br>14h00 &#8211; 14h30 Annual Follow-Up Progress Meeting with the ANR<br>14h30 &#8211; 15h30 Talk by Nuwan Herath Mudiyanselage <a href=\"http:\/\/caterinaurban.github.io\/pdf\/saif2026-Nuwan.pdf\">&#8220;Reachability of Quantified Problems: from Control to Neural Network Global Robustness&#8221;<\/a><br>15h30 &#8211; 15h45 Coffee Break<br>15h45 &#8211; 16h30 Talk by Benedikt Bollig &#8220;Provable Coordination for LLM Agents via Message Sequence Charts&#8221;<br>16h30 &#8211; 17h30 Talk by Jules Soria <a href=\"http:\/\/caterinaurban.github.io\/pdf\/saif2026-Jules.pdf\">&#8220;Formal Abductive Latent Explanations for Prototype-Based Networks&#8221;<\/a><br>19h30\/20h00 &#8211; Dinner @ &#8220;Le Buisson Ardent&#8221;<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">Tuesday, April 21st<\/h4>\n\n\n\n<p>09h30 &#8211; 10h15 Talk by Caterina Urban <a href=\"http:\/\/caterinaurban.github.io\/pdf\/saif2026-Caterina.pdf\">&#8220;Faster Verified Explanations for Neural Networks&#8221;<\/a><br>10h15 &#8211; 10h45 Coffee Break<br>10h45 &#8211; 11h30 Talk by Francesc Pifarre Esquerda &#8220;An Imprecise Probability and Copula Based Approach to the Quantitative Verification of Neural Networks&#8221;<br>11h30 &#8211; 14h00 Lunch<br>14h00 &#8211; 14h30 Kerian Thuillier &#8220;Taylor-based ODE Solving for Chemical Reaction Network Parametrization from Timeseries Data&#8221;<br>14h30 &#8211; 15h00 Coffee Break<br>15h00 &#8211; 15h45 Sasha Cuau &#8220;A New Abstraction of the Softmax for the Certification of Transformers&#8221;<\/p>\n\n\n\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>The SAIF Days 2026 took place on April 20-21, 2026 at CEA\/List. Participants ANTIQUE, Inria Paris LaBRI, Universit\u00e9 de Bordeaux\u00a0\u00a0\u00a0\u00a0 LIX, Institut Polytechnique de Paris LMF, Universit\u00e9 Paris-Saclay LSL, CEA-List Inria Rennes Others Schedule Monday, April 20th 10h00 &#8211; 11h00 Talk by Blaise Genest &#8220;Obtaining Safe Controllers: from Game Theory\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/saif\/saif-days-2026\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":2389,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-182","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/saif\/wp-json\/wp\/v2\/posts\/182","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/saif\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/project.inria.fr\/saif\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/saif\/wp-json\/wp\/v2\/users\/2389"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/saif\/wp-json\/wp\/v2\/comments?post=182"}],"version-history":[{"count":5,"href":"https:\/\/project.inria.fr\/saif\/wp-json\/wp\/v2\/posts\/182\/revisions"}],"predecessor-version":[{"id":190,"href":"https:\/\/project.inria.fr\/saif\/wp-json\/wp\/v2\/posts\/182\/revisions\/190"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/saif\/wp-json\/wp\/v2\/media?parent=182"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/project.inria.fr\/saif\/wp-json\/wp\/v2\/categories?post=182"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/project.inria.fr\/saif\/wp-json\/wp\/v2\/tags?post=182"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}