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: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:20260930T051804Z 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 : "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:20260930T051804Z 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:20260930T051804Z 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:20260930T051804Z 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] Thaïs Milleret (MoVe, LIP6) ORGANIZER;CN=Dylan Marinho:MAILTO:Dylan.Marinho@lip6.fr ATTENDEE;CN=Thaïs Milleret (MoVe, LIP6) : Amélioration des fonction nalités d’un software model-checker;CUTYPE=INDIVIDUAL;PARTSTAT=ACC EPTED:mailto:Dylan.Marinho@lip6.fr DESCRIPTION:Les failles de sécurité dans les contrats intelligents (smart contracts) Ethereum sont une préoccupation majeure qui doit être résolue avant leur déploiement sur la blockchain. En raison des risques croissants associés aux vulnérabilités des smart contr acts, l’objectif principal de ce stage est d’assurer leur sûre té et leur sécurité grâce à des techniques de vérification form elle avancées. Plus précisément, ce stage visait à améliorer un outil de vérification formelle existant : SmartPulseTool est un cadr e de vérification automatisée innovant et open-source conçu pour a nalyser les propriétés de sécurité et de permanence des contrats intelligents Ethereum. DTSTAMP:20260930T051804Z 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] Pablo Hardouin (MoVe, LIP6) ORGANIZER;CN=Dylan Marinho:MAILTO:Dylan.Marinho@lip6.fr ATTENDEE;CN=Pablo Hardouin (MoVe, LIP6);CUTYPE=INDIVIDUAL;PARTSTAT=AC CEPTED:mailto:Dylan.Marinho@lip6.fr DTSTAMP:20260930T051804Z 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] Adel Noureddine (MoVe, LIP6) : Projet Eco D esign (Approches centrées sur l’humain pour la conception d’obje ts numériques plus soutenables) ORGANIZER;CN=Dylan Marinho:MAILTO:Dylan.Marinho@lip6.fr ATTENDEE;CN=Adel Noureddine (MoVe, LIP6);CUTYPE=INDIVIDUAL;PARTSTAT=A CCEPTED:mailto:Dylan.Marinho@lip6.fr DTSTAMP:20260930T051804Z 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:20260930T051804Z 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:[Séminaire MoVe] Dylan Marinho (MoVe, LIP6) : Projet BINTRAC E (Traçabilité et Validation de Binaires) ORGANIZER;CN=Dylan Marinho:MAILTO:Dylan.Marinho@lip6.fr ATTENDEE;CN=Dylan Marinho (MoVe, LIP6);CUTYPE=INDIVIDUAL;PARTSTAT=ACC EPTED:mailto:Dylan.Marinho@lip6.fr DTSTAMP:20260930T051804Z DTSTART;TZID=Europe/Paris:20261208T150000 DURATION:PT2H URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1260 UID:LIP6/SEM/O1260 LOCATION:Salle 24-25/405, Campus Pierre et Marie Curie GEO:48.847449;2.355255 END:VEVENT BEGIN:VEVENT SUMMARY:Thèse Sébastien TCHITCHEK : Métrique entre diagrammes de p ersistance variant dans le temps ORGANIZER;CN=Sébastien TCHITCHEK:MAILTO:Sebastien.Tchitchek@lip6.fr DESCRIPTION:L’analyse topologique des données permet de représent er les structures caractéristiques de données scientifiques sous un e forme compacte, notamment à l’aide de diagrammes de persistance. Lorsque ces données évoluent dans le temps, leur comparaison doit tenir compte du fait que des phénomènes similaires peuvent apparaî tre à des instants différents ou évoluer à des vitesses différen tes. Cette thèse introduit la Continuous Edit Distance (CED), une métrique élastique permettant de comparer des diagrammes de persist ance variant dans le temps. Elle combine la comparaison des diagramme s par la distance de Wasserstein avec des opérations d’alignement temporel, d’insertion et de suppression. Nous établissons ses prop riétés métriques et proposons une construction explicite de géo désiques, ainsi que des méthodes de calcul de barycentres permettan t de représenter une évolution moyenne. Ces outils sont ensuite uti lisés pour rechercher des motifs temporels et regrouper des évoluti ons similaires. Une implémentation en C++ dans la Topology ToolKit ( TTK) permet d’évaluer ces méthodes sur des données scientifiques , notamment issues de simulations, et d’étudier leur robustesse au x perturbations et aux décalages temporels. DTSTAMP:20260930T051804Z DTSTART;TZID=Europe/Paris:20261002T090000 DURATION:PT2H URL;VALUE=URI:https://www.lip6.fr/actualite/personnes-fiche.php?ident=D2655 UID:LIP6/SEM/D2655 LOCATION:Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/10 5) GEO:48.847047;2.354619 END:VEVENT BEGIN:VEVENT SUMMARY:HDR Lilia ZAOURAR : ORGANIZER;CN=Lilia ZAOURAR:MAILTO: DTSTAMP:20260930T051804Z DTSTART;TZID=Europe/Paris:20261001T133000 DURATION:PT2H URL;VALUE=URI:https://www.lip6.fr/actualite/personnes-fiche.php?ident=D2921 UID:LIP6/SEM/D2921 LOCATION:Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/10 5) GEO:48.847047;2.354619 END:VEVENT END:VCALENDAR