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:Motion du LIP6 au sujet de la transphobie et autres discrimin ations ORGANIZER;CN=:MAILTO: DESCRIPTION:Réuni en conseil de laboratoire le 19 juin 2025, le LIP6 a voté la motion suivante à l'unanimité moins une abstention ... DTSTAMP:20260512T184248Z DTSTART;TZID=Europe/Paris:20250630T180000 DURATION:PT2H UID:LIP6/SEM/OL287 LOCATION:Sorbonne Université - Faculté des Sciences et Ingénierie - 75005 Paris GEO:48.846643;2.355248 END:VEVENT BEGIN:VEVENT SUMMARY:Deux prix du meilleur papier étudiant pour Wenzheng Wang ORGANIZER;CN=:MAILTO: DESCRIPTION:Doctorant de l'équipe SYEL, Wenzheng Wang a reçu deux p rix du meilleur papier étudiant pour des articles présentés lors d es conférences IEEE BioSMART et IEEE NEWCAS. DTSTAMP:20260512T184248Z DTSTART;TZID=Europe/Paris:20250630T000000 DURATION:PT2H UID:LIP6/SEM/OL288 LOCATION:Sorbonne Université - Faculté des Sciences et Ingénierie - 75005 Paris GEO:48.846643;2.355248 END:VEVENT BEGIN:VEVENT SUMMARY:Thi-Mai-Trang Nguyen nommée IEEE Senior Member ORGANIZER;CN=Thi-Mai-Trang Nguyen:MAILTO:Thi-Mai-Trang.Nguyen@lip6.fr DESCRIPTION:Chercheuse associée à notre équipe NPA, Thi-Mai-Trang Nguyen a récemment été élevée au rang de Membre Senior de l'IEEE. DTSTAMP:20260512T184248Z DTSTART;TZID=Europe/Paris:20250630T000000 DURATION:PT2H UID:LIP6/SEM/OL289 LOCATION:Sorbonne Université - Faculté des Sciences et Ingénierie - 75005 Paris GEO:48.846643;2.355248 END:VEVENT BEGIN:VEVENT SUMMARY:Le LIP6 accueille la « Franco-Moroccan Research Center Summe r School on Sustainable AI for Resource-Constrained Healthcare » ORGANIZER;CN=Fabrice Kordon:MAILTO:fabrice.kordon@lip6.fr DESCRIPTION:The theme for 2025 is Sustainable AI for Resource-Constra ined Healthcare. DTSTAMP:20260512T184248Z DTSTART;TZID=Europe/Paris:20250707T180000 DURATION:PT2H UID:LIP6/SEM/OL290 LOCATION:Sorbonne Université - Faculté des Sciences et Ingénierie - 75005 Paris GEO:48.846643;2.355248 END:VEVENT BEGIN:VEVENT SUMMARY:Une nouvelle version de msolve disponible ORGANIZER;CN=:MAILTO: DESCRIPTION:Issue des travaux de l'équipe PolSys, la bibliothèque m solve vise à résoudre des systèmes polynomiaux en plusieurs variab les. Elle est maintenant disponible en une nouvelle version 0.9.0. DTSTAMP:20260512T184248Z DTSTART;TZID=Europe/Paris:20250729T180000 DURATION:PT2H UID:LIP6/SEM/OL293 LOCATION:Sorbonne Université - Faculté des Sciences et Ingénierie - 75005 Paris GEO:48.846643;2.355248 END:VEVENT BEGIN:VEVENT SUMMARY:Le projet IPRS intégré sur Measurement Lab ORGANIZER;CN=:MAILTO: DESCRIPTION:Bonne nouvelle pour la sécurité et la stabilité d'Inte rnet : le projet IPRS porté au sein de l'équipe NPA publie désorma is ses données sur Measurement Lab, la plateforme open source d'éva luation du réseau internet mondial. DTSTAMP:20260512T184248Z DTSTART;TZID=Europe/Paris:20250729T180000 DURATION:PT2H UID:LIP6/SEM/OL294 LOCATION:Sorbonne Université - Faculté des Sciences et Ingénierie - 75005 Paris GEO:48.846643;2.355248 END:VEVENT BEGIN:VEVENT SUMMARY:Best Paper Award reçu à la Conférence ACL 2025 ORGANIZER;CN=:MAILTO: DESCRIPTION:Membre de l'équipe BD, Alla Boutaleb a remporté le Best Paper Award du workshop "Table Representation Learning" lors de l'AC L 2025, la conférence internationale du traitement de langage. Féli citations ! DTSTAMP:20260512T184248Z DTSTART;TZID=Europe/Paris:20250801T180000 DURATION:PT2H UID:LIP6/SEM/OL295 LOCATION:Sorbonne Université - Faculté des Sciences et Ingénierie - 75005 Paris GEO:48.846643;2.355248 END:VEVENT BEGIN:VEVENT SUMMARY:Best Paper Award reçu à ICNLSP 2025 ORGANIZER;CN=:MAILTO: DESCRIPTION:Présenté lors de l'ICNLSP 2025 par Evangelia Zve (équi pe SMA), le papier "From Outliers to Topics in Language Models: Antic ipating Trends in News Corpora" a été récompensé par un Best Pape r Award. Félicitations ! DTSTAMP:20260512T184248Z DTSTART;TZID=Europe/Paris:20250903T180000 DURATION:PT2H UID:LIP6/SEM/OL296 LOCATION:Sorbonne Université - Faculté des Sciences et Ingénierie - 75005 Paris GEO:48.846643;2.355248 END:VEVENT 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:20260512T184248Z 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:20260512T184248Z 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:Séminaire pour les Doctorants du LIP6 - Carrière académique ORGANIZER;CN=Fabrice Kordon:MAILTO:Fabrice.Kordon@lip6.fr ATTENDEE;CN=Fabrice KORDON;CUTYPE=INDIVIDUAL;PARTSTAT=ACCEPTED:mailto :Fabrice.Kordon@lip6.fr DTSTAMP:20260512T184248Z DTSTART;TZID=Europe/Paris:20260526T140000 DURATION:PT2H URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1224 UID:LIP6/SEM/O1224 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] Fanuel Mehari (MoVe, LIP6) : Analyse et ré paration dans les chaînes d’approvisionnement logicielles ORGANIZER;CN=Dylan Marinho:MAILTO:Dylan.Marinho@lip6.fr ATTENDEE;CN=Fanuel Mehari (MoVe, LIP6);CUTYPE=INDIVIDUAL;PARTSTAT=ACC EPTED:mailto:Dylan.Marinho@lip6.fr DESCRIPTION:Les logiciels sont toujours de plus en plus dépendants d es librairies tierces, ce qui étend leur chaîne d'approvisionnement , et par la même occasion élargit considérablement leur surface d' attaque. Des attaques récentes, comme celles des librairies axios (1 00 millions téléchargements/semaine) et litellm (97 millions télé chargements/semaine), illustrent par leur ampleur et leur récurrence , leur nocivité et la difficulté à s'en prémunir. Des approches d e défense existent, comme celles qui alertent les développeurs/euse s lors de l'utilisation de librairies vulnérables, ou celles qui ont recours aux Software Bills of Materials (SBOM) pour cartographier et gérer les dépendances. Cependant, ces approches se heurtent à deu x limites importantes qui sont l'identification de l'usage réel des dépendances indirectes, et le format trop restrictif pour les SBOM. Ce séminaire présentera le contexte et les objectifs de ma thèse, un état de l'art des approches existantes, ainsi que les pistes env isagées pour corriger les limites des approches existantes. DTSTAMP:20260512T184248Z DTSTART;TZID=Europe/Paris:20260522T133000 DURATION:PT2H URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1231 UID:LIP6/SEM/O1231 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:20260512T184248Z DTSTART;TZID=Europe/Paris:20260619T140000 DURATION:PT2H URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1232 UID:LIP6/SEM/O1232 LOCATION:Salle 24-25/405, Campus Pierre et Marie Curie GEO:48.847449;2.355255 END:VEVENT BEGIN:VEVENT SUMMARY:Abstract Interpretation of Temporal Safety Effects of Higher Order Programs ORGANIZER;CN=Antoine Mine:MAILTO:Antoine.Mine@lip6.fr ATTENDEE;CN=Eric Koskinen (Stevens Institute of Technology);CUTYPE=IN DIVIDUAL;PARTSTAT=ACCEPTED:mailto:Antoine.Mine@lip6.fr DESCRIPTION:In recent years temporal verification has been increasing ly applied to higher-order programs. Some researchers have developed automated approaches via higher-order recursion schemes, reductions t o fair-termination or constrained Horn clauses, while others have ext ended type and effect systems to reason about liveness properties. De spite these works, today's automated tools are often limited to somew hat small examples. In this talk I will discuss our recent work on a new abstract interpretation-based approach to verify temporal safet y 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 analysi s includes a new transformer for abstracting event prefixes to automa tically computed context-sensitive effect summaries, and is instantia ted in a type-and-effect system grounded in abstract interpretation. Since the analysis is parametric on the automaton, we next instantiat e it to a broader class of history/register (or “accumulator”) au tomata, beyond finite state automata to express some context-free pro perties, input-dependency, event summation, resource usage, cost, equ al event magnitude, etc. We implemented a prototype evDrift that com putes dependent effect summaries (and validates assertions) for OCaml -like recursive higher-order programs. As a basis of comparison, we d escribe reductions to assertion checking for higher-order but effect- free programs, and demonstrate that our approach outperforms prior to ols 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; evDr ift also achieved a 6.3x, 5.3x, 16.8x, and 6.4x speedup over Drift, R Caml/Spacer, MoCHi, and ReTHFL, respectively, on those benchmarks tha t both tools could solve. This work appeared in OOPSLA 2025 and is j oint with Mihai Nicola, Chaitanya Agarwal, and Thomas Wies. DTSTAMP:20260512T184248Z DTSTART;TZID=Europe/Paris:20260519T110000 DURATION:PT2H URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1238 UID:LIP6/SEM/O1238 LOCATION:Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris GEO:48.84669;2.354759 END:VEVENT BEGIN:VEVENT SUMMARY:Balancing fidelity and interpretability in XAI for global mod el understanding ORGANIZER;CN=Christophe Marsala:MAILTO:Christophe.Marsala@lip6.fr ATTENDEE;CN=Caroline MAZINI RODRIGUES (COMPACT team -- IRISA/CNRS);CU TYPE=INDIVIDUAL;PARTSTAT=ACCEPTED:mailto:Christophe.Marsala@lip6.fr DESCRIPTION:
Abstract: As neural networks grow larger and more complex, they achieve strong performance but also introduce imp ortant risks. For example, a facial attribute recognition model may r ely on biased correlations related to gender or race rather than on m eaningful visual features, leading to unfair or misleading decisions despite high accuracy. Explainable Artificial Intelligence (XAI) aims to make these black-box models more understandable. In particular, p ost-hoc explanation methods identify which features influence a mode l’s predictions without changing the model itself. However, highly faithful explanations are often difficult for humans to interpret, wh ile simpler explanations may not accurately reflect the model’s rea soning. In this work, we study how to balance fidelity and interpreta bility to improve explanations for model auditing and debugging.
Short BIO: Caroline Mazini Rodrigues is a postdoctoral rese archer at the Institut de Recherche en Informatique et Systèmes Alé atoires (IRISA), where she develops low-complexity algorithms for vid eo compression networks, aiming for simplicity, interpretability, and frugality in AI models. She earned her PhD from Université Gustave Eiffel, conducting research at the Laboratoire d’Informatique Gaspa rd-Monge (LIGM) and the Laboratoire de Recherche de l'EPITA (LRE) on explainable Artificial Intelligence (XAI), with a particular focus on understanding the reasoning processes of deep neural networks. Her r esearch interests include making AI more transparent, frugal, and hum an-interpretable, while exploring the cognitive aspects of machine le arning and its connections to human reasoning and learning.
Website: https://carolmazini.github.io/ Un lien de connexion Zoom sera affiché sur la ( page des séminaires LFI ) le jour du séminaire. Ce sémin aire est organisé conjointement avec le Chapitre Français de l’IE EE Computational Intelligence Society. DTSTAMP:20260512T184248Z DTSTART;TZID=Europe/Paris:20260528T140000 DURATION:PT2H URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1239 UID:LIP6/SEM/O1239 LOCATION:Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/10 5) GEO:48.847047;2.354619 END:VEVENT END:VCALENDAR