BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.16.3//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
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241202T143000
DTEND;TZID=Europe/Paris:20241202T163000
DTSTAMP:20260608T135800
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:20260608T135800
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:20260608T135800
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:20260608T135800
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:20260608T135800
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:20260608T135800
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:20260608T135800
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:20260608T135800
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:20260608T135800
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:20260608T135800
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:20260608T135800
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:20260608T135800
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:20260608T135800
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:20260608T135800
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:20260608T135800
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
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250107T130000
DTEND;TZID=Europe/Paris:20250107T150000
DTSTAMP:20260608T135800
CREATED:20241211T134814Z
LAST-MODIFIED:20241211T134814Z
UID:27006-1736254800-1736262000@www.loria.fr
SUMMARY:Department 2 seminar: Alejandro Díaz-Caro (Mocqua team)
DESCRIPTION:Next Formal Methods Seminar (D2 seminar) will take place on January 7th at 1pm in room A008. \nAlejandro Díaz Caro (Mocqua) Will give a presentation entitled Sup\, Sum\, and Scalars: In Linear Logic and in Non-Linear Logic. \nAbstract:\nIn [1]\, we introduced a new connective\, called « sup »\, to intuitionistic\npropositional logic to model information erasure\, non-reversibility\, and\nnon-determinism\, as observed in quantum measurement\, among other\ncontexts. This connective features the introduction rule of conjunction\nand the elimination rule of disjunction\, resulting in a\nnon-deterministic cut-elimination process. To enrich its proof terms\, we\nadded a sum operator\, which allows for recovering the determinism of the\nconnective. Additionally\, since one of our goals was to express quantum\nprograms\, we introduced a scalar product. These rules may occupy the\nspace between the introduction and elimination of a given connective\,\nforcing us to include commuting cuts to establish a proper introduction\ntheorem.\nThe next step toward transforming this calculus into a quantum calculus\nwas to adopt a linear logic framework. Thus\, in [2]\, we considered the\nfull intuitionistic multiplicative-additive linear logic (IMALL). We\nproved that\, when removing the sup connective\, the system–augmented\nwith sums and scalar multiplication–is linear in the algebraic sense.\nSpecifically\, any term t applied to a linear combination a⋅r+b⋅s is\nobservationally equivalent to a⋅(tr)+b⋅(ts).\nIn [3]\, we provided an abstract characterization of the sup connective\nin IMALL\, showing that any symmetric monoidal closed category with\nbiproducts and a monomorphism from the semiring of scalars to the\nsemiring Hom(I\,I) is a suitable model. By leveraging the binary\nbiproducts\, we defined a weighted codiagonal map\, which serves as the\ncore of the sup connective.\nFinally\, in [4]\, we considered two non-linear systems: first\, with the\nsum operator alone as a parallel operator\, and second\, with the\ncombination of the sum and scalar operators as an algebraic lambda\ncalculus. We proposed two categorical models for these calculi. In\nparticular\, we explored the role of disjunction within the calculus\,\nwhich has rarely been studied in conjunction with the parallel (or sum)\nconstruct. For the parallel lambda calculus\, we employed the category\nMagSet\, whose objects are magmas and whose morphisms are functions from\nthe category Set. For the algebraic lambda calculus\, we used the\ncategory AMagSSet\, whose objects are action magmas\, with morphisms\nsimilarly drawn from Set. Our approach diverges from conventional\ninterpretations\, which typically handle disjunctions via coproducts.\nInstead\, we proposed handling them through a combination of disjoint\nunions and Cartesian products.
URL:https://www.loria.fr/event/department-2-seminar-alejandro-diaz-caro-mocqua-team/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250121T130000
DTEND;TZID=Europe/Paris:20250121T140000
DTSTAMP:20260608T135800
CREATED:20250110T112405Z
LAST-MODIFIED:20250110T112405Z
UID:27063-1737464400-1737468000@www.loria.fr
SUMMARY:SSL - Loria Security Seminar - Nils Ole Tippenhauer (CISPA)
DESCRIPTION:Next SSL – Loria Security Seminar will take place on Tuesday\, 21st January at 1pm in room A008. \nNils Ole Tippenhauer\, researcher at CISPA\, will talk about reversing and testing cyber-physical systems.  \nTitle: Reversing and Testing Cyber-Physical Systems \nAbstract: Cyber-Physical Systems such as Industrial Control Systems\, Drones\, and Autonomous Vehicles rely on digital control of a physical process. Adversarial manipulation of such systems can result in physical damage to the system\, or the environment. The underlying embedded systems run (often proprietary) firmware on bare metal\, interacting with a range of peripherals. Security assessment of such systems by their operators\, vendors\, and attackers is challenging for various reasons. In this talk\, I will go over some of those challenges\, and discuss recent ongoing work in the direction of reversing\, rehosting\, and fuzzing of such systems. \nBio: Nils is a faculty at the CISPA Helmholtz Center for Information Security\, heading the SCy-Phy research group. Prior to joining CISPA in 2018\, he was an Assistant Professor at the Singapore University of Technology and Design (SUTD). Nils earned his Dr. Sc. in Computer Science from ETH Zurich (Switzerland) in 2012.  His research is broadly on information security aspects of practical systems. In particular\, he is am currently working on security of cyber-physical systems such as drones\, vehicles\, and industrial control systems. \nAhh the information about the seminar is on the SSL website.
URL:https://www.loria.fr/event/ssl-loria-security-seminar-nils-ole-tippenhauer-cispa/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250204T130000
DTEND;TZID=Europe/Paris:20250204T140000
DTSTAMP:20260608T135800
CREATED:20250122T135322Z
LAST-MODIFIED:20250122T135849Z
UID:27108-1738674000-1738677600@www.loria.fr
SUMMARY:[Formal Methods Seminar] The Squirrel Prover
DESCRIPTION:The next D2 seminar\, entitled “The Squirrel Prover”\, by Charlie Jacomme\, will be held on February 4 at 1:00 pm in room A008. \nAbstract\nThe Squirrel Prover is a proof assistant dedicated to cryptographic protocols. It relies on a higher-order logic following the computationally complete symbolic attacker approach. It thus provides guarantees in the computational model. In this talk\, we will introduce the main ingredients underlying its logic and proof system\, trying to outline why it does yield computational guarantees and how it allows to reason over protocols. We will then cover the current development status of Squirrel\, showcasing its current features and expressivity. \nMore information on the department’s website
URL:https://www.loria.fr/event/formal-methods-seminar-the-squirrel-prover/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250204T170000
DTEND;TZID=Europe/Paris:20250204T200000
DTSTAMP:20260608T135800
CREATED:20250128T144749Z
LAST-MODIFIED:20250128T144827Z
UID:27212-1738688400-1738699200@www.loria.fr
SUMMARY:Démystifiez les enjeux de l’IA avec le club ORION "RESAIA"
DESCRIPTION:Le Club ORION « RESAIA » vous invite à une conférence unique d’initiation à l’intelligence artificielle\, labellisée par le prestigieux Sommet pour l’Action sur l’IA ! Cet événement offre une approche interdisciplinaire pour explorer les enjeux de cette révolution technologique. \n\n\n\n\nDans un monde où l’intelligence artificielle révolutionne déjà nos façons de vivre\, de travailler et d’interagir\, cette conférence propose une exploration unique des perspectives qu’elle soulève. Alliant des perspectives techniques et juridiques\, elle vise à démystifier cette technologie souvent perçue comme complexe et à ouvrir le dialogue sur ses implications. \nQue vous soyez curieux\, novice ou déjà initié\, cette rencontre a été pensée pour vous offrir une vision claire et globale des défis et des opportunités de l’IA. Vous aurez l’occasion de : \n\nComprendre le fonctionnement de l’IA et ses applications concrètes dans divers domaines.\nComprendre les cyberattaques à l’ère de l’intelligence artificielle.\nDécouvrir les cadres éthiques et juridiques nécessaires pour un développement responsable et sécurisé de cette technologie.\nParticiper à une réflexion collective sur la manière d’aligner l’intelligence artificielle sur des valeurs fondamentales : la confiance\, l’équité et la dignité humaine.\n\nPourquoi participer ?\nL’intelligence artificielle n’est pas seulement un sujet réservé aux experts : elle touche déjà à des aspects essentiels de nos vies. Cette conférence se veut un espace d’échange et de sensibilisation\, ouvert à tous\, afin de vous permettre de mieux appréhender son impact sur notre société et de contribuer à une vision où l’IA est mise au service de l’intérêt général. \nEt après ?\nCet événement s’inscrit également dans une démarche de co-construction : il invite à la diffusion de réflexions scientifiques et à la création de solutions partagées pour un déploiement inclusif et responsable de l’IA. \nNe manquez pas cette opportunité unique de plonger au cœur de l’IA ! \nEntrée libre sur inscription obligatoire \nLa conférence sera également accessible en ligne (veillez à bien vous inscrire afin de recevoir le lien Teams le jour de l’événement). \nS’inscrire \n\n\n\nProgramme détaillé à venir
URL:https://www.loria.fr/event/demystifiez-les-enjeux-de-lia-avec-le-club-orion-resaia/
LOCATION:Maison des Sciences de l’Homme\, 91 avenue de la Libération\, Nancy\, 54000\, France
CATEGORIES:Événement grand public
ATTACH;FMTTYPE=image/png:https://www.loria.fr/wp-content/uploads/factuel_vignette_resaia3.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250206T090000
DTEND;TZID=Europe/Paris:20250206T110000
DTSTAMP:20260608T135800
CREATED:20250120T144808Z
LAST-MODIFIED:20250120T145211Z
UID:27086-1738832400-1738839600@www.loria.fr
SUMMARY:Soutenance de thèse : Louis Abel (Multispeech)
DESCRIPTION:Louis Abel\, doctorant dans l’équipe Multispeech\, soutiendra sa thèse intitulée « Co-speech gesture synthesis: towards a controllable and interpretable model using a graph deterministic approach » le jeudi 6 février\, à 9h en salle C005. \nRésumé\nLa communication humaine ne passe pas que par les mots : les gestes jouent un rôle clé en apportant clarté\, émotions et idées. Pourtant\, les voix artificielles\, bien qu’évoluées\, manquent souvent de ce langage corporel\, rendant les interactions moins naturelles. Pour résoudre ce problème\, nous avons créé STARGATE\, un système qui génère des gestes synchronisés avec la parole. En combinant audio et texte\, il produit des gestes naturels et peut même adapter le style selon le locuteur désigné. \nSTARGATE surpasse les modèles précédents en terme de naturel et d’adéquation. Rapide et efficace\, il est prêt pour un usage en temps réel. Une analyse approfondie a montré que le système comprend le lien entre texte et gestes\, ouvrant la voie à des applications prometteuses\, comme des assistants virtuels plus engageants ou des outils pour enrichir la communication multimodale. \nJury :\nEncadrants \n\nSlim OUNI\, Directeur de thèse\, Université de Lorraine\nVincent COLOTTE\, Co-directeur de thèse\, Université de Lorraine\n\nRapporteurs\n\n\nJonas BESKOW\, Rapporteur\, KTH\, Suède\nMohamed DAOUDI\, Rapporteur\, IML Nord Europe\, France\n\n\nExaminatrices\n\nIsabelle Debled-Rennesson\, Université de Lorraine\nMagalie OCHS\, LIS-LAB\, France
URL:https://www.loria.fr/event/soutenance-de-these-louis-abel-multispeech/
LOCATION:C005
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250208T140000
DTEND;TZID=Europe/Paris:20250208T153000
DTSTAMP:20260608T135800
CREATED:20250127T084023Z
LAST-MODIFIED:20250127T171240Z
UID:27133-1739023200-1739028600@www.loria.fr
SUMMARY:Conférence-débat IA de l'espoir
DESCRIPTION:Rendez-vous le samedi 8 février à 14 heures au Muséum Aquarium de Nancy pour la conférence-débat « IA de l’espoir ».\nParlons Intelligence Artificielle avec : \n\nÉmilie Masson\, déléguée adjointe à la protection des données\, Inria\nSamuel Nowakowski\, enseignant-chercheur\, Université de Lorraine\, Loria\nQuelques sujets abordés :\n– Intelligence Artificielle : de quoi parle t-on ? D’où cela vient ? Comment cela fonctionne ?\n– Quid de l’atteinte à la vie privée ? Prédation des données\, plagiat\, biais … ?\n– L’IA menace-t-elle notre vie privée ?\n– Une autre IA est possible\, adaptée aux besoins des humains et respectueuse du vivant.\n\nInformations pratiques : \n\nSamedi 8 février 2025\n14h – 15h30\nOuverture des portes à 13h30\nMuséum-Aquarium\, Amphithéâtre Cuénot – 13 rue Godron\, Nancy\nInscription gratuite mais obligatoire sur ce lien.\n\nCet événement est organisé dans le cadre du Sommet pour l’action sur l’Intelligence Artificielle qui se déroulera en France\, à Paris\, les 10 et 11 février 2025. \nIl est soutenu et financé par le Cluster IA « ENACT » et est labellisé « Café IA  » par le Conseil national du numérique. \nLe consortium ENACT est porté par l’Université de Lorraine. Il regroupe des acteurs de la recherche\, de la formation et de l’innovation de la Région Grand Est : l’Université de Strasbourg\, Inria\, le CNRS\, l’Inserm\, le Centre Hospitalier Régional Universitaire de Nancy et les Hôpitaux Universitaires de Strasbourg. Il est également soutenu par la Région Grand Est\, la Métropole du Grand Nancy\, l’Eurométropole de Strasbourg et une cinquantaine d’entreprises de la région.
URL:https://www.loria.fr/event/conference-debat-ia-de-lespoir/
LOCATION:Amphithéâtre Cuénot du Muséum Aquarium de Nancy\, 13 rue Godron\, Nancy
CATEGORIES:Événement grand public
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250212T143000
DTEND;TZID=Europe/Paris:20250212T160000
DTSTAMP:20260608T135800
CREATED:20241104T131203Z
LAST-MODIFIED:20250123T133105Z
UID:26834-1739370600-1739376000@www.loria.fr
SUMMARY:[Projection-débat] Science-fiction et intelligence artificielle
DESCRIPTION:À travers la (re)découverte de films emblématiques de la science-fiction des années 50 à aujourd’hui\, il vous est proposé une approche cinématographique du lien entre l’Humain et les machines (intelligentes) et plus particulièrement les robots. \nCette projection-débat aura lieu à l’Agora (4 rue Théodore de Garguan) à Metz. \nIntervenants : Nicolas Dupuy\, docteur en physicochimie moléculaire\, passionné de science-fiction & Alain Dutech\, chercheur Inria au Loria (CNRS\, Université de Lorraine). \nEntrée libre et gratuite ⏐ Public adolescent et adulte \n\n☞ Cet événement aura lieu également : \n\nMercredi 19 février à 14h30\, à l’espace Saint-Nicolas (5 rue Saint-Nicolas)\, à Thionville.\nJeudi 27 février à 14h30\, au Centre culturel Pierre Messmer (1 rue de la Chapelle)\, à Saint-Avold.
URL:https://www.loria.fr/event/projection-debat-science-fiction-et-intelligence-artificielle/
LOCATION:l’Agora\, 4 rue Théodore de Garguan\, Metz
CATEGORIES:Événement grand public
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250212T150000
DTEND;TZID=Europe/Paris:20250212T170000
DTSTAMP:20260608T135800
CREATED:20250204T151443Z
LAST-MODIFIED:20250205T125430Z
UID:27268-1739372400-1739379600@www.loria.fr
SUMMARY:Soutenance HDR de Pierre-Jean Spaenlehauer
DESCRIPTION:La soutenance HDR de Pierre-Jean Spaenlehauer \, intitulée « Fast algebraic algorithms for arithmetic geometry and polynomial systems » aura lieu mercredi 12 février à 15h00 en salle A008.\n \nRésumé\n\nLe dénominateur commun de mes recherches est l’étude d’objets géométriques par le biais du calcul symbolique et algébrique\, en ayant pour boussole des applications pratiques en cryptographie. \nUn premier volet de mes travaux incorpore une part importante d’arithmétique et de théorie algorithmique des nombres\, via l’étude des courbes (hyper)elliptiques\, des variétés abéliennes et des modules de Drinfeld. Plus précisément\, on s’intéresse aux problèmes de comptage de points sur les courbes hyperelliptiques définies sur des corps finis\, à l’algorithmique des isogénies de modules de Drinfeld\, et au calcul d’espaces de Riemann-Roch sur des courbes algébriques nodales. \nLe deuxième volet de mes recherches se concentre sur les systèmes polynomiaux et leur algorithmique. Nous étudions le calcul de points critiques de fonctions polynomiales par des méthodes algébriques et numériques\, avec un focus sur le problème de l’approximation de faible rang structurée. Nous nous intéressons également à des méthodes combinatoires pour construire des familles de systèmes qui ont peu de monômes mais beaucoup de solutions réelles positives. Enfin\, nous présentons quelques résultats récents sur les systèmes polynomiaux avec des structures monomiales du point de vue de la géométrie torique. \n\nJury\n\nLaurent Busé (rapporteur)\, Centre Inria d’Université Côte d’Azur\nWouter Castryck (rapporteur)\, KU Leuven\nJean-Marc Couveignes (rapporteur)\, Université de Bordeaux\nAlin Bostan\, Centre Inria de Saclay\nKirsten Eisenträger\, Pennsylvania State University\nPierrick Gaudry\, CNRS\, LORIA\nEmmanuel Jeandel\, Université de Lorraine
URL:https://www.loria.fr/event/soutenance-hdr-de-pierre-jean-spaenlehauer/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250219T143000
DTEND;TZID=Europe/Paris:20250219T160000
DTSTAMP:20260608T135800
CREATED:20241104T131554Z
LAST-MODIFIED:20241104T132132Z
UID:26841-1739975400-1739980800@www.loria.fr
SUMMARY:[Projection-débat] Science-fiction et intelligence artificielle
DESCRIPTION:À travers la (re)découverte de films emblématiques de la science-fiction des années 50 à aujourd’hui\, il vous est proposé une approche cinématographique du lien entre l’Humain et les machines (intelligentes) et plus particulièrement les robots. \nCette projection-débat aura lieu dans l’espace Saint-Nicolas (5 rue Saint-Nicolas)\, à Thionville. \nIntervenants : Nicolas Dupuy\, docteur en physicochimie moléculaire\, passionné de science-fiction & Alain Dutech\, chercheur Inria au Loria (CNRS\, Inria\, Université de Lorraine). \nEntrée libre et gratuite ⏐ Public adolescent et adulte \n\n☞ Cet événement aura lieu également : \n\nJeudi 27 février à 14h30\, dans le Centre culturel Pierre Messmer (1 rue de la Chapelle)\, à Saint-Avold.
URL:https://www.loria.fr/event/projection-debat-science-fiction-et-intelligence-artificielle-2/
LOCATION:Espace Saint-Nicolas\, 5 rue Saint-Nicolas\, Thionville
CATEGORIES:Événement grand public
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250227T143000
DTEND;TZID=Europe/Paris:20250227T160000
DTSTAMP:20260608T135800
CREATED:20241104T131938Z
LAST-MODIFIED:20241104T131938Z
UID:26848-1740666600-1740672000@www.loria.fr
SUMMARY:[Projection-débat] Science-fiction et intelligence artificielle
DESCRIPTION:À travers la (re)découverte de films emblématiques de la science-fiction des années 50 à aujourd’hui\, il vous est proposé une approche cinématographique du lien entre l’Humain et les machines (intelligentes) et plus particulièrement les robots. \nCette projection-débat aura lieu dans le Centre culturel Pierre Messmer (1 rue de la Chapelle)\, à Saint-Avold. \nIntervenants : Nicolas Dupuy\, docteur en physicochimie moléculaire\, passionné de science-fiction & Alain Dutech\, chercheur Inria au Loria (CNRS\, Inria\, Université de Lorraine). \nEntrée libre et gratuite ⏐ Public adolescent et adulte
URL:https://www.loria.fr/event/projection-debat-science-fiction-et-intelligence-artificielle-3/
LOCATION:Centre culturel Pierre Messmer\, 1 Rue de la Chapelle\, Saint-Avold\, 57606
CATEGORIES:Événement grand public
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250227T190000
DTEND;TZID=Europe/Paris:20250227T203000
DTSTAMP:20260608T135800
CREATED:20250213T095642Z
LAST-MODIFIED:20250213T095642Z
UID:27532-1740682800-1740688200@www.loria.fr
SUMMARY:Cycle Sciences et Société : Emmanuel Thomé (Caramba)
DESCRIPTION:La prochaine conférence du Cycle Sciences et Société aura lieu le 27 février à l’IUT Charlemagne (Nancy)\, avec Emmanuel Thomé\, directeur de recherche Inria au Loria. \nMultiplier\, Factoriser : des nombres premiers aux codes secrets\nDès qu’on l’utilise\, notre carte bancaire réalise des opérations qui prendraient des années s’il fallait les mener à la main. Pourtant\, on parle dans un tel cas de « petits calculs ». On verra comment le calcul (qui est au moins aussi ancien que l’écriture!) a largement progressé depuis les sumériens\, et aussi les moyens qu’il faut déployer pour factoriser des entiers\, c’est-à-dire percer les secrets de la carte bancaire ainsi que bien d’autres. \nPlus d’informations sur le site du Cycle Sciences et Société.
URL:https://www.loria.fr/event/cycle-sciences-et-societe-emmanuel-thome-caramba/
LOCATION:Amphi Botté de l’IUT Charlemagne
CATEGORIES:Conférence
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250228T103000
DTEND;TZID=Europe/Paris:20250228T120000
DTSTAMP:20260608T135800
CREATED:20250131T132628Z
LAST-MODIFIED:20250204T090445Z
UID:27256-1740738600-1740744000@www.loria.fr
SUMMARY:D5 Seminar: Interactive molecular visualization and simulation
DESCRIPTION:The next D5 Seminar\, « Interactive molecular visualization and simulation: examples with UDock and VTX » will be held by Pr. Matthieu Montes\, from Le CNAM\, laboratory of Génomique\, bioinformatique et chimie moléculaire (GBCM). The event will take place on Friday\, February 28 at 10:30 a.m. in room A008. \nAbstract:\nUDock (available at https://udock.fr and on gitlab): Originally developed to gamify protein-protein docking\, UDock is now an interactive multibody molecular docking software designed to explore protein interactions for research purposes but also for teaching and popularization of science due to its high usability. In UDock\, the users tackle the conformational space of protein interfaces using an intuitive real-time docking procedure with on-the-fly scoring. UDock2 integrates traditional computer graphics methods to facilitate the visualization and to provide better insight into protein surfaces\, interfaces\, and properties. \n VTX (available at http://vtx.drugdesign.fr and on github)\, is a high-performance molecular visualization software. VTX is optimized to handle efficiently the big data from High Performance Computing Molecular Dynamics Simulation. Its high-performance 3D engine includes cutting-edge computer graphics methods capable of handling large and dynamic molecular scenes on a standard laptop computer. It also offers a video game based minimalistic task-oriented graphical user interface to maximize its usability and comfort of use.
URL:https://www.loria.fr/event/d5-seminar-interactive-molecular-visualization-and-simulation/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250304T130000
DTEND;TZID=Europe/Paris:20250304T140000
DTSTAMP:20260608T135800
CREATED:20250122T135651Z
LAST-MODIFIED:20250122T135802Z
UID:27111-1741093200-1741096800@www.loria.fr
SUMMARY:[Formal Methods Seminar] A scalable framework for backward bounded static symbolic execution
DESCRIPTION:The next D2 seminar\, entitled “A scalable framework for backward bounded static symbolic execution”\, by Nicolas Bellec\, will be held on March 4 at 1:00 pm in room A008. \nAbstract\nMany programs (e.g. malware) hide their behavior by using obfuscations such as opaque predicates. Automatic methods have been developed to detect such obfuscations. In this presentation\, we will focus on static symbolic backward bounded execution\, a method that enumerates backward bounded paths from a potential opaque predicate and uses symbolic execution to check whether all enumerated paths have the same predicate value. \nWe’ll show how this method can be generalized using a lattice-based framework and how to scale up such methods to efficiently analyze whole programs. \nMore information on the department’s website
URL:https://www.loria.fr/event/formal-methods-seminar-3/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250304T140000
DTEND;TZID=Europe/Paris:20250304T160000
DTSTAMP:20260608T135800
CREATED:20250225T085313Z
LAST-MODIFIED:20250225T085313Z
UID:27637-1741096800-1741104000@www.loria.fr
SUMMARY:Soutenance HDR d'Abdelkader Lahmadi
DESCRIPTION:La soutenance HDR d’Abdelkader Lahmadi\, intitulée « Contributions to the monitoring and security of networked systems » aura lieu mardi 4 mars à 14h00 en salle B013. \nRésumé\n\nLes systèmes en réseau constituent la pierre angulaire de nombreuses infrastructures essentielles\, allant du cloud aux réseaux de contrôle industriel\, ainsi qu’à l’Internet des objets (IoT). Ces systèmes se coordonnent entre eux pour accomplir des tâches et des services complexes à valeur ajoutée. Dans ce contexte\, l’objectif de mes travaux porte sur le développement de nouvelles approches de monitorage et de renforcement de la sécurité pour ces systèmes.\nUn premier axe de travail s’est focalisé sur de nouvelles techniques basées sur l’apprentissage par renforcement\, pour un monitorage adaptatif et à faible coût dans les réseaux IoT. Ces approches ont été étendues aux dispositifs mobiles afin de générer automatiquement des fonctions et des politiques de sécurité déployées dans le cloud ou sur les équipements\, garantissant ainsi une meilleure sécurité et une utilisation optimisée des ressources.\nUn deuxième axe porte sur l’analyse des attaques furtives dans les systèmes de contrôle distribués. Nous avons conçu et mis en œuvre une méthode permettant de détecter avec une grande précision ces attaques\, en exploitant des techniques d’apprentissage automatique.\nUn troisième axe a été consacré à la répartition et à la distribution automatiques d’une politique de sécurité dans les réseaux programmables\, tout en respectant les contraintes de leurs ressources limitées. En particulier\, nos algorithmes permettent une meilleure distribution de ces règles de sécurité sans surcoût\, tout en conservant la sémantique de la politique initiale.\nJury \n\n\nValérie Viet Triem Tong (rapporteuse)\, CentraleSupélec\nPhilippe Owezarski (rapporteur)\, CNRS\, LAAS\nMarcelo Dias De Amorim (rapporteur)\, CNRS\, LIP6\nGuillaume Doyen\, IMT Atlantique\nIsabelle Chrisment\, Université de Lorraine\, Inria\nMarine Minier\, Université de Lorraine
URL:https://www.loria.fr/event/soutenance-hdr-dabdelkader-lahmadi/
LOCATION:B013
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250304T150000
DTEND;TZID=Europe/Paris:20250304T170000
DTSTAMP:20260608T135800
CREATED:20250225T084905Z
LAST-MODIFIED:20250225T084905Z
UID:27635-1741100400-1741107600@www.loria.fr
SUMMARY:Soutenance HDR de Damien Jamet
DESCRIPTION:La soutenance HDR de Damien Jamet\, intitulée « Combinatoire des mots\, géométrie discrète et théorie des nombres » aura lieu mardi 4 mars à 15h00 en salle C005. \nRésumé\n\nMes travaux de recherche se situent à l’intersection de l’informatique théorique et des mathématiques discrètes. Ils mêlent des thématiques comme la combinatoire des mots\, la géométrie discrète\, les systèmes dynamiques\, la théorie des nombres et plus récemment la théorie des probabilités. \nEn combinatoire des mots\, je me suis intéressé aux propriétés combinatoires de suites dérivées de la suite d’Oldenburger\, les mots lisses et les suites dirigées. Ces travaux prolongent la question posée par Keane (1991) sur les fréquences d’occurrences dans la suite d’Oldenburger. Nous nous sommes également intéressés à la caractérisation exhaustive des points fixes de l’opérateur de clôture pseudopalindromique itérée\, opérateur généralisant celui de clôture palindromique (itérée) introduit par Aldo de Luca en 1997. \nEn géométrie discrète\, mes travaux se sont principalement focalisé sur la détermination de l’épaisseur connectante des plans discrets et sur la génération des plans discrets d’épaisseur critique dont le vecteur normal ne possède que des composantes entières. \nLa troisième partie de mes travaux est consacrée à des problèmes d’énumération en combinatoire des mots\, en géométrie discrète ou à l’intersection des deux. \nEnfin\, une dernière partie de mes travaux a consisté à fournir une approche partiellement informatique pour caractériser les entiers impairs dont la somme des chiffres binaires coı̈ncide avec celle de leur carré. \n\nJury\n\nÉlise Janvresse (rapporteuse)\, Université de Picardie Jules Verne\nChristophe Reutenauer (rapporteur)\, Université du Québec à Montréal\nWolfgang Steiner (rapporteur)\, CNRS et Université Paris-Cité\n\n\nBernardetta Addis\, Université de Lorraine\nMarie-Pierre Béal\, Université Gustave Eiffel\nEmmanuel Jeandel\, Université de Lorraine\nThierry Lecroq\, Université de Rouen Normandie\nMichel Rigo\, Université de Liège\n\n\nSrecko Brlek (invité)\, Université du Québec à Montréal
URL:https://www.loria.fr/event/soutenance-hdr-de-damien-jamet/
LOCATION:C005
CATEGORIES:Soutenance
END:VEVENT
END:VCALENDAR