BEGIN:VCALENDAR
CALSCALE:GREGORIAN
VERSION:2.0
X-WR-TIMEZONE:Europe/Paris
METHOD:PUBLISH
PRODID:-//LIP6//www.lip6.fr//FR
X-WR-CALNAME;VALUE=TEXT:Séminaire LIP6
X-LIC-LOCATION:Europe/Paris
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
DTSTART:19810329T020000
TZNAME:GMT+02:00
TZOFFSETTO:+0200
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
DTSTART:19961027T030000
TZNAME:GMT+01:00
TZOFFSETTO:+0100
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Distinguished Poster Award reçu à ISSAC 2025
ORGANIZER;CN=:MAILTO:
DESCRIPTION:Membre de l'équipe PolSys, Sriram Gopalakrishnan a reçu
  le Distinguished Poster Award d'ISSAC 2025, la conférence internati
 onale de référence en calcul formel. Félicitations !
DTSTAMP:20260909T224430Z
DTSTART;TZID=Europe/Paris:20250910T000000
DURATION:PT2H
UID:LIP6/SEM/OL297
LOCATION:Sorbonne Université - Faculté des Sciences et Ingénierie 
 - 75005 Paris
GEO:48.846643;2.355248
END:VEVENT
BEGIN:VEVENT
SUMMARY:Un nouveau projet P2IA démarre chez l'équipe MOCAH
ORGANIZER;CN=:MAILTO:
DESCRIPTION:Porté par un consortium de recherche mené par l'entrepr
 ise Edumalin, le projet vise à développer un système d'aide à l'a
 pprentissage du français pour les élèves du cycle 3 (CM1/CM2/6ème
 ).
DTSTAMP:20260909T224430Z
DTSTART;TZID=Europe/Paris:20250108T000000
DURATION:PT2H
UID:LIP6/SEM/OL300
LOCATION:Sorbonne Université - Faculté des Sciences et Ingénierie 
 - 75005 Paris
GEO:48.846643;2.355248
END:VEVENT
BEGIN:VEVENT
SUMMARY:Réunion du GROUPE EUROPE : "ERC 2027, quelles opportunités 
 ?"
ORGANIZER;CN=Loic Marin:MAILTO:loic.marin@lip6.fr
ATTENDEE;CN=Anna LOURANTO-PARIS (CNRS Sciences informatiques);CUTYPE=
 INDIVIDUAL;PARTSTAT=ACCEPTED:mailto:loic.marin@lip6.fr
DESCRIPTION:Jeudi 17 septembre, 12H-14h, salle 24-25/405
  Titre : "ER
 C 2027, quelles opportunités ?"
  Intervenant : Anna LOURANTO-PARIS, 
 responsable du pôle Europe & international de CNRS Sciences informat
 iques, Point de Contact National ERC
  Pays européen mis à l'honneur
  : Portugal
  Le Groupe Europe est un rendez-vous mensuel au LIP6. Ouv
 ert à tout le monde, il se veut être un espace de discussion ouvert
 e autour des dynamiques de projets européens. La discussion se concl
 ut par le partage d'un café et d'un gâteau.
  Lien d'inscription ci-
 dessous.
DTSTAMP:20260909T224430Z
DTSTART;TZID=Europe/Paris:20260917T120000
DURATION:PT2H
URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1251
UID:LIP6/SEM/O1251
LOCATION:Campus Pierre et Marie Curie (26-00/534)
GEO:48.84669;2.354759
END:VEVENT
BEGIN:VEVENT
SUMMARY:Réunion du GROUPE EUROPE : "Intelligence artificielle : êtr
 e influent en Europe et opportunités de projets"
ORGANIZER;CN=Loic Marin:MAILTO:loic.marin@lip6.fr
ATTENDEE;CN=Arnaud LATIL (SU) et Adrien TALLENT (Paris Sorbonne);CUTY
 PE=INDIVIDUAL;PARTSTAT=ACCEPTED:mailto:loic.marin@lip6.fr
