Actualité du LIP6

Un nouveau projet P2IA démarre chez l'équipe MOCAH

Officiellement lancée le 22 septembre dernier, la nouvelle vague de projets P2IA (Partenariat d'Innovation et d'Intelligence Artificielle) financée par le ministère de l'Education Nationale vise à développer des services d'assistance pédagogique numériques pour les élèves de CM1/CM2/6ème. Parmi les projets financés, un en particulier destiné à l'apprentissage du français a été obtenu par notre équipe MOCAH (Outils Numériques Centrés Apprentissage Humain), au sein d'un consortium de recherche porté par l'entreprise Edumalin. Après une phase de recherche et développement, le futur outil devrait atteindre les salles de classe d'ici deux ans. En 2020, notre équipe MOCAH avait déjà participé à la première vague de projets P2IA, également en partenariat avec Edumalin. Cette première collaboration a permis de développer la plateforme Adaptiv'Math, un assistant pédagogique intelligent destiné à l'apprentissage des mathématiques pour les CP/CE1/CE2, et aujourd'hui disponible dans toutes les classes de primaire !

Distinguished Poster Award reçu à ISSAC 2025

Le Distinguished Poster Award d'ISSAC 2025, la conférence internationale de référence en calcul formel, a été remis à Sriram Gopalakrishnan, doctorant en co-tutelle Sorbonne Université/Université de Waterloo au sein de l'équipe PolSys. Présenté lors de la conférence qui s'est déroulée du 28 juillet au 1er août à Guanajuato (Mexique), le poster récompensé est intitulé "Heights of degeneracy loci", et co-publié avec Vincent Neiger (LIP6), Mohab Safey El Din (LIP6), et Eric Schost (U. Waterloo).

Best Paper Award reçu à ICNLSP 2025

Membres de l'équipe Systèmes Multi-Agents (SMA), nos collègues Evangelia Zve, Benjamin Icard, Alice Breton, Lila Sainero, Gauvain Bourgne et Jean-Gabriel Ganascia ont remporté le Best Paper Award à ICNLSP 2025, la conférence internationale du traitement du langage naturel et de la parole, organisée à Odense (Danemark) du 25 au 27 août 2025. Centré sur le Topic Modeling, une méthode de traitement automatique du langage dont l’objectif est d’extraire les sujets principaux apparaissant dans une collection de documents, leur article - "From Outliers to Topics in Language Models: Anticipating Trends in News Corpora", montre comment des données aberrantes peuvent toutefois servir de signaux annonciateurs de sujets nouveaux ou en consolidation. En combinant des techniques de regroupement cumulatif et d'analyse lexicale et stylistique, les co-auteurs rendent ce processus interprétable et mettent en évidence le rôle du style d'écriture dans l'émergence de thématiques.

Best Paper Award reçu à la Conférence ACL 2025

Doctorant de l'équipe Bases de Données (BD), Allaa Boutaleb a reçu un Best Paper Award lors de la 63ème Conférence Annuelle de I'Association for Computational Linguistics, la conférence internationale sur la recherche en traitement du language qui s'est tenue cette année à Vienne du 27 juillet au 1er août. Récompensé dans le cadre du Workshop sur l'apprentissage de la représentation de données sous forme tabulaire, l'article - "Something’s Fishy In The Data Lake: A Critical Re-evaluation of Table Union Search Benchmarks", est co-écrit avec Bernd Amann (LIP6), Hubert Naacke (LIP6), et Rafael Angarita (LIP6).

Une nouvelle version de msolve disponible

Equations mathématiques, les systèmes polynomiaux en plusieurs variables apparaissent dans un grand nombre de domaines du numérique (cryptographie, vision artificielle, vérification de programmes, etc.) et des sciences de l'ingénieur (robotique, biologie, chimie, etc.). Ils encodent naturellement des propriétés arithmétiques et géométriques non-linéaires. Ecrite en C pur, la bibliothèque msolve développée par notre équipe PolSys depuis 2021 permet de résoudre ces systèmes polynomiaux en plusieurs variables. Elle repose sur l’algèbre informatique, aussi appelée calcul symbolique, pour la résolution exacte de ces systèmes, et fournit un encodage algébrique/exact des solutions en utilisant des algorithmes avancés de bases de Gröbner (F4, changements d’ordres, etc.). Publiée le 23 juin dernier, la version 0.9.0 de msolve est maintenant disponible.

