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

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] Fanuel Mehari (MoVe, LIP6), vendredi 22 mai à 14h.

Dylan.Marinho@lip6.fr (Dylan Marinho) — Wed, 06 May 2026 12:13:53 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