La XXXI° édition des journées FAC aura lieu les 8 et 9 avril 2026 à l’ENSEEIHT, avec le support de l’ONERA.

INP-ENSEEIHT, 2, rue Charles CAMICHEL 31000 TOULOUSE

salle des thèses (C002)

(se présenter au poste de garde.)

Ces journées sont organisées par le groupe IFSE du RTRA STAE avec un soutien spécial de l’ENAC, l’INSA Toulouse, ISAE-Supaero, l’ONERA, Toulouse-INP et de l’Université Toulouse III, Paul Sabatier.

Programme des journées

Mercredi 8 avril

09h00 : Accueil et présentation des journées

09h30-10h30 : Invited talk.

Alexandre Muzy (International Laboratory on Learning Systems - IRL CNRS ILLS, Montréal.): L’activité, clé des systèmes complexes : modélisation et simulation fidèles à leur fonctionnement, du formel au cerveau

Les systèmes complexes sont difficiles à observer. Leur comportement n’est que partiellement accessible. Il est alors difficile de comprendre finement le fonctionnement des systèmes complexes, c’est-à-dire les mécanismes internes qui produisent ce comportement. Comment étudier finement ces mécanismes lorsqu’on ne peut les mesurer ni précisément ni exhaustivement ? Notre hypothèse est que l’activité constitue le concept primitif pour y parvenir. Elle quantifie l’intensité des changements de comportement d’un système et de ses composants. Ce cadre conceptuel permet de poser l’hypothèse de nouveaux mécanismes au plus proche du fonctionnement d’un système, et de construire des modèles et des simulations plus fidèles à ce fonctionnement. Cette approche sera mise à l’épreuve du cerveau.

10h30-11h00 : Pause

11h00-12h30 : Session “Méthodes formelles et vérification de programmes”

  • Managing the Proof Context in SPARK. Claire Dross, Joffrey Huguet and Johannes Kanig.   (Dafny 2026)

  • Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation. Pierre Lermusiaux and Benoît Montagu.   (ESOP 2024)

  • Memory Allocators: Formal Verification and Evaluation. Antonin Reitz.   (OOPSLA 2024)

12h30-14h00 : Repas (libre)

Une salle (B006/B007) est réservée sur place. Vous pouvez amener vos repas, commander via JEANNINE (commande collective - informations à venir) ou aller manger en ville.

14h00-15h30 : Session “Neural Networks on Modern Architectures”

  • Extension of ACETONE C code generator for multi-core architectures. Yanis Aït-Aïssa, Thomas Carle, Sergeï Chichin, Benjamin Lesage and Claire Pagetti.   (ERTS 2026)

  • Convolutions Predictable Offloading to an Accelerator: Formalization and Optimization. Benjamin Husson, Mohammed Belcaïd, Thomas Carle and Claire Pagetti.   (ERTS 2026)

  • Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams. Martin Boniol, Julien Brunel, Jean-Baptiste Chaudron, Christophe Garion and Xavier Thirioux.   (NFM 2026)

15h30-16h00 : Pause

16h00-17h00 : Session “Formal verification and machine learning”

  • Formally Correct Search for Interpretable DNFs. Imane Bousdira, Martin Cooper and Aurélie Hurault.  (FASE 2026)

  • Certified Enumeration of AI Explanations: A Focus on Monotonic Classifiers. Clément Contet, Rosalie Defourné and Aurélie Hurault.   (ICECCS 2025)

Jeudi 9 avril

09h30-10h30 : Invited talk.

  • Olga Kouchnarenko (Université Marie et Louis Pasteur - FEMTO-ST): Motifs hiérarchiques pour l’adaptation de systèmes cyber-physiques structurés

Dans cette présentation, nous considérons des systèmes cyber-physiques (CPS) structurés, composés d’éléments similaires et capables d’(auto)adaptation pour satisfaire des contraintes internes et externes évolutives, par exemple en utilisant la théorie du contrôle. Pour maîtriser leur complexité et contribuer à leur développement flexible, nous introduisons des motifs hiérarchiques pour modéliser à la fois les éléments du système et les contrôleurs. Les motifs hiérarchiques reflètent la décomposition organique avec les fonctionnalités et le contrôle différents selon les niveaux. Dans ce contexte, nous proposons également une notion de raffinement de motifs compatible avec le contrôle. Des exemples illustratifs sont liés aux travaux menés dans le cadre du projet ANR ADAPT (ANR-23-CE25-0004).

10h30-11h00 : pause

11h00-12h30 : session “Formal Modeling and Analysis of Dynamic Systems”

  • Robust Skill Execution for Autonomous Robots. Pierre Malafosse, Alexandre Albore, Charles Lesire, David Doose and Jérémie Guiochet.

  • Modular simulator for DAE-based systems using DEVS formalism. Aya Attia, Clément Foucher and Luiz Villa.   (SIMULTECH 2026)

  • Active Learning Techniques for Pomset Recognizers. Adrien Pommellet, Amazigh Amrane, Edgar Delaporte, Geoffroy Du Prey and Oscar Peyron.   (FoSSaCS 2026)

12h30-14h00 : Repas (libre)

Une salle (B006/B007) est réservée sur place. Vous pouvez amener vos repas, commander via JEANNINE (commande collective - informations à venir) ou aller manger en ville.

14h00-16h00 : session “Interactive Proof, and Certified Analysis”

  • Certified Intersection of Commutative Regular Expressions as Solutions of Systems of Linear Diophantine Equations. Ricardo Almeida, Blair Archibald, Basile Pesin and Michele Sevegnani.

  • FPScan: A Formal Constraint-Driven Detection Tool for Floating-Point Anomalies. Julien Bortolussi, Dorra Ben Khalifa and Pierre-Loic Garoche.

  • Graphes de classes modifiés pour le diagnostic de réseaux de Petri temporels. Silvano Dal Zilio.

  • Affectations et stratégies dans la répartition démocratique analysées en Isabelle/HOL. Jan-Georg Smaus.   (JFLA 2026)

16h00-16h30 : pause et fin des journées

Comité de programme

Jean-Paul Bodeveix, Jean-Baptiste Raclet, Quentin Peyras, Marc Pantel, Aurélie Hurault, Pascal Sotin, Iulian Ober, Christophe Garion, Célia Picard, Camille Coquand, David Chemouil, Pierre Roux, Nicolas Amat, Julien Brunel, Clément Foucher, Tomasz Kloda, Didier Le Botlan.