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;TZID=Europe/Paris:20241202T143000
DTEND;TZID=Europe/Paris:20241202T163000
DTSTAMP:20260515T164944
CREATED:20241119T170725Z
LAST-MODIFIED:20241120T125153Z
UID:26946-1733149800-1733157000@www.loria.fr
SUMMARY:PhD Defense: Huiyuan Kelvin Han (Synalp)
DESCRIPTION:Huiyuan Kelvin Han (Synalp) will defend his thesis\, entitled “Generating and answering questions across text and knowledge graphs »\, on Monday\, December 2nd at 2:30 p.m.\, in room A008. \nAbstract:\nQuestion generation (QG) is the task of automatically producing a question given some information source containing the answer. It is a subtask within natural language generation (NLG) but is also closely associated with question answering (QA)\, which is a counterpoint to QG. While QG is concerned with generating the linguistic expression for seeking information\, the QA task is concerned with meeting that need by automatically identifying the answer to a question given some information source. Both tasks have direct applicability in domains such as information retrieval\, dialogue and conversation\, and education. Recent research also indicates that QG and QA\, when used jointly in QA-based evaluation\, are helpful for factual verification (especially for NLG outputs such as summarisation and data-to-text generations). When used together to produce a discourse representation\, they can also help reduce the propensity of large language models (LLMs) to produce text with hallucinations and factual inaccuracies. While QA has long been studied\, and approaches have been proposed as early as the 1960s\, QG only started to gain more research attention in recent years. Most research on the tasks is focused on addressing only one of them and doing so for a single modality. In QG\, previous approaches typically rely on architectures that require heavy processing and do not generally consider the generation of questions across the entirety of the input information source nor the diversity of the ways a question can be phrased. In QA\, although work has been done for answering questions given some unstructured input (e.g. a piece of text)\, and work has also been done for doing so given some structured input (e.g. knowledge graph (KG) or tables)\, these methods are typically not transferable for use on another input modality. In this thesis\, we are focused on QG foremost\, with the aim of identifying ways to generate questions across both structured and unstructured information\, namely text and KG inputs\, in a manner that is controllable for increasing the diversity\, comprehensiveness\, and coverage of these questions. We also study QG and QA in concert with a model that can controllably generate both simple and complex questions from one modality and also answer them on another modality\, an ability that has relevance for improving QA-based evaluation. Finally\, we examine doing so for lower-resourced languages other than English\, with the view that being able to do so helps enable similar QA-based evaluation for these languages.\n\nKey words: question generation\, question answering\, natural language generation\, knowledge graphs\, multilingual \nThesis Committee:\n\nReviewers: \n\nAnne Vilnat\, Université Paris-Saclay\nFrédéric Béchet\, Aix-Marseilles Université\n\nExaminers: \n\nSophie Rosset\, Université Paris-Saclay\nCatherine Faron\, Université Côte d’Azur\n\nSupervisors: \n\n\nClaire Gardent\, Université de Lorraine\nThiago Castro Ferreira\, Federal University of Minas Gerais
URL:https://www.loria.fr/event/phd-defense-kelvin-han-synalp/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241203T130000
DTEND;TZID=Europe/Paris:20241203T140000
DTSTAMP:20260515T164944
CREATED:20241115T093532Z
LAST-MODIFIED:20241115T093532Z
UID:26921-1733230800-1733234400@www.loria.fr
SUMMARY:Department 2 Seminar: Thibault Gauthier.
DESCRIPTION:Le prochain séminaire du D2 aura lieu le 3 décembre à 13h00 en salle A008. \nOrateur : Thibault Gauthier \nTitre : The Automation of Mathematics in Practice \nAbstract:\nThis presentation provides an overview of automated systems actively\nused in proving mathematical theorems\, focusing on the practical\nsuccesses  achieved by SAT solvers\, first-order theorem provers\, and\ninteractive theorem provers.\nAdditionally\, we present our progress towards improving automation in\nareas that are usually considered challenging for proof automation\, such\nas conjecture generation and inductive reasoning. \nToutes les infos se trouvent aussi sur le site du département.
URL:https://www.loria.fr/event/department-2-seminar-thibault-gauthier/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241203T140000
DTEND;TZID=Europe/Paris:20241203T160000
DTSTAMP:20260515T164944
CREATED:20240925T092744Z
LAST-MODIFIED:20240925T092744Z
UID:26701-1733234400-1733241600@www.loria.fr
SUMMARY:Soutenance de thèse de Yoann Coudert--Osmont
DESCRIPTION:Yoann Coudert–Osmont (Pixel) soutiendra sa thèse intitulée « Champs de repères 2\,5D pour la génération de maillages hexaédriques » le 3 decembre à 14h en salle C005. \nRésumé\nUn maillage hexaédrique est une représentation discrète d’un volume sous forme d’un ensemble de cellules hexaédriques (polyèdres à six faces quadrangulaires). Les maillages hexaédriques sont la représentation privilégiée de certaines simulations numériques\, mais sont malheureusement difficiles à générer de façon entièrement automatique. Des interventions humaines\, parfois longues\, sont souvent nécessaires pour leur création. L’automatisation de la génération de ce type de maillages est un sujet de recherches qui a vu naître différentes approches. Cette thèse s’intéresse à l’approche par paramétrisation globale qui s’appuie sur la construction d’une carte possédant certaines propriétés dites de préservation de la grille. Pour générer une telle carte\, la méthode semblant la plus prometteuse repose sur la construction d’un champ de repères. Cette méthode ayant fait ses preuves pour la génération de maillages quadrangulaires en 2D se heurte à un nouveau problème en 3D ; le graphe de singularité induit par le champ de repères peut n’être compatible à aucun maillage hexaédrique valide. Une solution à ce problème consiste en l’interdiction de toute singularité interne au volume que l’on cherche à remailler. C’est ce que l’on appelle la méthode des polycubes. La conséquence de ce choix est une forte diminution de la qualité du maillage produit.\nCette thèse propose une alternative en autorisant cette fois-ci des singularités internes\, toutes orientées le long d’une même direction\, formant en quelque sorte une extrusion d’un maillage quadrangulaire. L’intérêt de cette méthode est illustré dans le cas du remaillage de domaines géologiques.\n\nMots clés : Maillage\, Paramétrisation\, Champ de repères\nJury\nEncadrants :\n\nDmitry SOKOLOV\, Université de Lorraine – LORIA\nNicolas RAY\, Centre Inria de l’Université de Lorraine\n\nJury :\n\nDavid COEURJOLLY\, CNRS\, Université de Lyon 1\, INSA Lyon – LIRIS\nFrédéric CORDIER\, Université de Haute Alsace – IRIMAS\nMargaux RAGUENEL\, TotalEnergies\nDmitry SOKOLOV\, Université de Lorraine – LORIA
URL:https://www.loria.fr/event/soutenance-de-these-de-yoann-coudert-osmont/
LOCATION:C005
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241204T140000
DTEND;TZID=Europe/Paris:20241204T160000
DTSTAMP:20260515T164944
CREATED:20241119T165704Z
LAST-MODIFIED:20241119T165704Z
UID:26942-1733320800-1733328000@www.loria.fr
SUMMARY:Soutenance de thèse de Haetham Al Aswad (Caramba)
DESCRIPTION:Haetham Al Aswad (Caramba) soutiendra sa thèse intitulée « Le problème du logarithme discret dans les extensions de corps finis » le 4 décembre à 14h en salle A008. \nRésumé\nCette thèse étudie le problème du logarithme discret dans les corps finis\, l’un des deux problèmes de théorie des nombres aux fondations de la cryptographie à clef publique utilisée de nos jours. En particulier\, nous proposons plusieurs algorithmes pour la résolution de ce problème dans le cas des corps finis non premiers\, c’est-à-dire de la forme F_{p}^n avec p la caractéristique et n le degré d’extension tel que n > 1. Ces algorithmes mobilisent un large ensemble de techniques et d’outils provenant de la théorie des nombres algorithmiques\, et s’inscrivent dans une recherche de pointe de longue date : le crible par corps de nombre (NFS)\, squelette sur lequel se basent tous ces algorithmes ayant déjà plus d’une trentaine d’années.\n\nMots clés : Cryptanalyse\, Théorie des nombres computationnelle\, cryptographie à clé publique\, logarithme discret.\nJury\nEncadrants :\n\n\nEmmanuel Thomé\, Directeur de recherche\, Inria – Nancy\, France\n\n\nCécile Pierrot\, Chargée de recherche\, Inria – Nancy\, France\n\n\nRapporteurs : \n\n\nBenjamin Wesolowski\, Chargé de recherche\, École Normale Supérieur de Lyon\, France\n\n\nGarry McGuire\, Professeur\, University College Dublin\, Irlande\n\n\n\nExaminateurs.ices :\n\nAlice Pellet-Mary\, Chargée de recherche\, Université de Bordeaux\, France.\nSteve Kremer\, Directeur de recherche\, Inria – Nancy\, France.
URL:https://www.loria.fr/event/soutenance-de-these-de-haetham-al-aswad-caramba/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241206T133000
DTEND;TZID=Europe/Paris:20241206T150000
DTSTAMP:20260515T164944
CREATED:20241129T133542Z
LAST-MODIFIED:20241129T133542Z
UID:26976-1733491800-1733497200@www.loria.fr
SUMMARY:D5 Seminar: Deep Learning\, Optimal Control\, and Bio-Inspired Control for Dynamic Robots
DESCRIPTION:The next D5 Seminar\, « Deep Learning\, Optimal Control\, and Bio-Inspired Control for Dynamic Robots » will be held by Guillaume Bellegarda (EPFL) on Friday\, December 6 at 1:30 p.m. in room A008. \nAbstract:\nRecent advances in machine learning\, control\, and robotics show promising results towards integrating autonomous systems into society. Legged robots in particular suggest potential for the same dynamic capabilities as humans to adapt to everyday\, and even challenging\, environments. However\, when compared with humans and animals\, state-of-the-art robotic systems do not yet demonstrate the same agility nor intelligence to navigate the real world. While important contributions have been made to approach human levels in specific tasks\, the desired system generalizability to interact with and adapt to new environments remains challenging. Additionally\, for tasks learned with machine learning in which robotic systems do approach or surmount human-level skills\, the underlying neural network function approximation lacks interpretability and performance guarantees. This is true for both Artificial Neural Networks\, as well as their biological counterparts that exist in animals. In this talk\, we present several methods to maximize robotic system performance and explainability by leveraging ideas from machine learning\, model-based control\, and neuroscience. Example applications will be shown for highly dynamic motions on systems such as quadrupeds\, vehicles\, and wheel-legged robots.
URL:https://www.loria.fr/event/d5-seminar-deep-learning-optimal-control-and-bio-inspired-control-for-dynamic-robots/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241210T133000
DTEND;TZID=Europe/Paris:20241210T143000
DTSTAMP:20260515T164944
CREATED:20241112T083604Z
LAST-MODIFIED:20241112T084904Z
UID:26890-1733837400-1733841000@www.loria.fr
SUMMARY:Loria Colloquium: Jean Cardinal
DESCRIPTION:Next Loria colloquium will take place on Tuesday\, 10th December at 1:30 pm in the Amphitheater. \nWe will have the pleasure to welcome Jean Cardinal\, professor at the Université Libre de Bruxelles\, with a presentation (in English) entitled « Combinatorics\, Geometry\, and Algorithms« . \nAbstract: \nNumerous interactions exist between the fields of combinatorics\, discrete geometry — in the tradition initiated\, among others\, by Paul Erdős — and theoretical computer science. It is often fruitful to consider combinatorial abstractions to tackle computational geometry problems\, and conversely\, geometry crops up sometimes unexpectedly in a purely discrete computational context. \nWe will illustrate these interactions through an example related to our research. \nIn computational geometry\, it can be useful to encode sets of points in the plane by storing the orientation (clockwise or counterclockwise) of every triple of points. By considering the properties that these orientations must satisfy as axioms\, one can relate these encodings to tools from matroid theory. These ideas have helped to identify a specific complexity class that revealed useful for better understanding the difficulty of a number of problems in computational geometry. \nWe will strive to minimize technical content and make the presentation accessible to everyone. \nBiography: \nJean Cardinal is a professor of computer science at the Université libre de Bruxelles (ULB)\, in Brussels\, Belgium\, and co-director of the Algorithms Research Group. His research is in the field of theoretical computer science and discrete mathematics\, in particular computational geometry\, the branch of computer science devoted to the design and analysis of algorithms for problems involving geometric data. Heobtained his PhD from ULB in 2001\, with a fellowship from the FNRS\, and has held visiting professorships at various institutions since then\, the most recent ones being at ETH Zurich and Université Sorbonne Paris Nord. \nPeople from outside the laboratory must register by sending an email to Marie Baron: marie.baron (at) loria.fr before Friday\, 6th December.
URL:https://www.loria.fr/event/loria-colloquium-jean-cardinal/
LOCATION:Amphithéâtre du Loria
CATEGORIES:Colloquium Loria
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241210T140000
DTEND;TZID=Europe/Paris:20241210T160000
DTSTAMP:20260515T164944
CREATED:20241204T090838Z
LAST-MODIFIED:20241209T142356Z
UID:26981-1733839200-1733846400@www.loria.fr
SUMMARY:Soutenance de thèse de Maïwenn Racouchot (Pesto)
DESCRIPTION:Maïwenn Racouchot (Pesto) soutiendra sa thèse intitulée « Analyse formelle de sécurité de protocoles: études de cas réelles et stratégies de preuve automatisées » le 10 décembre à 14h en salle A008. \nRésumé\n\nChaque jour\, nous effectuons des actions en apparence bénignes : envoyer un message à un proche ou payer ses courses avec sa carte bancaire. Pourtant\, ces applications mettent en jeu des données sensibles. Dans le cas des messageries ce sont notre identité et celle de nos correspondants\, ainsi que le contenu de nos conversations. Dans le cas d’un paiement\, ce sont notre identité et des informations sur notre compte en banque. Des attaques sur de tels services pourraient avoir de implications catastrophiques pour les victimes : usurpation d’identité\, violation de la vie privée\, vol… Les conséquences peuvent être encore plus étendues si la cible de l’attaque est par exemple un protocole de vote utilisé lors d’une élection nationale. Pour garantir des propriétés de sécurité telles que la confidentialité ou l’authentification des données qu’ils manipulent\, ces services utilisent des protocoles cryptographiques. Ces protocoles sont généralement basés sur des primitives cryptographiques et décrivent comment les participants doivent communiquer (comment sont formatés les messages qu’ils échangent). Malheureusement\, l’utilisation de primitives cryptographiques ne suffit pas à garantir la sécurité d’un protocole. \nDans le cadre de ma thèse\, je me suis intéressée à la vérification formelle de protocole\, un domaine qui s’attache à prouver des propriétés de sécurité sur les protocoles. D’une part\, j’ai participé à l’analyse de protocoles déployés. Ces analyses ont permis de découvrir des attaques compromettant la sécurité de ses protocoles\, mais également de proposer des solutions et de prouver que les versions corrigées de ses protocoles sont sécurisées. D’autre part\, je me suis intéressée à Tamarin\, un outil utilisé pour automatiser les preuves de sécurité. Comme les problèmes que Tamarin essaie de résoudre sont indécidables (il n’existe pas algorithme qui puisse toujours répondre à la question en un nombre fini d’étape); il arrive que certaines preuves ne puissent pas parvenir à une conclusion. Pour augmenter le nombre de preuves que Tamarin parvient à terminer\, j’ai proposé de nouveaux algorithmes adaptatifs d’exploration des preuves permettant à l’outil de reconnaître une mauvaise situation et d’essayer d’en sortir. Trois de ces algorithmes parviennent à des meilleurs résultats que la version actuelle. \n\nMots clés : analyse formelle\, protocoles cryptographiques\, preuves de protocoles\nJury\nPrésidente : \n\nPr. Marine Minier (Université de Lorraine\, Loria)\n\nRapporteurs : \n\nDr. Bruno Blanchet (Inria Paris)\nPr. Dr. Sjouke Mauw (University of Luxembourg)\n\nExaminateur: \n\nPr. Dr. Cas Cremers (CISPA)\n\nInvitées: \n\nDr. Myrto Arapinis (University of Edinburgh)\nDr. Stéphanie Delaune (Univ Rennes\, CNRS\, IRISA\, Rennes)\n\nDirecteurs de thèse: \n\nDr. Steve Kremer (Inria Nancy)\nDr. Jannik Dreier (Université de Lorraine\, Loria)
URL:https://www.loria.fr/event/soutenance-de-these-de-maiwenn-racouchot/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241212T140000
DTEND;TZID=Europe/Paris:20241212T160000
DTSTAMP:20260515T164944
CREATED:20241206T161426Z
LAST-MODIFIED:20241206T161426Z
UID:26990-1734012000-1734019200@www.loria.fr
SUMMARY:Habilitation à Diriger des Recherches : Guillaume Moroz (Gamble)
DESCRIPTION:Guillaume Moroz (Gamble) soutiendra son Habilitation à Diriger des Recherches le jeudi 12 décembre à 14 heures en salle C005 du Loria. \nSa présentation s’intitule Structures algébriques et approximations pour la résolution efficace de problèmes géométriques. \nComposition du jury :\n– Jean Cardinal (rapporteur)\, Université libre de Bruxelles\n– Mioara Joldes (rapportrice)\, Laboratoire d’analyse et d’architecture des systèmes (LAAS) de Toulouse\,\n– Bruno Salvy (rapporteur)\, Laboratoire de l’Informatique du Parallélisme (LIP) de Lyon\,\n– Stef Graillat\, Sorbonne Université\n– Marine Minier\, Université de Lorraine\n– Paul Zimmermann\, Centre Inria de l’Université de Lorraine \nRésumé :\nCe manuscrit présente des recherches à l’intersection du calcul formel et de la géométrie\nalgorithmique\, et leurs applications en robotique et en géométrie combinatoire. Il se\nconcentre sur les problèmes sous-jacents de l’évaluation de polynômes et de la\nrecherche des zéros réels de systèmes d’équations. Les travaux s’appuient sur trois\napproches principales : des techniques de réduction de dimension pour résoudre des\nsystèmes d’équations et décrire des courbes singulières ; la réduction des calculs\nredondants grâce à des algorithmes rapides d’évaluation multipoint\, conduisant à des\navancées dans des problèmes tels que le calcul de distances entre triangulations ; et le\ndéveloppement de méthodes d’approximation certifiées en réduisant la précision tout\nen maintenant des résultats corrects. Ces contributions ont conduit au développement\nd’un logiciel dédié pour les chercheurs en robotique\, ainsi qu’à des implantations à\nusage plus général d’algorithmes rapides d’évaluation multipoint de polynômes et de\nrecherche de racines.
URL:https://www.loria.fr/event/habilitation-a-diriger-des-recherches-guillaume-moroz-gamble/
LOCATION:C005\, Loria
CATEGORIES:HDR
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241212T150000
DTEND;TZID=Europe/Paris:20241212T170000
DTSTAMP:20260515T164944
CREATED:20241125T110031Z
LAST-MODIFIED:20241211T083936Z
UID:26953-1734015600-1734022800@www.loria.fr
SUMMARY:Soutenance de thèse de Pierre-Antoine Rault (Coast)
DESCRIPTION:Pierre-Antoine Rault (Coast) soutiendra sa thèse intitulée « Access control mechanisms for collaborative applications with no central authority » le 12 décembre à 15h en salle A008. \nRésumé\nDans un groupe dynamique d’utilisateurs qui collaborent\, les droits d’accès doivent souvent être différenciés à l’aide d’une politique de sécurité. Pour obtenir une disponibilité et une fiabilité élevées\, les systèmes peuvent répliquer cette politique de contrôle d’accès entre les appareils plutôt que de se reposer sur une authorité centrale. Cependant\, les modifications concurrentes et les partitionnements réseau peuvent rendre les données incohérentes d’un appareil à l’autre.\nDe plus en plus\, les types de données répliquées sans conflit (CRDT) sont utilisés pour prendre en charge les modifications simultanées des données en intégrant des stratégies de résolution des conflits. Des approches récentes ont utilisé les CRDT pour les politiques de contrôle d’accès\, mais avec plusieurs administrateurs capables de modifier simultanément la politique dans un environnement massivement collaboratif sans serveur central\, des divergences de la politique peuvent toujours se produire. Des désaccords sur l’état de la politique peuvent conduire à refuser des modifications sur certaines machines et à les accepter sur d’autres.\nNous concevons un modèle de contrôle d’accès pour les droits indépendants\, basé sur les CRDT et gérant les modifications de documents\, en présence de plusieurs administrateurs. Nous détaillons comment notre modèle de contrôle d’accès basé sur la CRDT est particulièrement adapté à la collaboration\, et fournissons un aperçu de ses algorithmes sous-jacents permettant le support de différents types de conflits avec un modèle sémantique causal permettant des stratégies flexibles de résolution de conflits. Nous étudions plusieurs cas problématiques d’édition concurrente de la politique par plusieurs administrateurs\, tout en maintenant l’intégrité du document par rapport à la politique de sécurité. La solution a été testée dans des situations limites et son implémentation de test est mise à disposition\, facilitant le développement de contrôle d’accès à destination d’application collaboratives distribuées futures.\n\nAbstract : In a dynamic group of collaborating users\, access rights often need to be differentiated using a security policy. To achieve a high availability and reliability\, systems can replicate this access control policy across devices instead of relying on a central authority. However\, concurrent modifications and group partitions may render the data incoherent across devices.\nIncreasingly\, Conflict-free Replicated Data Types (CRDTs) are used to support concurrent modifications on data by embedding conflict resolution strategies. Recent approaches have used CRDTs for access control policies\, but with multiple administrators able to concurrently edit the policy in a massively collaborative setting with no central server\, divergence of the policy can still occur. Disagreements on the policy state might lead to modifications being refused on some machines and accepted on other ones.\nWe devise a CRDT-based access control model for independent rights\, with a semantic causal model allowing flexible conflict resolution strategies that manages document modifications in the presence of multiple administrators. We detail how our CRDT-based access control model is particularly fit for collaboration\, and provide an outlook on its underlying algorithms aiding support admin conflict types. Moreover\, we provide as a novel implementation testing various critical cases\, aiming to facilitate the development of future distributed collaborative applications.\n\nMots clés : distributed algorithms\, access control\, CRDT (Conflict-free Replicated Data Type)\, eventual consistency\, semantic causality\nJury\nEncadrants :\n\nClaudia IGNAT\, Directrice de recherche\, Centre Inria de l’Université de Lorraine\, LORIA\nOlivier PERRIN\, Professeur des Universités\, Université de Lorraine\, LORIA\n\nRapporteurs : \n\nDiana BERBECARU\, Assistant Professeur des Universités\, Politecnico di Torino\nGuillaume PIERRE\, Professeur des Universités\, Université de Rennes\n\nExaminateurs.ices :\n\nIsabelle CHRISMENT\, Professeur des Universités\, Université de Lorraine\, LORIA\nFrançois TAIANI\, Professeur des Universités\, Université de Rennes
URL:https://www.loria.fr/event/soutenance-de-these-de-pierre-antoine-rault-coast/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241213T090000
DTEND;TZID=Europe/Paris:20241213T110000
DTSTAMP:20260515T164944
CREATED:20241127T154005Z
LAST-MODIFIED:20241127T154200Z
UID:26963-1734080400-1734087600@www.loria.fr
SUMMARY:Soutenance de thèse de Léo Valque (Gamble)
DESCRIPTION:Léo Valque (Gamble) soutiendra sa thèse intitulée « Arrondi de maillage en 3D » le 13 décembre à 9h en salle C005. \nRésumé\nLa plupart des algorithmes qui traitent des objets polygonaux en 3D utilisent des coordonnées où la précision est fixée pour les données d’entrée et de sortie. Cependant\, les opérations géométriques produisent souvent des coordonnées de sortie qui nécessitent une précision supérieure à celle des données d’entrée. Cet écart implique la nécessité d’arrondir les nouvelles coordonnées pour qu’elles correspondent à la précision des données d’entrée\, tout en préservant l’intégrité du modèle. Le problème critique que nous abordons est la suppression des auto-intersections dans les modèles 3D\, obtenue en subdivisant les faces le long de leurs intersections et en arrondissant les coordonnées résultantes\, tout en veillant à ce que le modèle reste exempt d’auto-intersections. Ce problème est connu sous le nom de « snap rounding problem ». Dans cette thèse\, nous présentons le premier algorithme pratique et certifié de snap rounding en 3D\, qui élimine avec succès les auto-intersections dans 94% des modèles présentants des auto-intersections de l’ensemble de données Thingi10K\, et démontrant ainsi son effictivité dans les applications du monde réel. En outre\, nous introduisons une heuristique non certifiée mais très efficace pour ce problème\, qui surpasse l’état de l’art actuel en résolvant avec succès toutes les auto-intersections dans l’ensemble de données Thingi10K.\n\n\nAbstract: Most algorithms for processing 3D polygonal objects use fixed-precision coordinates for both input and output data. However\, geometric operations often produce output coordinates that require higher precision than the input. This discrepancy implies the need for rounding new coordinates to match the precision of the input\, while preserving the integrity of the model. The critical problem we address is the removal of self-intersections in 3D models\, achieved by subdividing faces along their intersections and rounding the resulting coordinates\, while ensuring that the model remains free from self-intersections. This problem is known as the snap rounding problem. In this thesis\, we present the first practical and certified local 3D snap rounding algorithm\, which successfully eliminates self-intersections in 94% of the self-intersecting models in the Thingi10K dataset\, demonstrating its effectiveness in real-world applications. Additionally\, we introduce an uncertified yet highly efficient heuristic for this problem\, which outperforms previous state-of-the-art methods by successfully resolving all self-intersections in the Thingi10K dataset.\nJury\nEncadrant :\n\nSylvain Lazard\, INRIA Nancy Grand Est\, LORIA\n\nRapportrice et rapporteurs : \n\n\nJulie Digne CNRS\, LIRIS\n\n\nRaimund Seidel\, Universitat des Saarlandes\n\n\nExaminateurs et examinatrice :\n\n\nSébastien Loriot\, Geometry Factory\n\n\nAndré Lieutier\, retraité de Dassault Systèmes\n\n\nMarie-Odile Berger\, INRIA Nancy Grand Est\, LORIA
URL:https://www.loria.fr/event/soutenance-de-these-de-leo-valque-gamble/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241213T100000
DTEND;TZID=Europe/Paris:20241213T120000
DTSTAMP:20260515T164944
CREATED:20241210T131721Z
LAST-MODIFIED:20241210T131721Z
UID:27002-1734084000-1734091200@www.loria.fr
SUMMARY:Soutenance de thèse de Abir Bouaouda (Larsen)
DESCRIPTION:Abir Bouaouda (Larsen) soutiendra sa thèse intitulée « Apprentissage par renforcement pour le contrôle des robots parallèles à câbles » le 13 décembre à 10h en salle B013. \nRésumé\n\nDans cette thèse\, l’apprentissage par renforcement appliqué au contrôle des robots parallèles à câbles a été étudié. Cette catégorie de robots se distingue par sa dynamique complexe et la non-linéarité de son système\, offrant ainsi un cadre idéal pour l’implémentation d’algorithmes d’apprentissage par renforcement. Toutefois\, ces algorithmes nécessitent de vastes quantités de données pour apprendre la politique optimale\, ce qui n’est pas toujours réalisable dans des scénarios réels. Pour contourner cette limitation\, nous avons proposé une approche sim-to-real.\n\n\nMots clés : Appretissage par renforcement\,Robots prallèles à câbles\,de la simulation à la réalité\,Contrôle\,Appretissage profond\,Approche de bout en bout.\nJury\nEncadrants\n\nMohamed BOUTAYEB\, UNIVERSITE DE LORRAINE\nDominique MARTINEZ\, AIX MARSEILLE UNIVERSITE\n\nRapport.eur.rice.s \n\nGANGLOFF Jacques UNIVERSITE DE STRASBOURG\nMOUADDIB Abdel-Illah  UNIVERSITE DE CAEN NORMANDIE\n\nExaminat.eur.rice.s \n\nLABBANI-IGBIDA Ouiddad  UNIVERSITE DE LIMOGES\nMATIGNON Laetitia  UNIVERSITE LYON 1\nCHARPILLET François UNIVERSITE DE LORRAINE
URL:https://www.loria.fr/event/soutenance-de-these-de-abir-bouaouda-larsen/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241213T133000
DTEND;TZID=Europe/Paris:20241213T150000
DTSTAMP:20260515T164944
CREATED:20241209T151832Z
LAST-MODIFIED:20241209T151832Z
UID:26999-1734096600-1734102000@www.loria.fr
SUMMARY:D5 Seminar: Bio-inspired self-supervised learning of visual representations
DESCRIPTION:The next D5 Seminar\, « Bio-inspired self-supervised learning of visual representations » will be held by Arthur Aubret\, on Friday\, December 13 at 1:30 p.m. in room C005. \nAbstract:\nAbstract: Despite recent advances in self-supervised visual machine learning\, humans develop more robust representations with much fewer data. This may be explained by the fundamental differences between the development of their visual systems: while machine learning methods use massive amounts of i.i.d images\, humans actively move and interact with objects over time. In this talk\, I investigate how considering bio-inspired learning mechanisms can impact visual representations learning. I will provide evidence that modelling spatio-temporal regularities in egocentric visual sequences boosts the robustness of vision models. In addition\, I will explain how egocentric actions underpinning visual changes\, like eye saccades or object manipulations\, support object learning. Together\, these findings expose that the spatio-temporal structure and active nature of human visual experience may be key to develop strong semantic visual representations.
URL:https://www.loria.fr/event/d5-seminar-bio-inspired-self-supervised-learning-of-visual-representations/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241216T133000
DTEND;TZID=Europe/Paris:20241216T170000
DTSTAMP:20260515T164944
CREATED:20241115T092123Z
LAST-MODIFIED:20241211T132518Z
UID:26919-1734355800-1734368400@www.loria.fr
SUMMARY:[Atelier du Pôle AM2i] Calcul scientifique : passage à l'échelle.
DESCRIPTION:Le premier atelier du Pôle AM2i aura lieu le lundi 16 décembre à 13h30 dans l’amphithéâtre de la Présidence de l’Université de Lorraine\, sur le thème « Calcul scientifique : passage à l’échelle ». \nCet atelier propose d’échanger autour de la production de codes de calcul intensif (modélisation\, résolution de grands systèmes\, …). Seront présentés les moyens disponibles (plateformes locales et nationales\, logiciels\, formations)\,  ainsi que des méthodologies pour préparer ses codes en vue de le faire tourner sur des architectures de calcul « haute performance » (parallélisation\, GPU\, …).\n\nProgramme :\n13:30 – 14:10 Jérémie Gaïdamour – Techniques et outils utiles pour le calcul intensif\n14:10 – 14:50 Sylvain Contassot-Vivier –  Hiérarchie des ressources de calcul et stratégies de parallélisation\n14:50 – 15:30 Géraldine Pichot – Retours d’expérience sur le passage à l’échelle de codes de simulations pour l’hydrogéologie\n15:30 – 15:50 Pause café\n15:50 – 16:30 Simon Legrand – Pruners\, un outil pour faciliter vos études paramétriques\n16:30 – 17:10 Bruno Lévy – Systèmes linéaires sur GPU\n17:10 – 17:40 Moyens locaux de calcul\nJuan Carlos Lizardo Huerta – Le  mésocentre Explor\nThomas Lambert – Slices-fr et Abaca\nCet atelier est ouvert à toutes et tous\, novices comme utilisateurs chevronnés.\n\nL’inscription est gratuite mais obligatoire :\nhttps://evento.renater.fr/survey/atelier-calcul-scientifique-passage-a-l-echelle-du-pole-am2i-16-decembre-khlkcrr1
URL:https://www.loria.fr/event/atelier-du-pole-am2i-calcul-scientifique-passage-a-lechelle/
LOCATION:Amphithéâtre Présidence Léopold\, 34 Cours Léopold\, Nancy\, 54000\, France
CATEGORIES:Workshop
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241217T140000
DTEND;TZID=Europe/Paris:20241217T160000
DTSTAMP:20260515T164944
CREATED:20241204T091945Z
LAST-MODIFIED:20241205T084555Z
UID:26983-1734444000-1734451200@www.loria.fr
SUMMARY:Soutenance de thèse de Nima Mehdi (Larsen)
DESCRIPTION:Nima Mehdi (Larsen) soutiendra sa thèse intitulée « Approches probabilistes pour la perception et l’interprétation de l’activité humaine » le 17 décembre à 14h en salle A008. \nRésumé\n\nL’intégration des robots dans des environnements occupés par l’humain soulève la détection et la prise en compte de l’humain par le robot. En plus de simplement percevoir l’humain\, il est nécessaire que le robot puisse interpréter ces observations afin d’agir en conséquence. Cette capacité de percevoir et interpréter est particulièrement crucial dans le contexte de la robotique collaborative où le robot interagit directement avec l’humain.\nDans ce contexte\, la thèse se propose d’étudier des méthodes de modélisation et d’inférence bayésienne dans le but de développer des approches capables d’inférer une représentation de l’humain utile au robot\, en particulier sa pose 3D et son activité dans un contexte d’incertitude causée par le manque de connaissances que nous possédons sur l’humain et les limitations liées aux capteurs. Ainsi nous proposons dans un premier temps un filtre particulaire pour l’estimation de la pose 3D à partir de mesures inertielles et de la vidéo. Cette approche multimodale permet d’accomplir une fusion de données. Cependant le filtre particulaire est un processus coûteux en termes de calcul.\nNous proposons ainsi une architecture particulière de filtre particulaire permettant d’estimer la pose 3D à un coût calculatoire relativement faible. Cette architecture se compose de deux étapes\, la première estimant la posture de l’humain (configuration angulaire du corps)\, nous permettant ensuite de construire une distribution d’échantillonnage\nnous permettant d’estimer la pose 3D de l’humain dans le référentiel fixe\, permettant de localiser le corps complet dans l’espace. Dans une seconde proposition\, nous présentons une étude comparatives des modèles de Markov pour la prédiction d’activité future. Nous nous intéressons en particulier aux modèles semi-markoviens (HSMM) qui modélisent explicitement la temporalité de l’état.\nDans un scénario d’une séquence de tâches industrielles\, nous évaluons deux HSMMs particuliers afin de qualifier leur pertinence pour la prédiction de l’activité. Notre évaluation permet de montrer que les HSMMs peuvent constituer une approche sobre en terme d’apprentissage de l’activité humaine pour la prédiction.\nLes approches introduites ouvrent de nouvelles pistes pour l’utilisation de l’inférence bayésienne pour l’analyse de l’activité humaine\, en particulier\, l’utilisation des modèles d’état probabilistes pour l’inférence des systèmes dynamiques stochastiques.\n\n\nMots clés : Analyse de l’activité humaine\, Estimation de la pose humaine\, Prédiction d’activité humaine\, Modélisation bayésienne\, Robotique.\nJury\nEncadrants :\n\n\nFrancis Colas\, Inria\n\n\nSerena Ivaldi\, Inria\n\n\nVincent Thomas\, Université de Lorraine\n\n\nRapporteurs : \n\nSéverine DUBUISSON\, Université Aix-Marseille\nAnne SPALANZANI\, Université Grenoble-Alpes\n\nExaminateur : \n\nFrançois BRÉMOND\, Inria
URL:https://www.loria.fr/event/soutenance-de-these-de-nima-mehdi-larsen/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20241220
DTEND;VALUE=DATE:20241221
DTSTAMP:20260515T164944
CREATED:20241217T154650Z
LAST-MODIFIED:20241217T154650Z
UID:27033-1734652800-1734739199@www.loria.fr
SUMMARY:Soutenance de thèse : Florian Delconte (Adagio)
DESCRIPTION:Florian Delconte\, doctorant dans l’équipe Adagio\, soutiendra sa thèse intitulée « Détection et classification automatique des singularités sur l’écorce des arbres » le vendredi 20 décembre en salle C005. \nJury : \n\nIsabelle Debled-Rennesson\, Université de Lorraine\, Directrice de thèse.\nBertrand Kerautret\, Université Lyon 2\, Co-directeur de thèse.\nGilles Simon\, Université de Lorraine\, examinateur.\nAline Deruyver\, Université de Strasbourg\, examinatrice.\nPascal Desbarats\, Université de Bordeaux\, rapporteur.\nJonathan Weber\, Université de Haute Alsace\, rapporteur.
URL:https://www.loria.fr/event/soutenance-de-these-florian-delconte-adagio/
LOCATION:C005
CATEGORIES:Soutenance
END:VEVENT
END:VCALENDAR