|
|
|
Programme
lundi 16 juin 2025
| Heures | événement | (+) |
| 12:30 - 13:45 | Accueil (Hall Sciences) | |
| 13:45 - 14:00 | Ouverture des journées (Amphi A) | |
| 14:00 - 15:30 | GT GLSec (Salle 1 Palassou) - Chouki Tibermacine | (+) |
| 14:00 - 14:30 | › A Model-based Approach for Assessing the Security of Cyber-Physical Systems - Dominique Blouin, Laboratoire Traitement et Communication de l'Information | |
| 14:30 - 15:00 | › Gestion automatisée des consentements pour la protection des données personnelles - Selena Lamari, MaReL | |
| 15:00 - 15:30 | › Lutte Informatique d'Influence - Une approche conceptuelle pour la détection de Fakes News - Nicolas Belloir, IRISA | |
| 14:00 - 15:30 | GT Logiciel Eco-Responsable (Salle 2 Palassou) | (+) |
| 14:00 - 14:20 | › Prédiction de bornes paramétriques de consommation énergétique : point de vue et perspectives de l'interprétation abstraite - Louis Rustenholz, Universidad Politecnica de Madrid, IMDEA Software Institute | |
| 14:20 - 14:40 | › A quel point les assistants de code comme GitHub Copilot consomment-il de l'énergie? - Tristan Coignion, Inria Lille - Nord Europe | |
| 14:40 - 15:00 | › AndroWatts: Unpacking the Power Consumption of Mobile Device's Components - Édouard Guégain, R&D GREENSPECTOR | |
| 15:00 - 15:20 | › Investigating the Impact of Software Design Patterns on Energy Consumption - Adel Noureddine, IUT des Pays de l'Adour - Olivier Le Goaer, LIUPPA | |
| 14:00 - 15:30 | AFADL (Salle 3 Palassou) | (+) |
| 14:00 - 14:25 | › Langage de spécification de contexte pour vérifier formellement des propriétés de consentement sur des modèles et du code - Myriam Clouet, Université d'Orléans, LIFO | |
| 14:25 - 14:50 | › Project & Conquer : Élimination de quantificateurs pour la vérification de problèmes d'accessibilité dans les réseaux de Petri - Nicolas Amat, ONERA | |
| 14:50 - 15:05 | › Transformations automatisés de preuves Coq - Alexandre Jean, ICube UMR 7357 CNRS - Université de Strasbourg | |
| 15:05 - 15:20 | › Approche neuro-symbolique pour générer un référentiel de test - Eléa Jacquin, Université Marie et Louis Pasteur - FEMTO-ST | |
| 15:30 - 16:00 | Pause (Hall Sciences) | |
| 16:00 - 17:30 | Démos (Amphi A) |
mardi 17 juin 2025
| Heures | événement | (+) |
| 09:00 - 10:15 | Conférences invités (Amphi A) - Franck Barbier | |
| 10:15 - 10:30 | Poster Teasers (Amphi A) | |
| 10:30 - 11:00 | Pause | |
| 11:00 - 12:30 | GT VL (Salle 1 Palassou) | (+) |
| 11:00 - 11:22 | › Exploring Performance of Configurable Software Systems: the JHipster Case Study - Édouard Guégain, Self-adaptation for distributed services and large software systems | |
| 11:22 - 11:44 | › Does Functional Package Management Enable Reproducible Builds at Scale? Yes - Théo Zimmermann, Laboratoire Traitement et Communication de lÍnformation | |
| 11:44 - 12:06 | › Roseau: Fast, Accurate, Source-based API Breaking Change Analysis in Java - Corentin Latappy, Laboratoire Bordelais de Recherche en Informatique | |
| 12:06 - 12:28 | › Fingerprinting and Building Large Reproducible Datasets - Romain Lefeuvre, Diversity-centric Software Engineering | |
| 11:00 - 12:30 | Jumeaux Numériques (EDT) (Salle 2 Palassou) | |
| 11:00 - 12:30 | GT LVP - AFADL (Salle 3 Palassou) | (+) |
| 11:00 - 11:25 | › Prouvez vos coloriages: vérification formelle du coloriage de cache de l'hyperviseur Bao - Nikolai Kosmatov, cortAIx Labs | |
| 11:25 - 11:50 | › BICOQ : une formalisation des bigraphes dans Coq - Cécile Marcon, ISAE-SUPAERO | |
| 11:50 - 12:15 | › Une sémantique mécanisée d'un langage FRP avec effets - Jordan Ischard, LIFO | |
| 12:15 - 12:30 | › Langage Chips : Modélisation et contrôle de systèmes distribués à base de composants - Anna Gallone, FEMTO-ST | |
| 12:30 - 14:00 | Déjeuner (+ posters) (Restaurant Universitaire) | |
| 14:00 - 15:30 | GT DevX (Salle 1 Palassou) - Benoit Combemale, Valentin Bourcier, Steven Costiou | (+) |
| 14:00 - 14:20 | › DevX : introduction du groupe de travail - Steven Costiou, Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 - Valentin Bourcier, Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 - Benoit Combemale, Diversity-centric Software Engineering | |
| 14:20 - 14:40 | › Gamifying model-based engineering: The PapyGame tool - Jean-Michel Bruel, Smart Modeling for softw@re Research and Technology | |
| 14:40 - 15:00 | › On Polyglot Program Testing - Benoit Combemale, Diversity-centric Software Engineering | |
| 15:00 - 15:20 | › What the Fix? A Study of ASATs Rule Documentation - Jean-Rémy Falleri, Laboratoire Bordelais de Recherche en Informatique | |
| 14:00 - 15:30 | GT GLIA (Salle 2 Palassou) | |
| 14:00 - 15:30 | AFADL (Salle 3 Palassou) | (+) |
| 14:00 - 14:25 | › Découverte de processus probabiliste avec des arbres de processus stochastiques - Pierre Cry, Université Paris-Saclay, CentraleSupélec, Laboratoire MICS | |
| 14:25 - 14:50 | › Tail Modulo Async-Await - Emma Nardino, ENS Lyon, Univ Lyon, UCBL, CNRS, Inria, LIP, France | |
| 14:50 - 15:15 | › Model Checking de LTL sur Traces Finies et Infinies avec Domaines Concrets - Julien Brunel, DTIS, ONERA, Université de Toulouse | |
| 15:15 - 15:30 | › VASSAL Project: Verification and Analysis for Safety and Security of Applications in Life - Julien Signoles, Université Paris-Saclay, CEA, List | |
| 15:30 - 16:00 | Pause (Hall Sciences) | |
| 16:00 - 17:30 | Prix de Thèse | |
| 17:30 - 19:00 | Atelier préparation concours (Salle 4 Palassou) |
mercredi 18 juin 2025
| Heures | événement | (+) |
| 09:00 - 10:15 | Conférences invités (Amphi A) - Frédéric Loulergue | |
| 10:15 - 10:30 | Poster Teasers (Amphi A) | |
| 10:30 - 11:00 | Pause | |
| 11:00 - 12:30 | GT IDM (Salle 1 Palassou) | (+) |
| 11:00 - 11:18 | › Intégration d'Exigences Exécutables dans le Prototypage - Yann Le Goff, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, Thales DMS France, SAS | |
| 11:18 - 11:36 | › 10 years of Model Federation with Openflexo: Challenges and Lessons Learned - Sylvain Guérin, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance | |
| 11:36 - 11:54 | › Continuous Secure Evolution of Software Models - Chahrazed Boudjemila, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance | |
| 11:54 - 12:12 | › BridgeSec: Facilitating effective communication between security engineering and systems engineering - Nan Messe, Smart Modeling for softw@re Research and Technology | |
| 11:00 - 12:30 | GT MTV2 - AFADL (Salle 2 Palassou) | (+) |
| 11:00 - 11:25 | › Apprentissage et test pour les machines à états finis temporisées avec délais de sortie - Evgenii Vinarskii, Télécom SudParis | |
| 11:25 - 11:50 | › Experimental Evaluation of LLMs for Test Generation - Yves Ledru, Laboratoire d'Informatique de Grenoble | |
| 11:50 - 12:10 | › Projet ASMA VéDySec : Vérification Dynamique de Propriétés de Sécurité - Nikolai Kosmatov, Thales Research and Technology, cortAIx Labs | |
| 12:10 - 12:30 | › Projet ANR RAPID VVaMIA - Vérification et Validation des systèmes embarqués augmentés par les Modèles et l'IA générative - Dorine Tabary, FEMTO-ST Institute | |
| 12:30 - 14:00 | Déjeuner (+ posters) (Restaurant Universitaire) | |
| 14:00 - 15:00 | Nouvelles du CNRS (Amphi A) | |
| 15:00 - 15:30 | Notre défi en 180s - Jean-Michel Bruel | |
| 15:30 - 16:00 | Pause (Hall Sciences) | |
| 16:00 - 16:30 | Notre défi en 180s | |
| 16:30 - 17:30 | Assemblée Générale du GDR (Amphi A) | |
| 19:30 - 22:00 | Gala @ AYGO |
jeudi 19 juin 2025
| Heures | événement | (+) |
| 09:00 - 10:15 | Conférences invités (Amphi A) - Federica Sarro | |
| 10:15 - 10:30 | Prix du meilleur poster (Amphi A) | |
| 10:30 - 11:00 | Pause | |
| 11:00 - 12:30 | GT IE + HIFI (Salle 1 Palassou) | (+) |
| 11:00 - 11:45 | › Exigences de qualité extra-fonctionnelles des LLMs - Jean-Michel Bruel, IRIT | |
| 11:45 - 12:15 | › Leveraging Verification to Enhance Formal Explainable AI for Neural Networks - Ryma Boumazouza, Airbus Defense and Space, Toulouse | |
| 12:15 - 12:30 | › Discussion - Sylvain CONCHON, Laboratoire Méthodes Formelles - Aurélie Hurault, Université de Toulouse, IRIT-ENSEEIHT - Régine Laleau, Laboratoire d'Algorithmique Complexité et Logique - Thomas Polacsek, ONERA, Université de Toulouse [Toulouse] | |
| 12:30 - 14:00 | Déjeuner (+ posters) (Restaurant Universitaire) | |
| 14:00 - 15:30 | GT CLAP + YODA (Salle 2 Palassou) | |
| 14:00 - 15:30 | Atelier Défi IPP (Salle 1 Palassou) - IPP | |
| 14:00 - 15:30 | Atelier Défi PAE (Salle 2 Palassou) | |
| 15:30 - 16:00 | Pause (Hall Sciences) | |
| 16:00 - 17:30 | Atelier Défis (Salle 1 Palassou) | |
| 16:00 - 17:30 | Atelier Défis (Salle 2 Palassou) | |
| 16:00 - 17:30 | Atelier Défis (Salle 3 Palassou) | |
| 17:30 - 17:45 | Cloture des journées (Amphi A) |