Le projet IPRS intégré sur Measurement Lab

Mené au sein de l'équipe NPA par Dioptra - un groupe de recherche dirigé par Timur Friedman et Olivier Fourmaux, le projet IP Route Survey (IPRS) mesure continuellement le routage IP, cet ensemble de méthodes qui correspond au chemin pris par des données pour aller d'un point A à un point B sur Internet. Depuis juin 2025, ces mesures quotidiennes sont désormais publiées sur Measurement Lab, une plateforme open source qui partage librement les données nécessaires à l'évaluation des performances du réseau internet mondial. Internet est un bien commun. Rendre ces données d'évaluation accessibles permet aux chercheurs, opérateurs et organismes de régulation du monde entier d'améliorer la sécurité, la performance et la résilience du réseau global. À son échelle, la mesure du routage IP assurée par le projet IRPS permet elle de détecter les pannes, les détournements de trafic, les censures, ou encore d'optimiser les performances du réseau. Au delà d'IRPS, le groupe Dioptra a pour ambition d'établir une cartographie d'internet : ils développent des outils de mesure pour mieux comprendre le réseaux (sa topologie, ses performances, sa sécurité), détecter automatiquement les anomalies, et analyser ses caractéristiques émergentes. Le défi est de taille : "c'est comme dresser une carte routière en temps réel d'un réseau en constante évolution".

Le LIP6 accueille la « Franco-Moroccan Research Center Summer School on Sustainable AI for Resource-Constrained Healthcare »

Co-hosted by LIP6, ISIR, and SCAI, the new Franco-Moroccan Research Center Summer School offers immersive, interdisciplinary training for students and researchers from France and Morocco. From personalized medicine to intelligent diagnostics, robotic assistance, and ethical AI governance, artificial intelligence is transforming healthcare. AI enables the analysis of large datasets to support medical decision-making, improve patient outcomes, and optimize healthcare systems. This summer school aims to explore the scientific and technological advances shaping the future of AI-driven healthcare, with particular attention to resource-constrained environments. It will also foster dialogue between experts in AI, medicine, and ethics. As part of a strategic partnership between French and Moroccan research institutions, the event offers participants a unique opportunity to gain insights into cutting-edge AI tools and methods for addressing healthcare challenges—while expanding their international networks.

Thi-Mai-Trang Nguyen nommée IEEE Senior Member

Professeure à Sorbonne Paris Nord et chercheuse associée à notre équipe NPA, Thi-Mai-Trang Nguyen a récemment été élevée au rang de Membre Senior de l'IEEE, l'Institut des ingénieurs électriciens et électroniciens. "Je suis très contente car cette récompense est le fruit des travaux de recherche menés [pendant] mes 16 ans [passés en tant que] maître de conférences au LIP6 (2006-2022)". Passée chercheuse associée en 2023, Thi-Mai-Trang a été enseignante-chercheuse au LIP6 de 2006 à 2022. Ses activités de recherche sont liées à l'internet du futur et au design de réseaux 5G/6G.

Motion du LIP6 au sujet de la transphobie et autres discriminations

"Le conseil de laboratoire du LIP6 s'oppose fortement à la transphobie et manifeste son soutien aux membres du laboratoire qui en sont victimes. Le conseil de laboratoire rappelle par ailleurs que chacun ou chacune doit avoir une attitude respectueuse envers tous ses collègues, comme indiqué dans la section 10.1 du règlement de laboratoire. Tout personnel du laboratoire doit considérer et traiter ses collègues indépendamment de questions de statut, de handicap, d’appartenance à une prétendue ethnicité, du fait de parler ou non le français, d’apparence physique, de genre, de situation familiale, d’origine sociale, d’orientation sexuelle, de religion ou de tout autre critère discriminant."

Deux prix du meilleur papier étudiant pour Wenzheng Wang