DESCRIPTION:Jeudi 22 octobre, 12H-14h, salle 24-25/405
  Titre : "Inte
 lligence artificielle : être influent en Europe et opportunités de 
 projets"
  Intervenants : Arnaud LATIL, Maitre de conférences HDR, Vi
 ce-Président Intelligence Artificielle Stratégie Prospective et Exp
 ert pour le Bureau européen de l’IA / Adrien TALLENT, docteur en p
 hilosophie sur l'IA, post-doc en cours dans le cadre de l'Initiative 
 Europe
  Pays européen mis à l'honneur : Pologne
  Le Groupe Europe e
 st un rendez-vous mensuel au LIP6. Ouvert à tout le monde, il se veu
 t être un espace de discussion ouverte autour des dynamiques de proj
 ets européens. La discussion se conclut par le partage d'un café et
  d'un gâteau.
 Lien d'inscription ci-dessous.
DTSTAMP:20260909T224430Z
DTSTART;TZID=Europe/Paris:20261022T120000
DURATION:PT2H
URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1252
UID:LIP6/SEM/O1252
LOCATION:Campus Pierre et Marie Curie, 24-25/405
GEO:48.847449;2.355255
END:VEVENT
BEGIN:VEVENT
SUMMARY:Réunion du GROUPE EUROPE : "S'engager dans un projet europé
 en : conseils, bonnes pratiques, opportunités à saisir"
ORGANIZER;CN=Loic Marin:MAILTO:loic.marin@lip6.fr
ATTENDEE;CN=Eleni Diamanti (LIP6);CUTYPE=INDIVIDUAL;PARTSTAT=ACCEPTED
 :mailto:loic.marin@lip6.fr
DESCRIPTION:Jeudi 19 novembre, 12H-14h, salle 24-25/405
  Titre : "S'e
 ngager dans un projet européen : conseils, bonnes pratiques, opportu
 nités à saisir"
  Intervenant : Eleni DIAMANTI, Directrice de recher
 che 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 l
 e monde, il se veut être un espace de discussion ouverte autour des 
 dynamiques de projets européens. La discussion se conclut par le par
 tage d'un café et d'un gâteau.
 Lien d'inscription ci-dessous.
DTSTAMP:20260909T224430Z
DTSTART;TZID=Europe/Paris:20261119T120000
DURATION:PT2H
URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1253
UID:LIP6/SEM/O1253
LOCATION:Campus Pierre et Marie Curie, 24-25/405
GEO:48.847449;2.355255
END:VEVENT
BEGIN:VEVENT
SUMMARY:Journée d'accueil des nouvelles et nouveaux
ORGANIZER;CN=:MAILTO:
ATTENDEE;CN=Direction LIP6;CUTYPE=INDIVIDUAL;PARTSTAT=ACCEPTED:mailto:
DTSTAMP:20260909T224430Z
DTSTART;TZID=Europe/Paris:20261103T090000
DURATION:PT2H
URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1254
UID:LIP6/SEM/O1254
LOCATION:Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/10
 5)
