BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.16.2//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:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20240601
DTEND;VALUE=DATE:20240610
DTSTAMP:20260518T083602
CREATED:20240531T073934Z
LAST-MODIFIED:20240531T074157Z
UID:26348-1717200000-1717977599@www.loria.fr
SUMMARY:Le village de l'innovation à la Foire Expo de Nancy
DESCRIPTION:L’Université de Lorraine vous invite à visiter le « Village de l’innovation du site lorrain » lors de la Foire Expo de Nancy. \nCe stand vise à promouvoir une recherche collaborative et accessible à toutes et tous\, abordant des thèmes variés tels que la réalité virtuelle\, le cinéma\, l’impression 3D ou encore la robotique. Venez tester notre simulateur de parapente\, découvrez des jeux interactifs et notre innovation made in Lorraine ! \nEn tant qu’acteur majeur de la recherche et de l’innovation dans la région\, l’Université de Lorraine favorise une recherche collaborative et s’engage à rendre la recherche et l’innovation accessibles à tous. \nVenez rencontrer des étudiants\, des chercheurs et des enseignants qui veulent partager leur passion et leurs idées. \n\nRetrouvez-nous du 1er au 9 juin\, Hall B – Stand F43 !\nProgramme complet et planning en pièces jointes ci-dessous ! \n\nPlus d’informations sur les horaires : https://foireexpo-nancy.com/infos-pratiques\n Description des projets présentés sur le stand UL\n Planning des projets présentés sur le stand UL\n Règlement du jeu Facebook et Instagram\n Règlement du jeu de la borne interactif
URL:https://www.loria.fr/event/le-village-de-linnovation-a-la-foire-expo-de-nancy/
LOCATION:Parc Expo de Nancy\, Rue Catherine Opalinska\, Vandoeuvre-lès-Nancy\, France
CATEGORIES:Autres
ATTACH;FMTTYPE=image/png:https://www.loria.fr/wp-content/uploads/foire_expo_2024.png
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20240603
DTEND;VALUE=DATE:20240604
DTSTAMP:20260518T083602
CREATED:20240523T095645Z
LAST-MODIFIED:20240523T095728Z
UID:26243-1717372800-1717459199@www.loria.fr
SUMMARY:7th CISPA-LORIA workshop
DESCRIPTION:The 7th CISPA-LORIA workshop will be about cryptography and will take place at Loria. \nThe program includes presentations and working groups on public key cryptography and symmetric cryptography. It will be an opportunity for exchanging and brainstorming about joint topics between researchers from CISPA and LORIA. \n\nMore information about the French-German Center for Cybersecurity (partnership between CISPA and Loria).
URL:https://www.loria.fr/event/7th-cispa-loria-workshop-2/
LOCATION:Loria
CATEGORIES:Workshop
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240606T090000
DTEND;TZID=Europe/Paris:20240606T120000
DTSTAMP:20260518T083602
CREATED:20240527T110843Z
LAST-MODIFIED:20240527T140228Z
UID:26313-1717664400-1717675200@www.loria.fr
SUMMARY:Soutenance de Timothée Anne (Larsen)
DESCRIPTION:Timothée Anne (Larsen) soutiendra sa thèse intitulée « L’optimisation multi-tâche et ses applications à la robotique : d’abord résoudre\, ensuite généraliser »\, le 6 juin à 9h en salle B013. \n\nRésumé\nDoter des agents artificiels\, tels que des robots\, d’une capacité à apprendre à réaliser des tâches complexes et à s’adapter est une quête centrale de la recherche en intelligence artificielle. L’apprentissage par renforcement profond en est aujourd’hui une des méthodes privilégiées\, mais n’est ni toujours simple à mettre en œuvre\, ni toujours la plus performante. \nDans cette thèse\, nous étudions un autre concept d’apprentissage de politique qui se divise en deux étapes : une étape de résolution d’un ensemble de sous-problèmes puis une étape de généralisation. Plus formellement\, la première étape reformule le problème général comme un problème multi-tâche permettant d’obtenir un jeu de données de solutions. La seconde étape utilise de l’apprentissage supervisé sur ce jeu de données pour entraîner une politique générale.Nous évaluons d’abord la viabilité de ce concept à un problème d’apprentissage de réflexes d’évitement de chute avec un robot humanoïde réel. Non seulement il permet d’apprendre des comportements en simulation qui permettent d’éviter la chute dans plus de 75\% des cas\, mais ces comportements sont assez robustes pour fonctionner sur le robot réel. \nNous développons ensuite un algorithme de qualité-diversité multi-tâche\, Multi-Task Multi-Behavior MAP-Elites\, pour améliorer l’efficacité d’échantillonnage de la première étape de résolution. Nous illustrons cet algorithme sur le même problème d’apprentissage de réflexes d’évitement de chute d’un robot humanoïde et pour généraliser à des environnements plus réalistes. \nNous proposons enfin de passer d’une étape de résolution discrète à une résolution continue. Pour ce faire\, nous reformulons le problème d’optimisation multi-tâche boîte noire comme un problème d’optimisation paramétrique et proposons une méthode pour le résoudre : Parametric-Task MAP-Elites. \Parametric-Task MAP-Elites résout une nouvelle tâche à chaque itération\, recouvrant asymptotiquement l’espace des tâches. Après avoir consommé son budget d’évaluations\, \eng{Parametric-Task MAP-Elites} distille les solutions trouvées dans une politique pour généraliser à l’ensemble de l’espace continu. \nL’optimisation multi-tâche est une méthode sous-exploitée qui montre\, dans cette thèse\, son aptitude à permettre de résoudre certains problèmes de robotique de façon plus simple à mettre en œuvre et plus performante que l’apprentissage par renforcement profond. \nJury\nRapporteurs : \n\nClément Moulin-Frier\, Centre Inria de l’université de Bordeaux\nMarc Schoenauer\, Centre Inria de Saclay\n\nExaminatrices : \n\nBernardetta Addis\, LORIA – Université de Lorraine\nAmy Hoover\, New Jersey Institute of Technology\n\nEncadrant : Jean-Baptiste Mouret\, Centre Inria de l’Université de Lorraine
URL:https://www.loria.fr/event/soutenance-de-timothee-anne-larsen/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240612T100000
DTEND;TZID=Europe/Paris:20240612T123000
DTSTAMP:20260518T083602
CREATED:20240604T133212Z
LAST-MODIFIED:20240604T133429Z
UID:26384-1718186400-1718195400@www.loria.fr
SUMMARY:Van Eyck. Représenter les vivants et les morts. L’invention de la « photographie » au XVe siècle
DESCRIPTION:La dernière séance de la saison 2023-2024 du séminaire Les liens qui font les humanités numériques\, accueillent un couple intellectuel original et emblématique du mouvement des humanités numériques : Ludovic Balavoine\, historien et spécialiste de Van Eyck\, et Gilles Simon\, informaticien et spécialiste de vision par ordinateur. Les deux chercheurs se sont associés pour écrire ensemble un livre sur les méthodes optiques utilisées par le plus connu des maîtres flamands pour peindre ses toiles éblouissantes de justesse de proportions et  de perspective. Cette séance sera l’occasion de plonger dans l’un des chapitres de cet ouvrage à paraître en 2024\, celui de ce que les auteurs nomment “l’invention de la “photographie” par Van Eyck au XVe siècle”. \nÉtymologiquement\, le mot « photographie » signifie « écriture ou dessin avec la lumière ». Au XVe s.\, les artistes s’interrogent sur la façon de représenter le monde et ses habitants\, dans une quête de réalisme toujours plus précise\, qui les rapproche de la démarche « photographique ». La question de la trace à laisser grandit chez des commanditaires d’œuvres : laisser une trace de son vivant\, pour la postérité\, laisser une trace des disparus. En partant des Époux Arnolfini de Jan van Eyck\, l’objectif est de montrer comment les artistes représentent les vivants et les morts au XVe siècle. Nous démontrons en particulier que Van Eyck a réalisé ses portraits sur un miroir\, et que l’homme au turban rouge est bien un autoportrait de Jan. \n\nSéance gratuite et ouverte à tous et toutes.\nPetit-déjeuner offert.\n\nPage de l’événement
URL:https://www.loria.fr/event/van-eyck-representer-les-vivants-et-les-morts-linvention-de-la-photographie-au-xve-siecle/
LOCATION:Salle Berthier\, Ecole Normale Supérieure\, 29 rue d’Ulm\, Paris
CATEGORIES:Conférence
ATTACH;FMTTYPE=image/png:https://www.loria.fr/wp-content/uploads/Visuel_seminaire-12-06_ENS-327x500-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240617T140000
DTEND;TZID=Europe/Paris:20240617T170000
DTSTAMP:20260518T083602
CREATED:20240610T131604Z
LAST-MODIFIED:20240610T131604Z
UID:26394-1718632800-1718643600@www.loria.fr
SUMMARY:PhD Defense: Nicolas Hubert (BIRD)
DESCRIPTION:Nicolas Hubert\, PhD student in the ERPI laboratory and in the BIRD team\, will defend his thesis on Monday\, 17 June 2024 at 2pm in the Auditorium 1 of the ENSGSI. \nHis thesis is entitled « From knowledge-aware to knowledge-enhanced graph embedding models for link prediction ». \nRapporteurs:\nFatiha Saïs\, Professeure\, Université Paris Saclay\nPaul Groth\, Professor\, University of Amsterdam\nExaminator:\nFabian Suchanek\, Professor\, Télécom Paris\, Institut Polytechnique de Paris\nInvited guest:\nHeiko Paulheim\, Professor\, University of Mannheim\nSupervisors:\nDavy Monticolo\, Professor\, Université de Lorraine\nArmelle Brun\, Professeure\, Université de Lorraine\n\n\n\nAbstract:\n\nKnowledge graph embedding models (KGEMs) have gained considerable traction in recent years. These models learn a vector representation of knowledge graph entities and relations\, a.k.a. knowledge graph embeddings (KGEs). This thesis specifically explores the advancement of KGEMs for the link prediction (LP) task\, which is of utmost importance as it underpins several downstream applications such as recommender systems.\nIn this thesis\, various challenges around the use of KGEMs for LP are identified: the scarcity of semantically rich resources\, the unidimensional nature of evaluation frameworks\, and the lack of semantic considerations in prevailing machine learning-based approaches.\nCentral to this thesis is the proposition of novel solutions to these challenges. Firstly\, the thesis contributes to the development of semantically rich resources: mainstream datasets for link prediction are enriched using schema-based information\, EducOnto and EduKG are proposed to overcome the paucity of resources in the educational domain\, and PyGraft is introduced as an innovative open-source tool for generating synthetic ontologies and knowledge graphs. Secondly\, the thesis proposes a new semantic-oriented evaluation metric\, Sem@K\, offering a multi-dimensional perspective on model performance. Importantly\, popular models are reassessed using Sem@K\, which reveals essential insights into their respective capabilities and highlights the need for multi-faceted evaluation frameworks. Thirdly\, the thesis delves into the development of neuro-symbolic approaches\, transcending traditional machine learning paradigms. These approaches do not only demonstrate improved semantic awareness but also extend their utility to diverse applications such as recommender systems.\nIn summary\, the present work not only redefines the evaluation and functionality of knowledge graph embedding models but also sets the stage for more versatile\, interpretable AI systems\, underpinning future explorations at the intersection of machine learning and symbolic reasoning.\nKeywords:\nKnowledge graph\, Graph embedding\, Neuro-symbolic AI\, Link prediction\nRésumé:\n\nLes modèles d’embeddings à base de graphes de connaissances ont considérablement gagné en popularité ces dernières années. Ces modèles apprennent une représentation vectorielle des entités et des relations des graphes de connaissances (GCs). Cette thèse explore spécifiquement le progrès de tels modèles pour la tâche de prédiction de lien (PL)\, qui est d’une importance capitale car elle se retrouve dans plusieurs applications telles que les systèmes de recommandation.\nDans cette thèse\, divers défis liés à l’utilisation des modèles d’embeddings de GCs pour la PL sont identifiés : la rareté des ressources sémantiquement riches\, la nature unidimensionnelle des cadres d’évaluation\, et le manque de considérations sémantiques dans les approches d’apprentissage automatique.\nCette thèse propose des solutions novatrices à ces défis. Premièrement\, elle contribue au développement de ressources sémantiquement riches : les jeux de données principaux pour la prédiction de lien sont enrichis en utilisant des informations basées sur des schémas\, EducOnto et EduKG sont proposés pour surmonter la pénurie de ressources dans le domaine éducatif\, et PyGraft est introduit comme un outil innovant pour générer des ontologies synthétiques et des graphes de connaissances. Deuxièmement\, la thèse propose une nouvelle métrique d’évaluation orientée sémantique\, Sem@K\, offrant une perspective multidimensionnelle sur la performance des modèles. Il est important de souligner que les modèles populaires sont réévalués en utilisant Sem@K\, ce qui révèle des aspects essentiels et jusqu’alors inexplorés de leurs capacités respectives et souligne le besoin de cadres d’évaluation multidimensionnels. Troisièmement\, la thèse se penche sur le développement d’approches neuro-symboliques\, transcendant les paradigmes traditionnels de l’apprentissage automatique. Ces approches ne démontrent pas seulement une meilleure capacité sémantique dans leurs prédictions\, mais étendent également leur utilité à diverses applications telles que les systèmes de recommandation.\nEn résumé\, le présent travail ne redéfinit pas seulement l’évaluation et la fonctionnalité des modèles d’embeddings de GCs\, mais prépare également le terrain pour des systèmes d’intelligence artificielle plus polyvalents et interprétables\, soutenant les explorations futures à l’intersection de l’apprentissage automatique et du raisonnement symbolique.\n\nMots clés: \n\n\nGraphe de connaissance\, Plongement de graphe\, IA neuro-symbolique\, Prédiction de lien
URL:https://www.loria.fr/event/phd-defense-nicolas-hubert-bird/
LOCATION:ENSGSI
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240619T140000
DTEND;TZID=Europe/Paris:20240619T170000
DTSTAMP:20260518T083602
CREATED:20240527T093340Z
LAST-MODIFIED:20240527T111323Z
UID:26316-1718805600-1718816400@www.loria.fr
SUMMARY:Soutenance de Bastien Laboureix (Adagio)
DESCRIPTION:Bastien Laboureix (Adagio) soutiendra sa thèse intitulée « Hyperplans arithmétiques : connexité\, reconnaissance & transformations » le 19 juin à 14h en salle A008. \nRésumé\nLe monde numérique est parsemé de structures mathématiques discrètes\, destinées à être facilement manipulables par un ordinateur tout en donnant à notre cerveau l’impression d’être de belles formes réelles continues. Les images numériques peuvent ainsi être vues comme des sous-ensembles de Z^2. En géométrie discrète\, nous nous intéressons aux structures de Z^d et cherchons à établir des propriétés géométriques ou topologiques sur ces objets. Si les questions que nous nous posons sont relativement simples en géométrie euclidienne\, elles deviennent beaucoup plus difficiles en géométrie discrète : plus de division\, adieu les limites\, tout n’est plus qu’arithmétique. Cette thèse est également l’occasion de jongler avec de nombreuses notions élémentaires de mathématiques et d’informatique (algèbre linéaire\, anneaux\, automates\, analyse réelle\, arithmétique\, combinatoire) pour résoudre des questions de géométrie discrète. \nNous nous intéressons à des structures fondamentales de cette géométrie : les hyperplans arithmétiques. Ceux-ci ont en effet une définition très simple et purement arithmétique : un hyperplan arithmétique est l’ensemble des points entiers situés entre deux hyperplans (réels) affines parallèles. Nous parlons dans cette thèse de trois problèmes portant sur les hyperplans arithmétiques :\n– la connexité : un hyperplan arithmétique est-il composé d’un seul morceau ou de plusieurs ? Apport principal de ce manuscrit\, nous étendons des résultats déjà connus pour la connexité par faces pour des voisinages quelconques. Si certains phénomènes demeurent dans le cas général\, l’explosion combinatoire rend difficile l’adaptation des algorithmes connus pour résoudre le problème. Nous adoptons donc une approche analytique et prouvons des propriétés de connexité en étudiant la régularité d’une fonction.\n– la reconnaissance : comment connaître les caractéristiques d’un hyperplan arithmétique ? Problème plus classique de géométrie discrète\, avec une littérature très riche\, nous proposons pour le résoudre un algorithme de reconnaissance reposant sur l’arbre de Stern-Brocot généralisé. Nous introduisons notamment la notion de corde séparante qui caractérise géométriquement les zones auxquelles appartiennent les paramètres d’un hyperplan arithmétique.\n– les transformations douces : comment transformer continûment un hyperplan arithmétique via des translations ou rotations ? Approche discrète des transformations homotopiques\, nous caractérisons les mouvements de pixels possibles dans une structure discrète tout en préservant ses propriétés géométriques. \nAu-delà de l’étude de ces problèmes et des résultats que nous avons pu obtenir\, cette thèse montre l’intérêt d’utiliser des réels\, et notamment de l’analyse réelle\, pour mieux comprendre les hyperplans arithmétiques. Ces derniers sont en effet caractérisés en grande partie par leur vecteur normal\, souvent considéré entier pour obtenir des propriétés de périodicité. Considérer des vecteurs normaux réels quelconques permet de gagner en souplesse\, et de faire disparaître les phénomènes de bruit induits par les relations arithmétiques du vecteur. S’ouvrir de nouveau au réel est enfin un moyen de créer des ponts vers d’autres branches des mathématiques\, comme la combinatoire des mots ou les systèmes de numération. \nJury\nRapporteurs :\n• Jacques-Olivier Lachaud\, Professeur à l’Université Savoie Mont-Blanc\, LAMA\n• Yan Gérard\, Maître de Conférences à l’Université Clermont-Auvergne\, LIMOS \nExaminateurs :\n• Emilie Charlier\, Chargée de travaux à l’Université de Liège\, Institut de Mathématiques\n• Emmanuel Jeandel\, Professeur à l’Université de Lorraine\, LORIA \nInvités :\n• Eric Andres\, Professeur à l’Université de Poitiers\, XLIM\n• Laurent Vuillon\, Professeur à l’Université Savoie Mont-Blanc\, LAMA \nEncadrants :\n• Isabelle Debled-Rennesson\, Professeure à l’Université de Lorraine\, LORIA\n• Eric Domenjoud\, Chargé de Recherche CNRS\, LORIA
URL:https://www.loria.fr/event/soutenance-de-bastien-laboureix-adagio/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240620T090000
DTEND;TZID=Europe/Paris:20240620T140000
DTSTAMP:20260518T083602
CREATED:20240613T092100Z
LAST-MODIFIED:20240613T092100Z
UID:26424-1718874000-1718892000@www.loria.fr
SUMMARY:Workshop FCA4AN: Friends\, Concepts & Acoustics for Amedeo Napoli
DESCRIPTION:Miguel Couceiro and Pierre Monnin are organizing the workshop FCA4AN: Friends\, Concepts & Acoustics for Amedeo Napoli on Thursday\, June 20 in room A008. \nOn the program: reminiscing scientific work\, friendly moments and funny stories that we shared with Amedeo Napoli. \n• 09h00-09h30: Yannick Toussaint & medal ceremony• 09h30-09h45: Sergey O. Kuznetsov• 09h45-10h00: Marianne Huchard• 10h00-10h15: Florence Le Ber• 10h15-10h30: Mehdi Kaytoue• 10h30-10h45: Karell Bertet\n \n10h45-11h15: Break \n• 11h15-11h30: Jaume Bauxeries• 11h30-11h45: Tanya Makhalova• 11h45-12h00: Jérôme Euzenat• 12h00-12h15: Mehwish Alam• 12h15-12h30: Miguel Couceiro & Pierre Monnin• 12h30-14h00: Lunch (Buffet) \nRegistration: Miguel Couceiro (prénom.nom@loria.fr)
URL:https://www.loria.fr/event/workshop-fca4an-friends-concepts-acoustics-for-amedeo-napoli/
LOCATION:A008
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240620T183000
DTEND;TZID=Europe/Paris:20240620T210000
DTSTAMP:20260518T083602
CREATED:20240527T085119Z
LAST-MODIFIED:20240527T085253Z
UID:26305-1718908200-1718917200@www.loria.fr
SUMMARY:[Soirée Cult’] "Dune" dans l’œil des experts
DESCRIPTION:Plongez dans l’univers fascinant de Dune pendant La Soirée Cult’ \nPréparez-vous à un voyage épique dans les déserts lointains d’Arrakis\, où le sable cache des mystères et des intrigues inoubliables. La Soirée Cult’ vous invite à explorer l’univers riche et captivant de Dune\, à la fois dans ses écrits originaux et dans ses adaptations cinématographiques emblématiques. \nCommencez votre voyage dans l’univers de Dune avec des extraits des films emblématiques. Plongez dans l’atmosphère aride d’Arrakis et re-découvrez ses intrigues. \nTrois chercheurs et chercheuses vous guideront à travers les aspects scientifiques de Dune lors de petites interviews dynamiques. Posez-leur vos questions sur des sujets allant de la linguistique à l’exploitation des ressources extraterrestres en passant par l’IA. \nRevenus sur Terre\, testez vos connaissances scientifiques et cinématographiques sur Dune lors de notre quiz spécial. Des prix choisis avec soin vous attendent\, alors montrez vos compétences et impressionnez-nous avec votre savoir sur l’univers de Frank Herbert. \n?️ Réservation de billets
URL:https://www.loria.fr/event/soiree-cult-dune-dans-loeil-des-experts/
LOCATION:Amphithéâtre Cuénot du Muséum Aquarium de Nancy\, 13 rue Godron\, Nancy
CATEGORIES:Événement grand public
ATTACH;FMTTYPE=image/jpeg:https://www.loria.fr/wp-content/uploads/Post-insta-soirée-cult-Dune.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240624T100000
DTEND;TZID=Europe/Paris:20240624T120000
DTSTAMP:20260518T083602
CREATED:20240612T151027Z
LAST-MODIFIED:20240612T151027Z
UID:26415-1719223200-1719230400@www.loria.fr
SUMMARY:Soutenance d'Ambroise Baril
DESCRIPTION:Ambroise Baril (Orpailleur) soutiendra sa thèse intitulée « Complexité fine et paramétrée des problèmes de coloriage de graphe » le 24 juin à 10h en salle A008. \nRésumé\nL’objectif de la thèse est d’étudier la complexité fine et paramétrée du problème de H-coloration\, ainsi que la classe plus générale des problèmes CSP(Gamma)\, en utilisant des méthodes d’algèbre universelle. Ici\, l’approche récemment développée basée sur la théorie des clones partiels semble être pertinente\, puisqu’on sait que les polymorphismes partiels (pPol(·)) des langages de contraintes sont corrélés à la complexité de CSP(Gamma) dans le pire cas le pire des cas O(c^n). \nJury\nEncadrants \n\nDirecteur de thèse : Miguel Couceiro\, UNIVERSITE DE LORRAINE\nCo-directeur de thèse : Victor Lagerkvist\, UNIVERSITE DE LINKÖPING\n\nRapporteurs \n\nPierre Charbit\, UNIVERSITE PARIS-CITE\nJohanne Cohen\, UNIVERSITE PARIS-SACLAY\n\nExaminateurs \n\nBernardetta Addis\, UNIVERSITE DE LORRAINE\nJovanka Pantović\, FACULTY OF TECHNICAL SCIENCES – SERBIA
URL:https://www.loria.fr/event/soutenance-dambroise-baril/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240624T133000
DTEND;TZID=Europe/Paris:20240624T150000
DTSTAMP:20260518T083602
CREATED:20240610T160227Z
LAST-MODIFIED:20240612T123113Z
UID:26398-1719235800-1719241200@www.loria.fr
SUMMARY:Colloquium du Loria : Kristin Yvonne Rozier
DESCRIPTION:Le prochain colloquium aura lieu le lundi 24 juin à 13h30 dans l’amphithéâtre.\n\nNous aurons le plaisir d’accueillir Kristin Yvonne Rozier\, chercheuse au département d’ingénierie spatiale et d’informatique d’Iowa State University.\n\nLa présentation est intitulée « Rockets\, Route-Analyzers\, Rotorcraft\, and Robonaut2: Intelligent\, On-board Runtime Reasoning » et sera en anglais.\n\nRésumé : \nRuntime Verification (RV) has become critical to the deployment of a wide range of systems\, including aircraft\, spacecraft\, satellites\, rovers\, and robots\, as well as the systems that control them\, like air traffic control systems and space stations. The most useful\, important\, and safety-critical jobs will require these systems to operate both intelligently and autonomously\, with the ability to sense and respond to both nominal and off-nominal conditions. It is essential that we enable reasoning sufficient to react to dynamic environments and detect critical failures on-board\, in real time\, to enable mitigation triggering. We are challenged by the constraints of real-life embedded operation that limit the system instrumentation\, space\, timing\, power\, weight\, cost\, and other operating conditions of on-board\, runtime verification. While the research area of RV is vast\, there is a dearth of RV tools that can operate within these constraints\, and without violating rules for air and space flight certification. \nThe Realizable\, Responsive\, Unobtrusive Unit (R2U2) analyzes specifications that combine temporal logics with powerful reasoning to provide formal assurances during runtime\, enabling self-assessment of critical systems. This presentation overviews recent algorithmic advances and the case studies they enabled\, including embedding on-board NASA’s humanoid robot Robonaut2\, a UTM (UAS Traffic Management) system\, a CubeSat\, and the NASA Lunar Gateway.\n\nLes personnes extérieures au Loria peuvent s’inscrire par email auprès de Marie Baron (prénom.nom@loria.fr) avant le 20 juin.\n\n– – – – –\n\n\nNext Loria colloquium will take place on Monday\, June 24th at 1.30 pmin the amphitheater.\n\nWe will have the pleasure to welcome Kristin Yvonne Rozier\, researcher at the faculty of the Aerospace Engineering and Computer Science Departments of Iowa State University.\n\n\nThe presentation is entitled « Rockets\, Route-Analyzers\, Rotorcraft\, and Robonaut2: Intelligent\, On-board Runtime Reasoning » and will be in English. \n\nABSTRACT:\nRuntime Verification (RV) has become critical to the deployment of a wide range of systems\, including aircraft\, spacecraft\, satellites\, rovers\, and robots\, as well as the systems that control them\, like air traffic control systems and space stations. The most useful\, important\, and safety-critical jobs will require these systems to operate both intelligently and autonomously\, with the ability to sense and respond to both nominal and off-nominal conditions. It is essential that we enable reasoning sufficient to react to dynamic environments and detect critical failures on-board\, in real time\, to enable mitigation triggering. We are challenged by the constraints of real-life embedded operation that limit the system instrumentation\, space\, timing\, power\, weight\, cost\, and other operating conditions of on-board\, runtime verification. While the research area of RV is vast\, there is a dearth of RV tools that can operate within these constraints\, and without violating rules for air and space flight certification. \nThe Realizable\, Responsive\, Unobtrusive Unit (R2U2) analyzes specifications that combine temporal logics with powerful reasoning to provide formal assurances during runtime\, enabling self-assessment of critical systems. This presentation overviews recent algorithmic advances and the case studies they enabled\, including embedding on-board NASA’s humanoid robot Robonaut2\, a UTM (UAS Traffic Management) system\, a CubeSat\, and the NASA Lunar Gateway.\n\n\nPeople from outside the Loria can register by sending an email to Marie Baron (prenom.nom@loria.fr) before June 20th.
URL:https://www.loria.fr/event/colloquium-du-loria-kristin-yvonne-rozier/
LOCATION:Amphithéâtre du Loria
CATEGORIES:Colloquium Loria
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240624T140000
DTEND;TZID=Europe/Paris:20240624T170000
DTSTAMP:20260518T083602
CREATED:20240527T130722Z
LAST-MODIFIED:20240527T130829Z
UID:26327-1719237600-1719248400@www.loria.fr
SUMMARY:PhD Defense: Esteban Marquer (Orpailleur)
DESCRIPTION:Esteban Marquer (Orpailleur) will defend his thesis\, entitled « Reasoning over Data: Analogy-based and Transfer Learning to improve Machine Learning »\, on Monday\, June 24 at 2 p.m.\, in room B013. \nAbstract\nRecent years have seen a renewed interest in the potential of analogy detection and analogical inference\, with successful applications in Machine Learning (ML) to the retrieval and generation of images\, of text\, and structured data such as knowledge graphs\, but also the detection of relations between and within images\, texts\, and structured data. While some of those works are based on an intuitive understanding of analogy\, significant effort has been made since the antiquity to define analogies as accurately as possible. Analogies are a key component of human cognition\, and can be viewed as an abstraction mechanism that identifies similarities and differences between different situations\, and as a reasoning tool to adapt known solutions to new situation. When reasoning by analogy\, the goal is to adapt the solution of a known or source problem\, which is sufficiently similar to the actual or target problem. This process involves a transfer between the context of the source problem (the problem and its solution) and the context of the target problem. In the past 50 years\, different aspects of the notion of Analogical Proportions (APs) have been explored. An AP is typically composed of four elements\, written A:B::C:D when the ratio between A and B is conform with the one between C and D\, and this formal tool has been declined to cover numerous different interpretations of what an analogy can be\, with any number of elements. In our work\, we explore different methods to tackle the detection of APs and solving of analogical equations on different domains\, using Deep Learning (DL). In particular\, we study word morphology and Target Sense Disambiguation for words in context\, two domains for which our model outperform the State of the Art (SotA)\, as well as in frame semantics\, where we obtain encouraging results. We also study CoAT\, a Case-Based Reasoning (CBR) system based on analogical transfer. With CoAT\, we encounter significant success in the measure of case competence and in the task of case base compression. \nJury\n\nReviewers:\n\nZied Bouraoui\, MCF HdR : Université d’Artois\, France\nPr. Dafna Shahaf : Hebrew University of Jerusalem\, Israel\n\nExaminers:\n\nPr. Mário A. T. Figueiredo : Instituto Superior Técnico\, Portugal\nPr. Maxime Amblard : Université de Lorraine\, France\n\n\nInvited guests : \n\n\nPr. David B. Leake : Indiana University\, United States\nPr. Yves Lepage : Waseda University\, Japan\n\nSupervisors:\n\n\n\nPr. Miguel Couceiro : Université de Lorraine\, France\nAlain Gély\, MCF : Université de Lorraine\, France
URL:https://www.loria.fr/event/phd-defense-esteban-marquer-orpailleur/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240625T133000
DTEND;TZID=Europe/Paris:20240625T163000
DTSTAMP:20260518T083602
CREATED:20240527T124257Z
LAST-MODIFIED:20240527T124415Z
UID:26323-1719322200-1719333000@www.loria.fr
SUMMARY:Soutenance de Jacques Zhong (Larsen)
DESCRIPTION:Jacques Zhong (Larsen) soutiendra sa thèse intitulée « Prise en compte de la variabilité morphologique d’opérateurs sur des chaînes de montage en réalité virtuelle » le 25 juin à 13h30 en salle C005. \nRésumé\nDans l’industrie\, les troubles musculo-squelettiques constituent un problème de santé majeur affectant le bien-être et la productivité des travailleurs. Le travail d’un ergonome consiste à identifier les facteurs de risque et à mettre en place des mesures correctives pour améliorer les conditions de travail. Parmi les facteurs de risque\, la morphologie d’un individu a un rôle déterminant sur le développement des troubles musculo-squelettiques et doit être prise en compte lors de l’évaluation ergonomique. Dans ce contexte\, l’objectif de la thèse est de développer des outils pour évaluer l’adéquation d’un poste de travail à une grande variété de morphologies de travailleurs. Les outils de simulation d’humains virtuels sont couramment utilisés dans l’industrie pour réduire les coûts de prototypage en détectant au plus tôt les défauts de conception. Ces outils peuvent simuler différentes morphologies d’humains et dresser rapidement une analyse complète et quantitative du risque. Cependant\, un outil de simulation doit être suffisamment réaliste dans la modélisation des phénomènes physiques pour que les résultats soient interprétables. De plus\, les postures et les mouvements générés doivent être adaptés à l’activité mais aussi à la morphologie de l’humain. Enfin\, un tel outil doit être accessible à des utilisateurs non-spécialistes\, avec un temps nécessaire minimal pour sa prise en main. Une approche émergente en ergonomie et utilisée dans ces travaux consiste à simuler l’humain dans une simulation physique à l’aide d’un contrôleur corps-complet issu de la robotique humanoïde. Cette approche permet de générer en temps interactif des mouvements et des efforts dynamiquement cohérents. De plus\, l’approche est générique et peut être appliquée à différentes morphologies d’humains et à différents scénarios de postes de travail. Dans une première contribution\, le problème de la mise en posture d’un humain virtuel physique est étudié. En effet\, la simulation utilisée impose des contraintes liées à la physique\, qui rendent plus difficile la mise en posture de l’humain virtuel. Pour répondre à cela\, nous développons une interface en réalité virtuelle\, avec l’utilisateur en immersion dans le poste de travail virtuel. Cette approche permet à l’utilisateur d’interagir de manière plus naturelle avec des humains virtuels de morphologies différentes et de visualiser plus facilement les postures et les efforts internes en jeu. Dans une deuxième contribution\, le problème de la génération de comportements spécifiques à la morphologie pour une large population d’humains est étudié. Nous proposons une approche utilisant un algorithme multitâches et boîte noire basé sur l’optimisation qualité-diversité\, pour optimiser efficacement le paramétrage des contrôleurs corps-complet pour l’ensemble des individus. Sur un scénario de vissage\, notre approche permet de générer des comportements uniques pour chaque morphologie et optimisés en termes de performance et d’ergonomie. En outre\, cette approche produit une carte d’adéquation qui permet de voir directement si un poste de travail est adapté ou non à la population ciblée.\nLes approches introduites ouvrent de nouvelles pistes à explorer\, notamment pour optimiser directement les postes de travail par rapport à la morphologie de l’humain ou pour prendre en compte la diversité de stratégies comportementales pour chaque morphologie. \nJury\n\nPhilippe SOUÈRES (CNRS)\nXuguang WANG (Université Gustave Eiffel)\nChristine CHEVALLEREAU (CNRS)\n\nEncadrants de thèse\n\n\nFrancis COLAS (INRIA)\n\n\nPauline MAURICE (CNRS)\n\n\nVIncent WEISTROFFER (CEA-LIST)
URL:https://www.loria.fr/event/soutenance-de-jacques-zhong-larsen/
CATEGORIES:Soutenance
END:VEVENT
END:VCALENDAR