Participant à la 6ème édition de IEEE BioSMART, la conférence internationale sur le Bio-engineering et les Technologies Intelligentes qui s'est déroulée les 14 et 15 mai à Paris, Wenzheng Wang, doctorant au sein de notre équipe SYEL (Systèmes Electroniques) a remporté le Prix du Meilleur Papier Etudiant pour "Preliminary Development of an Opto-Electronic System for Ankle Instability Assessment" - un papier co-écrit avec Hang Li (LIP6), Ibrahim Saliba (Hôpital Cochin), Alexandre Hardy (Clinique du Sport de Paris), Julien Denoulet (LIP6), et Sylvain Feruglio (LIP6). Quelques jours plus tard, il a également reçu le premier prix du Young Professional Paper Award lors de la 23e conférence internationale IEEE NEWCAS organisée à Paris du 22 au 25 juin 2025. L'article récompensé, intitulé "Design of Multi-Channel Wireless System for Physiological Signals Acquisition", est co-écrit avec Hang Li (LIP6), Raphaël Vialle (Hôpital Armand Trousseau, AP-HP), Julien Denoulet (LIP6) et Sylvain Feruglio (LIP6).

From the lab: Celebrating 25 years of LIP6 computer science laboratory • RFI English

Thèse Marco MILANESE, lundi 27 avril à 14h.

Marco.Milanese@lip6.fr (Marco Milanese)

Interprétation abstraite sous-approximée et inférence de préconditions libérales.
L’analyse statique automatique des logiciels repose traditionnellement sur des sur-approximations du comportement des programmes afin de garantir qu’aucune trace d'exécution ne contrevient à une propriété spécifiée. Cependant, ces sur-approximations peuvent entraîner des faux positifs, qui sont particulièrement inacceptables dans des environnements non critiques.

En revanche, les approches d’inférence par sous-approximation, bien qu’elles risquent de ne pas trouver toutes les erreurs, apparaissent plus pertinentes lorsque des garanties de correction strictes ne sont pas essentielles, car elles assurent que chaque violation détectée correspond effectivement à une erreur. Cette thèse présente un cadre d’analyse statique en arrière basé sur l’interprétation abstraite, visant à réaliser une sous-approximation du comportement des programmes. Cette méthode calcule des préconditions suffisantes et peut être appliquée, par exemple, pour dériver des préconditions libérales en vue de la détection d’erreurs au moment de l’exécution ou pour inférer des contrats de code visant à garantir la correction du programme. L’approche est à la fois complète et entièrement automatisée. Les contributions de ce travail sont doubles.

Premièrement, nous étendons le modèle sémantique et les domaines abstraits afin de permettre l’analyse de langages similaires au C dans des contextes réalistes. Cela inclut l’introduction d’opérateurs de sous-approximation pour les domaines abstraits (comme les intervalles, les polyèdres et les constructions ensemblistes) ainsi que des extensions du modèle sémantique pour prendre en compte les débordements d’entiers et les instructions d’entrée. Afin de permettre une une prise en compte raisonnable de la mémoire, nous étendons à la fois le langage et son modèle sémantique afin de tenir compte des accès mémoire bas-niveau (par exemple via des pointeurs) ainsi que des allocations et des libérations dynamiques de mémoire.

Cette extension est réalisée grâce au développement d’une sémantique concrète en arrière et d’une abstraction fondée sur le domaine des cellules et une abstraction du tas basée sur l'abstraction des allocations récentes. Deuxièmement, ces avancées théoriques sont intégrées dans l’outil d’analyse statique MOPSA, où une analyse en arrière par sous-approximation est mise en œuvre pour assurer à la fois des raisonnements numériques et de mémoire.

