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).

Thèse Milla VALNET, jeudi 10 septembre à 15h.

Milla.Valnet@lip6.fr (Milla Valnet)

Analyse statique par interprétation abstraite des langages fonctionnels et application à l'analyse d'OCaml.
Des analyseurs statiques ont été développés avec succès pour détecter les erreurs d’exécution dans de nombreux langages. Cependant, l’analyse automatique des langages fonctionnels demeure un défi en raison des fonctions récursives, des types de données algébriques récursifs et des fonctions d’ordre supérieur. Les systèmes de types classiques offrent des méthodes compositionnelles qui ne sont, en général, pas suffisamment précises pour prouver l’absence d’erreurs d’exécution telles que les échecs d’assertions. À l’opposé, les méthodes déductives sont plus expressives mais peuvent nécessiter l’intervention de l’utilisateur pour prouver les invariants.

Cette thèse vise à concevoir une analyse statique de valeurs par interprétation abstraite pour un langage fonctionnel pur d’ordre supérieur. Cette analyse fournit une approche sûre et automatique pour découvrir des invariants et prévenir les échecs d’assertions et de filtrage. Nous avons conçu une analyse compositionnelle dite bottom-up : les fonctions sont analysées une seule fois, à leur point de définition, générant un résumé de leur comportement. Ces résumés peuvent être vus comme des relations entrée-sortie exprimées dans des domaines abstraits relationnels. Cette analyse a été implémentée dans la plateforme Mopsa pour un sous-ensemble pur d'OCaml.

Thèse Mickaël HAMDAD, mardi 29 septembre à 10h.

Mickael.Hamdad@lip6.fr (Mickaël Hamdad)

Algorithmes de cryptanalyse pour les schémas cryptographiques à base de codes correcteurs.
La sécurité de nombreux cryptosystèmes basés sur les codes correcteurs repose sur la difficulté du problème suivant : étant donnés une matrice H, un vecteur s et un entier w, trouver un vecteur e comportant au plus w coordonnées non nulles et vérifiant He = s. Ce dernier se nomme problème de décodage par syndrome. L’objectif principal de cette thèse est de proposer de nouveaux algorithmes pour le résoudre et d’affiner l’analyse de ceux existants.

De nombreux algorithmes de décodage utilisent de façon cruciale une sous-routine qui résout le problème des plus proches voisins. Dans un premier temps, nous étudions les méthodes de résolution de ce problème. En particulier, nous analysons l’algorithme de May–Ozerov pour le problème des plus proches voisins afin de le comparer à un algorithme plus classique appelé méthode des projections. Pour cela, nous établissons de nouvelles bornes sur la complexité de ces deux algorithmes qui prennent en compte les facteurs constants et polynomiaux. Ces résultats montrent que l’algorithme de May–Ozerov est galactique : bien que sa complexité possède un meilleur exposant asymptotique que la méthode des projections, il ne devient plus efficace que pour des instances de taille hors de portée en pratique. Nous montrons ainsi qu’utiliser la méthode des projections dans les algorithmes de décodage par ensemble d’information est le meilleur des deux choix.

Dans un second temps, nous étudions le problème de décodage par syndrome quasi-abélien, sur lequel repose la sécurité de plusieurs générateurs de corrélations pseudo-aléatoires. Nous réduisons ce problème à un problème d’interpolation de polynômes multivariés creux sur de petits corps finis. Nous développons ensuite de nouveaux algorithmes pour résoudre ce problème d’interpolation. D’une part des méthodes simples inspirées d’une idée de Richard Zippel, d’autre part une méthode plus avancée basée sur un plongement dans le corps des nombres complexes et sur l’acquisition comprimée. Ces algorithmes permettent d’obtenir des attaques pratiques contre plusieurs jeux de paramètres proposés pour le problème de décodage par syndrome quasi-abélien. En particulier, pour les paramètres agressifs du protocole F4OLEAGE, notre implémentation distingue la sortie du générateur de l’aléatoire avec un avantage supérieur à 60 % et récupère l’ensemble des polynômes secrets avec une probabilité supérieure à 13 %.

Thèse María Aránzazu SAN JUAN LLANO, mardi 24 novembre à .

Aranzazu.San-Juan-Llano@lip6.fr (María Aránzazu San Juan Llano)