GEO:48.847047;2.354619
END:VEVENT
BEGIN:VEVENT
SUMMARY:[Séminaire MoVe]
ORGANIZER;CN=Dylan Marinho:MAILTO:Dylan.Marinho@lip6.fr
DTSTAMP:20260909T224430Z
DTSTART;TZID=Europe/Paris:20261013T143000
DURATION:PT2H
URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1255
UID:LIP6/SEM/O1255
LOCATION:Salle 24-25/405, Campus Pierre et Marie Curie
GEO:48.847449;2.355255
END:VEVENT
BEGIN:VEVENT
SUMMARY:[Séminaire MoVe]
ORGANIZER;CN=Dylan Marinho:MAILTO:Dylan.Marinho@lip6.fr
DTSTAMP:20260909T224430Z
DTSTART;TZID=Europe/Paris:20261110T143000
DURATION:PT2H
URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1256
UID:LIP6/SEM/O1256
LOCATION:Salle 24-25/405, Campus Pierre et Marie Curie
GEO:48.847449;2.355255
END:VEVENT
BEGIN:VEVENT
SUMMARY:[Séminaire MoVe]
ORGANIZER;CN=Dylan Marinho:MAILTO:Dylan.Marinho@lip6.fr
DTSTAMP:20260909T224430Z
DTSTART;TZID=Europe/Paris:20261208T143000
DURATION:PT2H
URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1257
UID:LIP6/SEM/O1257
LOCATION:Salle 24-25/405, Campus Pierre et Marie Curie
GEO:48.847449;2.355255
END:VEVENT
BEGIN:VEVENT
SUMMARY:[Séminaire MoVe]
ORGANIZER;CN=Dylan Marinho:MAILTO:Dylan.Marinho@lip6.fr
DTSTAMP:20260909T224430Z
DTSTART;TZID=Europe/Paris:20270112T143000
DURATION:PT2H
URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1258
UID:LIP6/SEM/O1258
LOCATION:Salle 24-25/405, Campus Pierre et Marie Curie
GEO:48.847449;2.355255
END:VEVENT
BEGIN:VEVENT
SUMMARY:Petit-déjeuner de rentrée au LIP6
ORGANIZER;CN=:MAILTO:
DTSTAMP:20260909T224430Z
DTSTART;TZID=Europe/Paris:20260910T090000
DURATION:PT2H
URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1259
UID:LIP6/SEM/O1259
LOCATION:Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/10
 5)
GEO:48.847047;2.354619
END:VEVENT
BEGIN:VEVENT
SUMMARY:Thèse Mickaël HAMDAD : Algorithmes de cryptanalyse pour les
  schémas cryptographiques à base de codes correcteurs
ORGANIZER;CN=Mickaël HAMDAD:MAILTO:Mickael.Hamdad@lip6.fr
DESCRIPTION: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 v
 ecteur e comportant au plus w coordonnées non nulles et vérifiant H
 e = s. Ce dernier se nomme problème de décodage par syndrome. L’o
 bjectif principal de cette thèse est de proposer de nouveaux algorit
 hmes pour le résoudre et d’affiner l’analyse de ceux existants.
  De nombreux algorithmes de décodage utilisent de façon cruciale un
 e sous-routine qui résout le problème des plus proches voisins. Dan
 s un premier temps, nous étudions les méthodes de résolution de ce
  problème. En particulier, nous analysons l’algorithme de May–Oz
 erov pour le problème des plus proches voisins afin de le comparer
  à un algorithme plus classique appelé méthode des projections. Po
 ur 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–Oze
 rov est galactique : bien que sa complexité possède un meilleur exp
 osant asymptotique que la méthode des projections, il ne devient plu
 s efficace que pour des instances de taille hors de portée en pratiq
 ue. Nous montrons ainsi qu’utiliser la méthode des projections dan
 s les algorithmes de décodage par ensemble d’information est le me
 illeur des deux choix.
  Dans un second temps, nous étudions le prob
 lè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éato
 ires. Nous réduisons ce problème à un problème d’interpolation 
 de polynômes multivariés creux sur de petits corps finis. Nous dév
 eloppons 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 d
 es attaques pratiques contre plusieurs jeux de paramètres proposés 
 pour le problème de décodage par syndrome quasi-abélien. En partic
 ulier, pour les paramètres agressifs du protocole F4OLEAGE, notre im
 plémentation distingue la sortie du générateur de l’aléatoire a
 vec un avantage supérieur à 60 % et récupère l’ensemble des pol
 ynômes secrets avec une probabilité supérieure à 13 %.
DTSTAMP:20260909T224430Z
DTSTART;TZID=Europe/Paris:20260929T100000
DURATION:PT2H
URL;VALUE=URI:https://www.lip6.fr/actualite/personnes-fiche.php?ident=D2592
UID:LIP6/SEM/D2592
LOCATION:Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/10
 5)