Nous décrivons brièvement les modifications nécessaires dans l’analyseur, telles que les extensions des signatures de domaines et les mises à jour des mécanismes d’évaluation des expressions, et nous présentons une évaluation expérimentale portant sur la précision et la performance. L’outil a été testé lors de la compétition de vérification logicielle (SV-COMP), où il a montré une bonne précision dans les catégories MemSafety et NoOverflows, ayant réussi à analyser 45% des tâches. Cependant, la précision est plus faible dans les catégories ReachSafety et SoftwareSystems, en raison de la complexité accrue des propriétés à vérifier et de la taille plus grande des programmes impliqués. Bien que notre analyseur soit en général moins précis que les outils de pointe, il nécessite des ressources bien inférieures : en moyenne, les outils concurrents consomment entre 38% et 220% plus de temps. En résumé, ce travail étend les techniques d’interprétation abstraite pour l’inférence de pré-conditions suffisantes, passant d’une base théorique à une méthode pratique et applicable aux langages de programmation réels.

[Séminaire MoVe] Yann Thierry-Mieg (MoVe, LIP6) : Modélisation et vérification de systèmes complexes., jeudi 7 mai à 14h.

Dylan.Marinho@lip6.fr (Dylan Marinho) — Tue, 14 Apr 2026 13:19:16 GMT

Cet exposé présentera les grandes lignes de mon travail, depuis les diagrammes de décisions hiérarchiques à des langages de haut niveau (GAL/ITS) pour la modélisation des systèmes.
L'exposé sera peu technique; il balaiera quelques résultats anciens (pre 2015) et certains plus récents mélant des surapproximations SMT, des sous approximations (heuristiques) et des réductions structurelles.
L'ensemble de ces méthodes sert l'objectif d'analyser des systèmes complexes, typiquement concurrents, et de prouver formellement des propriétés sur leurs comportements possibles.

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs, mardi 19 mai à 11h00.

Antoine.Mine@lip6.fr (Antoine Mine) — Fri, 17 Apr 2026 13:47:04 GMT

In recent years temporal verification has been increasingly applied to higher-order programs. Some researchers have developed automated approaches via higher-order recursion schemes, reductions to fair-termination or constrained Horn clauses, while others have extended type and effect systems to reason about liveness properties. Despite these works, today's automated tools are often limited to somewhat small examples.

In this talk I will discuss our recent work on a new abstract interpretation-based approach to verify temporal safety properties of recursive, higher-order programs. We begin with a new automata-based “abstract effect domain” for summarizing context-sensitive dependent effects, capable of abstracting relations between the program environment and the automaton control state. Our analysis includes a new transformer for abstracting event prefixes to automatically computed context-sensitive effect summaries, and is instantiated in a type-and-effect system grounded in abstract interpretation. Since the analysis is parametric on the automaton, we next instantiate it to a broader class of history/register (or “accumulator”) automata, beyond finite state automata to express some context-free properties, input-dependency, event summation, resource usage, cost, equal event magnitude, etc.

We implemented a prototype evDrift that computes dependent effect summaries (and validates assertions) for OCaml-like recursive higher-order programs. As a basis of comparison, we describe reductions to assertion checking for higher-order but effect-free programs, and demonstrate that our approach outperforms prior tools Drift, RCaml/Spacer, MoCHi, and ReTHFL. Overall, across a set of 23 benchmarks, Drift verified 12 benchmarks, RCaml/Spacer verified 6, MoCHi verified 11, ReTHFL verified 18, and evDrift verified 21; evDrift also achieved a 6.3x, 5.3x, 16.8x, and 6.4x speedup over Drift, RCaml/Spacer, MoCHi, and ReTHFL, respectively, on those benchmarks that both tools could solve.

This work appeared in OOPSLA 2025 and is joint with Mihai Nicola, Chaitanya Agarwal, and Thomas Wies.

[Séminaire MoVe] , vendredi 22 mai à 14h.

Dylan.Marinho@lip6.fr (Dylan Marinho) — Wed, 18 Mar 2026 13:18:06 GMT

Séminaire pour les Doctorants du LIP6 - Carrière académique , mardi 26 mai à 14h.

Fabrice.Kordon@lip6.fr (Fabrice Kordon) — Wed, 11 Feb 2026 09:59:24 GMT

[Séminaire MoVe] , vendredi 19 juin à 14h.

Dylan.Marinho@lip6.fr (Dylan Marinho) — Wed, 18 Mar 2026 13:18:06 GMT