The SAIF Days 2026 took place on April 20-21, 2026 at CEA/List.
Participants
ANTIQUE, Inria Paris
- Caterina Urban
- Guilhem Repetto
LaBRI, Université de Bordeaux
- Nathanaël Fijalkow (online)
LIX, Institut Polytechnique de Paris
- Mathilde Bonin
- Ander Grey
- Sergio Mover
- Nuwan Herath Mudiyanselage
- Titouan Ouillon
- Francesc Pifarre Esquerda
- Sylvie Putot
LMF, Université Paris-Saclay
- Benedikt Bollig
- Kerian Thuillier
LSL, CEA-List
- Michele Alberti
- Zakaria Chihani
- Sasha Cuau
- Serge Durand
- Tristan Le Gall
- Augustin Lemesle
- Jaouhar Slimi
- Jules Soria
- Romain Xu-Darme (online)
Inria Rennes
- Eric Fabre (online)
Others
- Subrat Prasad Panda (online)
- Blaise Genest (online)
- Liao Yuke (online)
Schedule
Monday, April 20th
10h00 – 11h00 Talk by Blaise Genest “Obtaining Safe Controllers: from Game Theory to Verifying Barrier Certificates”
11h00 – 11h15 Coffee Break
11h15 – 12h00 Talk by Nathanaël Fijalkow “BordAX: A High-Performance JAX Framework for Programmatic Reinforcement Learning”
12h00 – 14h00 Lunch
14h00 – 14h30 Annual Follow-Up Progress Meeting with the ANR
14h30 – 15h30 Talk by Nuwan Herath Mudiyanselage “Reachability of Quantified Problems: from Control to Neural Network Global Robustness”
15h30 – 15h45 Coffee Break
15h45 – 16h30 Talk by Benedikt Bollig “Provable Coordination for LLM Agents via Message Sequence Charts”
16h30 – 17h30 Talk by Jules Soria “Formal Abductive Latent Explanations for Prototype-Based Networks”
19h30/20h00 – Dinner @ “Le Buisson Ardent”
Tuesday, April 21st
09h30 – 10h15 Talk by Caterina Urban “Faster Verified Explanations for Neural Networks”
10h15 – 10h45 Coffee Break
10h45 – 11h30 Talk by Francesc Pifarre Esquerda “An Imprecise Probability and Copula Based Approach to the Quantitative Verification of Neural Networks”
11h30 – 14h00 Lunch
14h00 – 14h30 Kerian Thuillier “Taylor-based ODE Solving for Chemical Reaction Network Parametrization from Timeseries Data”
14h30 – 15h00 Coffee Break
15h00 – 15h45 Sasha Cuau “A New Abstraction of the Softmax for the Certification of Transformers”