GEO:48.847047;2.354619
END:VEVENT
BEGIN:VEVENT
SUMMARY:Thèse María Aránzazu SAN JUAN LLANO : Au-delà de l’info
 rmatique en nuage et en périphérie : modélisation d’infrastructu
 res intelligentes et durables pour l’éducation inclusive
ORGANIZER;CN=María Aránzazu SAN JUAN LLANO:MAILTO:Aranzazu.San-Juan
 -Llano@lip6.fr
DESCRIPTION: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 ce
 tte thèse visent à analyser l’impact des infrastructures de té
 lécommunications sur le droit à l’éducation notamment en matièr
 e d’inclusion numérique pour ensuite proposer des solutions d’in
 frastructures qui garantissent un apprentissage en ligne fluide à de
 s millions d'utilisateurs simultanément. Cette infrastructure est ba
 sé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 comm
 e la boîte d'Internet à la maison, les voitures ou le téléphone p
 ortable de l'utilisateur. Le problème de déploiement d'une infrastr
 ucture numérique sera formalisé sous la forme d'un problème d'opti
 misation multi-objectifs. Les méthodes d'optimisation classiques dan
 s la recherche opérationnelle, les méthodes à base de l'intelligen
 ce artificielle ainsi que les approches du machine learning seront é
 tudiées. Les solutions seront proposées pour différents cas d'usag
 e : zone urbaine, zone blanche, zone rurale, zone frontalière, conte
 xte Covid-19 et contexte post-Covid-19. Les résultats de recherche f
 igureront les recommandations techniques et sociales pour l'éducatio
 n inclusive.
DTSTAMP:20260909T224430Z
DTSTART;TZID=Europe/Paris:20261124T000000
DURATION:PT2H
URL;VALUE=URI:https://www.lip6.fr/actualite/personnes-fiche.php?ident=D2631
UID:LIP6/SEM/D2631
END:VEVENT
BEGIN:VEVENT
SUMMARY:Thèse Milla VALNET : Analyse statique par interprétation ab
 straite des langages fonctionnels et application à l'analyse d'OCaml
ORGANIZER;CN=Milla VALNET:MAILTO:Milla.Valnet@lip6.fr
DESCRIPTION:Des analyseurs statiques ont été développés avec suc
 cès pour détecter les erreurs d’exécution dans de nombreux langa
 ges. Cependant, l’analyse automatique des langages fonctionnels dem
 eure un défi en raison des fonctions récursives, des types de don
 nées algébriques récursifs et des fonctions d’ordre supérieur. 
 Les systèmes de types classiques offrent des méthodes compositionne
 lles qui ne sont, en général, pas suffisamment précises pour prouv
 er l’absence d’erreurs d’exécution telles que les échecs d’
 assertions. À l’opposé, les méthodes déductives sont plus expre
 ssives mais peuvent nécessiter l’intervention de l’utilisateur p
 our prouver les invariants.
  Cette thèse vise à concevoir une analy
 se statique de valeurs par interprétation abstraite pour un langage 
 fonctionnel pur d’ordre supérieur. Cette analyse fournit une appro
 che sûre et automatique pour découvrir des invariants et prévenir 
 les échecs d’assertions et de filtrage. Nous avons conçu une anal
 yse compositionnelle dite bottom-up : les fonctions sont analysées u
 ne seule fois, à leur point de définition, générant un résumé d
 e leur comportement. Ces résumés peuvent être vus comme des relati
 ons entrée-sortie exprimées dans des domaines abstraits relationnel
 s. Cette analyse a été implémentée dans la plateforme Mopsa pour 
 un sous-ensemble pur d'OCaml.
DTSTAMP:20260909T224430Z
DTSTART;TZID=Europe/Paris:20260910T150000
DURATION:PT2H
URL;VALUE=URI:https://www.lip6.fr/actualite/personnes-fiche.php?ident=D2653
UID:LIP6/SEM/D2653
LOCATION:Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/10
 5)
GEO:48.847047;2.354619
END:VEVENT
END:VCALENDAR