Au-delà de l’informatique en nuage et en périphérie : modélisation d’infrastructures intelligentes et durables pour l’éducation inclusive.
Le rôle des opérateurs de télécommunications s’est avéré essentiel pour la continuité des activités économiques et pour la continuité des enseignements. Les travaux de recherche de cette thèse visent à analyser l’impact des infrastructures de télécommunications sur le droit à l’éducation notamment en matière d’inclusion numérique pour ensuite proposer des solutions d’infrastructures qui garantissent un apprentissage en ligne fluide à des millions d'utilisateurs simultanément. Cette infrastructure est basée sur le concept d'informatique dématérialisé (cloud computing) déployé à différents niveaux : en nuage (cloud), en périphérie (edge) et au-delà - à un niveau très proche de l'utilisateur comme la boîte d'Internet à la maison, les voitures ou le téléphone portable de l'utilisateur. Le problème de déploiement d'une infrastructure numérique sera formalisé sous la forme d'un problème d'optimisation multi-objectifs. Les méthodes d'optimisation classiques dans la recherche opérationnelle, les méthodes à base de l'intelligence artificielle ainsi que les approches du machine learning seront étudiées. Les solutions seront proposées pour différents cas d'usage : zone urbaine, zone blanche, zone rurale, zone frontalière, contexte Covid-19 et contexte post-Covid-19. Les résultats de recherche figureront les recommandations techniques et sociales pour l'éducation inclusive.

Petit-déjeuner de rentrée au LIP6, jeudi 10 septembre à 09h00.

Thu, 03 Sep 2026 14:57:53 GMT

Réunion du GROUPE EUROPE : "ERC 2027, quelles opportunités ?", jeudi 17 septembre à 12h.

loic.marin@lip6.fr (loic marin) — Wed, 26 Aug 2026 15:57:25 GMT

Jeudi 17 septembre, 12H-14h, salle 24-25/405

Titre : "ERC 2027, quelles opportunités ?"

Intervenant : Anna LOURANTO-PARIS, responsable du pôle Europe & international de CNRS Sciences informatiques, Point de Contact National ERC

Pays européen mis à l'honneur : Portugal

Le Groupe Europe est un rendez-vous mensuel au LIP6. Ouvert à tout le monde, il se veut être un espace de discussion ouverte autour des dynamiques de projets européens. La discussion se conclut par le partage d'un café et d'un gâteau.

Lien d'inscription ci-dessous.

[Séminaire MoVe] , mardi 13 octobre à 14h30.

Dylan.Marinho@lip6.fr (Dylan Marinho) — Tue, 01 Sep 2026 18:52:38 GMT

Réunion du GROUPE EUROPE : "Intelligence artificielle : être influent en Europe et opportunités de projets", jeudi 22 octobre à 12h.

loic.marin@lip6.fr (loic marin) — Wed, 26 Aug 2026 15:57:18 GMT

Jeudi 22 octobre, 12H-14h, salle 24-25/405

Titre : "Intelligence artificielle : être influent en Europe et opportunités de projets"

Intervenants : Arnaud LATIL, Maitre de conférences HDR, Vice-Président Intelligence Artificielle Stratégie Prospective et Expert pour le Bureau européen de l’IA / Adrien TALLENT, docteur en philosophie sur l'IA, post-doc en cours dans le cadre de l'Initiative Europe

Pays européen mis à l'honneur : Pologne

Le Groupe Europe est un rendez-vous mensuel au LIP6. Ouvert à tout le monde, il se veut être un espace de discussion ouverte autour des dynamiques de projets européens. La discussion se conclut par le partage d'un café et d'un gâteau.

Lien d'inscription ci-dessous.

Journée d'accueil des nouvelles et nouveaux, mardi 3 novembre à 09h00.

Wed, 26 Aug 2026 16:17:23 GMT

[Séminaire MoVe] , mardi 10 novembre à 14h30.

Dylan.Marinho@lip6.fr (Dylan Marinho) — Tue, 01 Sep 2026 18:52:48 GMT

Réunion du GROUPE EUROPE : "S'engager dans un projet européen : conseils, bonnes pratiques, opportunités à saisir", jeudi 19 novembre à 12h.

loic.marin@lip6.fr (loic marin) — Wed, 26 Aug 2026 15:57:11 GMT

Jeudi 19 novembre, 12H-14h, salle 24-25/405

Titre : "S'engager dans un projet européen : conseils, bonnes pratiques, opportunités à saisir"

Intervenant : Eleni DIAMANTI, Directrice de recherche CNRS en poste au LIP6

Pays européen mis à l'honneur : Grèce

Le Groupe Europe est un rendez-vous mensuel au LIP6. Ouvert à tout le monde, il se veut être un espace de discussion ouverte autour des dynamiques de projets européens. La discussion se conclut par le partage d'un café et d'un gâteau.

Lien d'inscription ci-dessous.

[Séminaire MoVe] , mardi 8 décembre à 14h30.

Dylan.Marinho@lip6.fr (Dylan Marinho) — Tue, 01 Sep 2026 18:52:59 GMT

[Séminaire MoVe] , mardi 12 janvier à 14h30.

Dylan.Marinho@lip6.fr (Dylan Marinho) — Tue, 01 Sep 2026 18:53:06 GMT