BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.5//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:LORIA
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20211031T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20221030T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220908T093000
DTEND;TZID=Europe/Paris:20220908T113000
DTSTAMP:20220902T142825Z
CREATED:20220902T141352Z
LAST-MODIFIED:20220902T142825Z
UID:16751-1662629400-1662636600@www.loria.fr
SUMMARY:Soutenance de thèse : Pierre Lermusiaux (VeriDis)
DESCRIPTION:Pierre Lermusiaux (VeriDis) soutiendra sa thèse intitulée « Analyse statique de transformations pour l’élimination de motifs« \, effectuée sous la direction de Pierre-Étienne Moreau et Horatiu Cirstea. La soutenance aura lieu le jeudi 8 septembre à 9h30 en salle A008 au Loria. \nRésumé :\n\nLa transformation de programmes est une pratique très courante dans le domaine des sciences informatiques. De la compilation à la génération de test en passant par de nombreuses approches d’analyse de codes et de vérification formelle des programmes\, c’est un procédé qui est à la fois omniprésent et crucial au bon fonctionnement des programmes et systèmes informatiques. Cette thèse propose une étude formelle des procédures de transformation de programmes dans le but d’exprimer et de garantir des propriétés syntaxiques sur le comportement et les résultats d’une telle transformation. \nDans le contexte de la vérification formelle des programmes\, il est en effet souvent nécessaire de pouvoir caractériser la forme des termes obtenus par réduction suivant une telle transformation. En s’inspirant du modèle de passes de compilation\, qui décrivent un séquençage de la compilation d’un programme en étapes de transformation minimales n’affectant qu’un petit nombre des constructions du langage\, on introduit\, dans cette thèse\, un formalisme basé sur les notions de filtrage par motif et de réécriture permettant de décrire certaines propriétés couramment induites par ce type de transformations. \nLe formalisme proposé se repose sur un système d’annotations des symboles de fonction décrivant une spécification du comportement attendu des fonctions associées. On présente alors une méthode d’analyse statique permettant de vérifier que les transformations étudiées\, exprimées par un système de réécriture\, satisfont en effet ces spécifications. \n\n\nMembres du jury :\n\nDirecteur de thèse :\n\n\nPierre-Étienne Moreau\, Université de Lorraine\nHoratiu Cirstea\, Université de Lorraine\n\n\nRapporteurs :\n\n\nOlga Kouchnarenko\, Unversité de Franche-Comté\nThomas Genet\, Université de Rennes\n\n\nExaminateurs :\n\n\n\n\nMaribel Fernandez\, King’s College\nMarc Pantel\, ENSEEIHT
URL:https://www.loria.fr/event/soutenance-de-these-pierre-lermusiaux-veridis/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220927T100000
DTEND;TZID=Europe/Paris:20220927T120000
DTSTAMP:20220920T133049Z
CREATED:20220920T133049Z
LAST-MODIFIED:20220920T133049Z
UID:17011-1664272800-1664280000@www.loria.fr
SUMMARY:Soutenance de thèse de Laure Crochepierre
DESCRIPTION:Laure Crochepierre soutiendra sa thèse intitulée « Apprentissage automatique interactif pour les opérateurs du réseau électrique« \, réalisée sous la direction de Lydia Boudjeloud-Assala et la supervision de Vincent Barbesant (RTE)\, le mardi 27 septembre 2022 à 10h00  à Centrale Supelec Metz.\n\nRésumé :\nDans le contexte de la transition énergétique et de l’augmentation des interconnexions entre les réseaux de transport d’électricité en Europe\, les opérateurs du réseau français doivent désormais faire face à davantage de fluctuations et des dynamiques nouvelles sur le réseau. Pour garantir la sûreté de ce réseau\, les opérateurs s’appuient sur des logiciels informatiques permettant de réaliser des simulations\, ou de suivre l’évolution d’indicateurs créés manuellement par des experts grâce à leur connaissance du fonctionnement du réseau. Le gestionnaire de réseau de transport d’électricité français RTE (Réseau de Transport d’Electricité) s’intéresse notamment aux développements d’outils permettant d’assister les opérateurs dans leur tâche de surveillance des transits sur les lignes électriques. Les transits sont en effet des grandeurs particulièrement importantes pour maintenir le réseau dans un état de sécurité\, garantissant la sûreté du matériel et des personnes. Cependant\, les indicateurs utilisés ne sont pas faciles à mettre à jour du fait de l’expertise nécessaire pour les construire et les analyser. Pour répondre à la problématique énoncée\, cette thèse a pour objet la construction d’indicateurs\, sous la forme d’expressions symboliques\, permettant d’estimer les transits sur les lignes électriques. Le problème est étudié sous l’angle de la Régression Symbolique et investigué à la fois par des approches génétiques d’Evolution Grammaticale et d’Apprentissage par Renforcement dans lesquelles la connaissance experte\, explicite et implicite\, est prise en compte. Les connaissances explicites sur la physique et l’expertise du domaine électrique sont représentées sous la forme d’une grammaire non-contextuelle délimitant l’espace fonctionnel à partir duquel l’expression est créée. Une première approche d’Evolution Grammaticale Interactive propose d’améliorer incrémentalement les expressions trouvées par la mise à jour d’une grammaire entre les apprentissages évolutionnaires. Les expressions obtenues sur des données réelles issues de l’historique du réseau sont validées par une évaluation de métriques d’apprentissages\, complétée par une évaluation de leur interprétabilité. Dans un second temps\, nous proposons une approche par renforcement pour chercher dans un espace délimité par une grammaire non-contextuelle afin de construire une expression symbolique pertinente pour des applications comportant des contraintes physiques. Cette méthode est validée sur des données de l’état de l’art de la régression symbolique\, ainsi qu’un jeu de données comportant des contraintes physiques pour en évaluer l’interprétabilité. De plus\, afin de tirer parti des complémentarités entre les capacités des algorithmes d’apprentissage automatique et de l’expertise des opérateurs du réseau\, des algorithmes interactifs de Régression Symbolique sont proposés et intégrés dans des plateformes interactives. L’interactivité est employée à la fois pour mettre à jour la connaissance représentée sous forme grammaticale\, analyser\, interagir avec et commenter les solutions proposées par les différentes approches. Ces algorithmes et interfaces interactifs ont également pour but de prendre en compte de la connaissance implicite\, plus difficile à formaliser\, grâce à l’utilisation de mécanismes d’interactions basés sur des suggestions et des préférences de l’utilisateur.\n\n\nJury :\n\n\nDirectrice de thèse : Mme Lydia Boudjeloud-Assala\, MCF\, HDR\, Université de Lorraine\nRapporteurs : Mme Laure Berti-Equille\, DR Institut de Recherche pour le Développement\nM. Antoine Cornuéjols\, Pr Agroparistech\nExaminateurs : Mme Marianne Clausel\, Pr Université de Lorraine\nM. Matthieu Geist\, Pr Université de Lorraine – Google Brain\nM. Christian Derquenne\, Dr  EDF\nInvités : M. Vincent Barbesant\, RTE\nM. Antoine Marot\, RTE\nM. Benjamin Donnot\, Dr RTE
URL:https://www.loria.fr/event/soutenance-de-these-de-laure-crochepierre/
LOCATION:CentraleSupélec Metz\, 2\, rue Edouard Belin\, Metz\, France
CATEGORIES:Soutenance
END:VEVENT
END:VCALENDAR