Programme
mardi 16 septembre 2025
| Heures | événement | (+) |
| 09:00 - 09:30 | Petit déjeuner (Petit salon de réception) | |
| 09:30 - 09:35 | Ouverture (Salle de lecture ) | |
| 09:35 - 10:55 | MIPTIS (Salle de lecture ) | (+) |
| 09:35 - 09:55 | › Une dérouillée formelle pour les bugs - Florian Groult, Langages, Modèles et Vérification | |
| 09:55 - 10:15 | › Optimisation et équité entre producteurs : concilier efficacité et justice - Adrien Callico, LIFAT | |
| 10:15 - 10:35 | › Noncrossing arc diagrams - Jad ABOU YASSIN, Institut Denis Poisson | |
| 10:35 - 10:55 | › Cryptographic cryptid protocols: How to play cryptid with cheaters - Charlène Jojon, LIFO, Université d'Orléans, INSA Centre Val de Loire, Inria Saclay | |
| 10:50 - 11:05 | Pause café (Petit salon de réception) | |
| 11:10 - 12:30 | MIPTIS (Salle de lecture ) | (+) |
| 11:10 - 11:30 | › Learned post-processing and physics informed neural networks for electrical resistivity tomography. - Béranger OVONO EKORE, Laboratoire d'Informatique Fondamentale et Appliquée de Tours | |
| 11:30 - 11:50 | › Conception d'un système robotique de cathétérisme magnétique en vue d'améliorer la procédure TACE. - Fadal allah Boudehane, Boudehane | |
| 11:50 - 12:10 | › Résolution de problèmes intégrés d'ordonnancement et de tournées de véhicule en bi-niveaux. - Mallory Taffonneau, Laboratoire d'Informatique Fondamentale et Appliquée de Tours | |
| 12:10 - 12:30 | › Formalizing trust in Cyber Threat Intelligence - Mariam Wehbe, Institut National des Sciences Appliquées - Centre Val de Loire | |
| 12:30 - 14:30 | Déjeuner (Salle de cocktail) | |
| 12:30 - 14:30 | Posters (Salle de cocktail) | |
| 14:30 - 15:30 | MIPTIS (Salle de lecture ) | (+) |
| 14:30 - 14:50 | › Intrusion Detection and SOC applied to IoT - Mohammed Islem Nadji, Institut National des Sciences Appliquées - Centre Val de Loire | |
| 14:50 - 15:10 | › Configuration automatique d'algorithmes en recherche opérationnelle - Racha CHAHBOUB, Laboratoire d'Informatique Fondamentale et Appliquée de Tours | |
| 15:10 - 15:30 | › From Stellar Collisions to Rare Events: A Kinetic View of Galactic Evolution - Anwar El Rhirhayi, Université d'Orléans | |
| 15:30 - 15:45 | Pause café (Petit salon de réception) | |
| 15:45 - 16:25 | MIPTIS (Salle de lecture ) | (+) |
| 15:45 - 16:05 | › I knew you knew: Differential privacy for knowledge graphs under semantic-aware attacks - Yasmine Hayder, Institut National des Sciences Appliquées - Centre Val de Loire, LIFO, Concevoir des technologies d'amélioration de la vie privée explicables et efficaces | |
| 16:05 - 16:25 | › Robust Modeling of a Class of Vibration Signals Through Binary Neural Network-Based Symbolic Regression - Nacer Yousfi, PRISME | |
| 16:40 - 17:30 | MT180 (Salle de lecture ) |
