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: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:20261024T185936Z 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:20261024T185936Z 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:20261024T185936Z DTSTART;TZID=Europe/Paris:20261103T143000 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:20261024T185936Z 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:20261024T185936Z 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:20261024T185936Z 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:20261024T185936Z 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:Les relations linéaires intervallistes et leur utilisation d ans les réseaux de neurones profonds ORGANIZER;CN=Christophe Marsala:MAILTO:Christophe.Marsala@lip6.fr ATTENDEE;CN=Olivier STRAUSS (LIRMM, Université de Montpellier);CUTYP E=INDIVIDUAL;PARTSTAT=ACCEPTED:mailto:Christophe.Marsala@lip6.fr DESCRIPTION:
Abstract: Depuis deux décennies déjà, on voit croitre l’utilisation des réseaux de neurones dans pratiqueme nt tous les domaines scientifiques. Un réseau de neurone peut être vu comme un interpolateur puissant, s’appuyant sur l’identificati on d’un modèle d’approximation universel, nécessitant l’estim ation de très nombreux paramètres pour approximer une relation entr e des données d’entrées et une (ou des) donnée(s) de sortie (val eurs réelles, valeur de classification, …) Le principe est de mett re en réseau des fonctions simples, appelées neurone formel, relian t des valeurs d’entrées aux valeurs de sortie par réalisation d ’une agrégation linéaire (somme pondérée) suivit d’une foncti on non-linéaire appelée fonction d’activation. Les poids appris p ar ce type de processus sont les poids des agrégation linéaires de chaque neurone formel. Leurs performances pour modéliser des problè mes complexes en font un outil précieux, versatile et souvent incont ournable. Mais évidemment il reste de nombreux obstacles limitant le ur usage. Parmi ces obstacles il ya a la difficulté d’interprétat ion des résultats produits, d’une part, et le manque de caractéri sation de la fiabilité de ces résultats d’autre part. Ce qui va n ous intéresser dans cette présentation, c’est le deuxième point. Plusieurs méthodes sont apparues au cours des dix derniers années permettant à un réseau de neurone non seulement de prédire une sor tie (appartenance à une classe, résultat quantitatif ou autre) mais aussi la probabilité de vraisemblance de cette prédiction. Parmi c es méthodes, certaines s’appuient sur une approche consistant à r emplacer l’opération arithmétique qui est la base de l’agrégat ion linéaire, par une opération intervalliste. Un neurone intervall iste prend en entrée des entrées réelles (ou intervallistes) et délivre en sortie un intervalles. L’arithmétique d’intervalles est une méthode de calcul où chaque valeur n’est plus représen tée par un nombre unique, mais par un intervalle [a,b]. Dans le cont exte des réseaux de neurones profonds (Deep Neural Networks), cette approche permet de prendre en compte les incertitudes sur les entrée s, les paramètres ou les calculs. Une facon de réaliser l’apprent issage d’un tel réseau de neurone est de l’amener à délivrer d es intervalles de prédiction, c’est à dire des intervalles garant issant – pour une pi-value alpha – que l’intervalle délivré c ontient la valeur attendue avec une probabilité supérieure ou égal e a (1-alpha). L’objectif de cette présentation est de proposer qu atre modèles d’arithmétique d’intervalle, c’est a dire d’ ’extension de l’arithmétique aux intervalles, dans le cadre de l’agrégation linéaire. Ces quatre extensions sont les intervalles réels, les intervalles généralisés, les intervalles modaux et l’agrégation MacSum. A notre connaissance, seule la première gé néralisation a été utilisée dans le cadre des réseaux de neurone s, ce qui laisse une grande ouverture potentielle pour des recherches futures. .
Short BIO: Olivier Strauss est professeur à l’université de Montpellier, il travaille au LIRMM.
We bsite: https://www.lirmm .fr/~strauss/ Un lien de connexion Zoom sera affiché sur la ( page des séminaires LFI ) le jour du séminaire. Ce séminaire est organisé conjoin tement avec le Chapitre Français de l’IEEE Computational Intellige nce Society. DTSTAMP:20261024T185936Z DTSTART;TZID=Europe/Paris:20261217T160000 DURATION:PT2H URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1263 UID:LIP6/SEM/O1263 LOCATION:Salle Jacques Pitrat, n°105, couloir 25-26, LIP6, Campus Pi erre et Marie Curie, Sorbonne Université. GEO:48.846643;2.355248 END:VEVENT END:VCALENDAR