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:Events for 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: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:20251103T100000
DTEND;TZID=Europe/Paris:20251103T193000
DTSTAMP:20260516T041239
CREATED:20251006T095337Z
LAST-MODIFIED:20251006T095703Z
UID:28532-1762164000-1762198200@www.loria.fr
SUMMARY:Journée scientifique du pôle AM2I
DESCRIPTION:L’équipe de géométrie de l’IECL et l’équipe-projet SiMul du CRAN organisent le 3 novembre prochain une journée commune du pôle AM2I\, dédiée à la géométrie des variétés de tenseurs et à leurs applications. \nCette journée de conférence se veut une introduction à cette thématique en plein essor\, à l’intersection entre la géométrie algébrique et les applications à des domaines variés (machine learning\, traitement du signal\, statistiques algébriques\, robotique…). \nBien que destinés en premier lieu aux membres de l’IECL et de SiMul\, les exposés seront en partie accessibles à un plus large public scientifique. \nProgramme de la journée et les abstracts des orateurs à cette adresse. \nL’événement aura lieu à l’IECL (Institut Élie Cartan de Lorraine) – à Vandœuvre-lès-Nancy \nInscription via ce questionnaire avant le 15 octobre. \nUn dîner en centre-ville sera organisé le soir. \n\n.
URL:https://www.loria.fr/event/https-cran-simul-github-io-tensors-geometry-workshop/
LOCATION:IECL\, Salle de Conférences
CATEGORIES:Workshop
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251103T133000
DTEND;TZID=Europe/Paris:20251107T163000
DTSTAMP:20260516T041239
CREATED:20250909T132831Z
LAST-MODIFIED:20250909T142759Z
UID:28389-1762176600-1762533000@www.loria.fr
SUMMARY:QCOMICAL School 2025
DESCRIPTION:Quantum and Classical Programming Languages and Semantics.\n\n\nThe first QCOMICAL School provides a range of intensive courses and tutorials covering quantum computing and classical computing\, with a focus on programming language theory and formal semantics. These courses are delivered by leading researchers from the EU-funded QCOMICAL project (Marie Skłodowska-Curie Staff Exchanges). \n\nCOURSES :\n\n\n\nTutorial : Introduction to Quantum Computing — Simon Perdrix (Inria / LORIA)\nTutorial : Introduction to ZX Calculus — Miriam Backens (Inria / LORIA)\nQuantum Programming Languages — Benoît Valiron (CentraleSupélec)\nQuantum Linear Optics — Timothée Goubault de Brugière (Quandela)\nRealisability — Emmanuel Beffara (Université Grenoble Alpes)\nConcurrency — Michele Pinna (Università degli Studi di Cagliari)\nQuantitative Types — Pablo Barenbaum (Universidad de Buenos Aires)\n\n\nORGANISING COMMITTEE :\n– Kostia Chardonnet (Inria / LORIA)\n– Alejandro Díaz-Caro (Chair\, Inria / LORIA & UNQ)\n– Simon Perdrix (Inria / LORIA)\n\n– Benoît Valiron (CentraleSupélec) \n\nFUNDING :\n\n\nThe school is funded by the European Union through the Marie Skłodowska-Curie Actions – Staff Exchanges programme (MSCA-SE). \n\nREGISTRATION :\n\n\n* Free of charge; seats allocated on a first-come\, first-served basis.\n\n* Coffee breaks are included. Travel\, accommodation\, and lunches are at participants’ expense. \n\n  \n\n\n\n\nLink for registration : https://sondages.inria.fr/index.php/668754?lang=en
URL:https://www.loria.fr/event/qcomical_school_2025/
LOCATION:Loria
CATEGORIES:Conférence
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251112T140000
DTEND;TZID=Europe/Paris:20251112T160000
DTSTAMP:20260516T041239
CREATED:20251023T101713Z
LAST-MODIFIED:20251023T101713Z
UID:28605-1762956000-1762963200@www.loria.fr
SUMMARY:DeepLorIA Tutorial: Yaya Si
DESCRIPTION:Next DeepLorIA tutorial will take place on Wednesday\, November 12th with Yaya Si (PhD candidate)\, with a presentation entitled Language Modeling Approaches to Speech Generation for Low-Resource Languages.\n\n\nAfter a brief overview of the history and motivation behind language modeling approaches to speech generation\, we will examine the challenges these methods face in low-resource scenario. The lab will focus on building high-quality datasets for under-represented languages and developing a text-to-speech model using recent advances in language modeling for speech generation.\n\n\n\nDate: November 12\, 2025\nTime: Theory: 14:00 – 14:50 / Coffee 14:50 – 15:10 / Lab 15:10 – 16:00\nLocation: Nancy-Salle A008 Jean Legras\nInstructor: Yaya Si\, Ph.D. Candidate\n\n\n\n? Register here
URL:https://www.loria.fr/event/deeploria-tutorial-yaya-si/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251113T140000
DTEND;TZID=Europe/Paris:20251113T160000
DTSTAMP:20260516T041239
CREATED:20251113T083423Z
LAST-MODIFIED:20251113T083423Z
UID:28625-1763042400-1763049600@www.loria.fr
SUMMARY:Présentation : " RDF Query Answering in the Presence of Access Restrictions "
DESCRIPTION:Dans le cadre du projet IPCEI-CIS DXP (Data Exchange Platform)\, \n\nHritika Kathuria\, doctorante au sein de l’équipe CEDAR (Centre Inria de Saclay).\nfera une présentation sur l’interrogation de données RDF sous contraintes d’accès\n\nAbstract: We present our work exploring algorithms for answering conjunctive RDF queries in the presence of RDFS ontologies under access control constraints. We study a setting where users have full access to the RDF graph by default\, but explicit restrictions may forbid access to specific IRIs. Such restrictions affect both query evaluation and ontology-based inference: a restricted IRI cannot appear in query answers\, nor can triples involving it contribute to reasoning or entailment. We introduce a family of query answering algorithms designed for this restricted reasoning framework and establish the soundness and completeness of five of them with respect to both RDFS semantics and access policies. Finally\, we discuss our implementation and experimental evaluation\, highlighting the trade-offs between the algorithms in terms of performance and reasoning behavior.
URL:https://www.loria.fr/event/presentation-rdf-query-answering-in-the-presence-of-access-restrictions/
LOCATION:B013
CATEGORIES:Conférence
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251114T093000
DTEND;TZID=Europe/Paris:20251114T120000
DTSTAMP:20260516T041239
CREATED:20251114T143018Z
LAST-MODIFIED:20251114T143018Z
UID:28635-1763112600-1763121600@www.loria.fr
SUMMARY:Soutenance de thèse de Thomas BAGREL
DESCRIPTION:Thomas BAGREL (Veridis)\, défendra sa thèse intitulée \nFormalisation et implémentation de techniques sûres pour la programmation par passage de destination dans les contextes fonctionnels purs.\nLa soutenance se déroulera en anglais le vendredi 14 novembre 2025 à 9h45 au Loria\, en salle A008. Elle sera suivie d’un pot dans le hall B du Loria. \nJury :\n\nDominic Orchard\, University of Kent (rapporteur)\nGabriele Keller\, Utrecht University (rapporteuse)\nDelia Kesner\, IRIF/Université Paris Cité (examinatrice)\nLaurent Vigneron\, LORIA/Université de Lorraine (examinateur)\nGabriel Scherer\, IRIF/Université Paris Cité (examinateur)\nHoratiu Cirstea\, LORIA/Université de Lorraine (directeur de thèse)\nArnaud Spiwack\, Tweag (encadrant industriel)\n\nRésumé : \nLa programmation par passage de destination introduit le concept de destination\, qui représente l’adresse d’une cellule mémoire encore vierge sur laquelle on ne peut écrire qu’une fois. Ces destinations peuvent être passées en tant que paramètres de fonction\, permettant à l’appelant de garder le contrôle de la gestion mémoire : la fonction appelée se contente de remplir la cellule au lieu d’allouer de l’espace pour une valeur de retour. Bien que principalement utilisé en programmation système\, le passage de destination trouve aussi des applications en programmation fonctionnelle pure\, où il permet d’écrire des programmes auparavant inexpressibles avec les structures de données immuables usuelles. \nDans cette thèse\, nous développons un λ-calcul avec destinations\, λd. Ce nouveau système théorique est plus expressif que les travaux similaires existants\, le passage de destination y étant conçu pour être aussi flexible que possible. Cette expressivité est rendue possible par un système de types modaux combinant types linéaires et un système d’âges pour gérer le contrôle lexical des ressources\, afin de garantir la sûreté du passage de destination. Nous avons prouvé la sûreté de notre système via les théorèmes habituels de progression et de préservation des types\, de façon mécanisée\, avec l’assistant de preuve Rocq. \nNous montrons ensuite comment le passage de destination\, formalisé dans ce calcul théorique\, peut être intégré à un langage fonctionnel pur existant\, Haskell\, dont le système de types est moins puissant que notre système théorique. Préserver la sûreté nécessite alors de restreindre la flexibilité dans la gestion des destinations. Nous affinons par la suite l’implémentation pour retrouver une grande partie de cette flexibilité\, au prix d’une complexité accrue pour l’utilisateur. \nL’implémentation prototype en Haskell montre des résultats encourageants pour l’adoption du passage de destination pour des parcours ou du mapping de grandes structures de données\, telles que les listes ou les arbres. \n  \n\nFormalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings.\nThe defense will be held in English on Friday\, November 14th\, 2025 at 9:45 A.M. at LORIA\, in room A008. The defense will be followed by a pot de thèse in the hall B of LORIA \nJury: \n\nDominic Orchard\, University of Kent (reviewer)\nGabriele Keller\, Utrecht University (reviewer)\nDelia Kesner\, IRIF/Université Paris Cité (examiner)\nLaurent Vigneron\, LORIA/Université de Lorraine (examiner)\nGabriel Scherer\, IRIF/Université Paris Cité (examiner)\nHoratiu Cirstea\, LORIA/Université de Lorraine (PhD supervisor)\nArnaud Spiwack\, Tweag (industrial supervisor)\n\nAbstract: \nDestination-passing style programming introduces destinations\, which represent the address of a write-once memory cell. These destinations can be passed as function parameters\, allowing the caller to control memory management: the callee simply fills the cell instead of allocating space for a return value. While typically used in systems programming\, destination passing also has applications in pure functional programming\, where it enables programs that were previously unexpressible using usual immutable data structures. \nIn this thesis\, we develop a core λ-calculus with destinations\, λd. Our new calculus is more expressive than similar existing systems\, with destination passing designed to be as flexible as possible. This is achieved through a modal type system combining linear types with a system of ages to manage scopes\, in order to make destination-passing safe. Type safety of our core calculus was proved formally with the Rocq proof assistant. \nThen\, we see how this core calculus can be adapted into an existing pure functional language\, Haskell\, whose type system is less powerful than our custom theoretical one. Retaining safety comes at the cost of removing some flexibility in the handling of destinations. We later refine the implementation to recover much of this flexibility\, at the cost of increased user complexity. \nThe prototype implementation in Haskell shows encouraging results for adopting destination-passing style programming when traversing or mapping over large data structures such as lists or data trees.
URL:https://www.loria.fr/event/soutenance-de-these-de-thomas-bagrel/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251117T090000
DTEND;TZID=Europe/Paris:20251117T120000
DTSTAMP:20260516T041239
CREATED:20251114T144302Z
LAST-MODIFIED:20251114T144302Z
UID:28639-1763370000-1763380800@www.loria.fr
SUMMARY:Soutenance de thèse de Nathan Claudet
DESCRIPTION:Nathan Claudet\, défendra sa thèse intitulée \nÉquivalences locales des états graphes.\nLa soutenance aura lieu le lundi 17 Novembre à 9h00 en salle C005 au Loria.\nElle sera suivie d’un pot. \nJury :\n– Mamadou Moustapha Kanté (rapporteur)\, Université Clermont Auvergne\n– Robert Raussendorf (rapporteur)\, Leibniz Universität Hannover\n– Xavier Goaoc (examinateur)\, Université de Lorraine\n– Otfried Gühne (examinateur)\, Universität Siegen\n– Elham Kashefi (examinatrice)\, CNRS\n– Mathilde Bouvel (directrice de thèse)\, CNRS\n– Simon Perdrix (directeur de thèse)\, Inria \nRésumé :\nLes états graphes forment une vaste famille d’états quantiques qui correspondent de manière bijective à des graphes mathématiques. Les états graphes sont utilisés dans de nombreuses applications\, telles que le calcul quantique basé sur la mesure\, en tant que ressources intriquées multipartites. Il est donc essentiel de comprendre quand deux états graphes ont la même intrication\, c’est-à-dire quand ils peuvent être transformés l’un en l’autre en utilisant uniquement des opérations locales. Dans ce cas\, on dit que les états graphes sont LU-équivalents (unitaire locale). Si les opérations locales sont restreintes au groupe de Clifford\, on dit alors que les états graphes sont LC-équivalents (Clifford locale). Il est intéressant de noter qu’une règle graphique simple appelée complémentation locale capture exactement la LC-équivalence\, dans le sens où deux états graphes sont LC-équivalents si et seulement si les graphes sous-jacents sont liés par une séquence de complémentations locales. Alors qu’il était autrefois conjecturé que deux états graphes LU-équivalents sont toujours LC-équivalents\, il existe des contre-exemples et la complémentation locale ne parvient pas à capturer entièrement l’intrication des états graphe. \nDans cette thèse\, nous introduisons une généralisation de la complémentation locale qui capture exactement la LU-équivalence. À l’aide de cette caractérisation\, nous prouvons l’existence d’une hiérarchie infinie stricte d’équivalences locales entre la LC-équivalence et la LU-équivalence. Cela conduit également à la conception d’un algorithme quasi-polynomial permettant de déterminer si deux états graphes sont LU-équivalents\, et à la preuve que deux états graphes LU-équivalents sont LC-équivalents s’ils sont définis sur au plus 19 qubits. \nDe plus\, nous étudions les états graphes qui sont universels dans le sens où tout état graphe plus petit\, défini sur un ensemble suffisamment réduit de qubits\, peut être induit en utilisant uniquement des opérations locales. Nous donnons des bornes et une construction probabiliste optimale. \n  \nLocal equivalences of graph states\nAbstract:\nGraph states form a large family of quantum states that are in one-to-one correspondence with mathematical graphs. Graph states are used in many applications\, such as measurement-based quantum computation\, as multipartite entangled resources. It is thus crucial to understand when two such states have the same entanglement\, i.e. when they can be transformed into each other using only local operations. In this case\, we say that the graph states are LU-equivalent (local unitary). If the local operations are restricted to the so-called Clifford group\, we say that the graph states are LC-equivalent (local Clifford). Interestingly\, a simple graph rule called local complementation fully captures LC-equivalence\, in the sense that two graph states are LC-equivalent if and only if the underlying graphs are related by a sequence of local complementations. While it was once conjectured that two LU-equivalent graph states are always LC-equivalent\, counterexamples do exist and local complementation fails to fully capture the entanglement of graph states. \nWe introduce in this thesis a generalization of local complementation that does fully capture LU-equivalence. Using this characterization\, we prove the existence of an infinite strict hierarchy of local equivalences between LC- and LU-equivalence. This also leads to the design of a quasi-polynomial algorithm for deciding whether two graph states are LU-equivalent\, and to a proof that two LU-equivalent graph states are LC-equivalent if they are defined on at most 19 qubits. \nFurthermore\, we study graph states that are universal in the sense that any smaller graph state\, defined on any small enough set of qubits\, can be induced using only local operations. We provide bounds and an optimal\, probabilistic construction. \n 
URL:https://www.loria.fr/event/soutenance-de-these-de-nathan-claudet/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251125T180000
DTEND;TZID=Europe/Paris:20251125T200000
DTSTAMP:20260516T041239
CREATED:20251104T130728Z
LAST-MODIFIED:20251124T140758Z
UID:28607-1764093600-1764100800@www.loria.fr
SUMMARY:Conférence " Parlons sciences : Peut-on avoir confiance dans le vote électronique ? "
DESCRIPTION:Fiabilité du scrutin\, confidentialité du vote\, confiance dans les résultats… les enjeux de ce mode d’élection sont nombreux. Eclairage par Véronique Cortier\, chercheuse en informatique\, spécialiste des protocoles de sécurité\nL’irruption des scrutins par voie électronique soulève de nombreux enjeux en termes de garanties de bon fonctionnement et de sécurité informatique : comment m’assurer que mon vote sera bien pris en compte ? Est-ce que mon voisin peut savoir comment j’ai voté ? Puis-je faire confiance au résultat annoncé ? Ces questions sont parfaitement légitimes et les systèmes de vote électronique n’y apportent pas encore de réponse complète. Mais les mêmes questions se posent pour les scrutins qui ont recours au « papier ».\n\nParlons sciences : Peut-on avoir confiance dans le vote électronique ?\n\nLors de cette conférence\, Véronique Cortier\, Directrice de recherche CNRS au Loria et médaille d’argent CNRS\, présentera les défis du vote électronique en termes de sécurité et témoignera du rôle des scientifiques en tant que tiers de confiance lors des élections législatives 2022.
URL:https://www.loria.fr/event/parlons-sciences/
LOCATION:Saint-Martin-d’Hères – Domaine universitaire Amphi G – Centre des Langues Vivantes 180 Allée des Amphis
CATEGORIES:Conférence
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251126T090000
DTEND;TZID=Europe/Paris:20251126T173000
DTSTAMP:20260516T041239
CREATED:20251114T140113Z
LAST-MODIFIED:20251114T140414Z
UID:28632-1764147600-1764178200@www.loria.fr
SUMMARY:Atelier du Pôle AM2I : Mise en place de l’IA
DESCRIPTION:Cet atelier s’adresse à toutes les personnes curieuses de découvrir comment intégrer l’intelligence artificielle\ndans leurs recherches\, qui souhaitent déterminer si cette intégration est pertinente\, ou bien qui désirent\nmonter en compétences (bonnes pratiques\, enjeux éthiques et légaux…). \nCet atelier est ouvert à l’ensemble de la communauté scientifique quel que soit le statut\, le niveau de\nfamiliarité avec l’IA\, ou le domaine d’expertise. \nProgramme\n9 h 15 -9 h 30 • Accueil – Présidence de l’Université de Lorraine\, 34 cours Léopold\, Nancy\n9 h 30-10 h 30 • Franco Terranova (Univ. Lorraine\, LORIA\, Inria\, CNRS) & Omar Anser (Univ. Luxembourg)\,\n« De la sélection de paradigmes à la validation statistique : principes et bonnes pratiques en\napprentissage automatique »\n10 h 30-10 h 45 • Pause café\n10 h 45-11 h 45 • Anaïs Guillem & Kevin Réby (Modèles et simulations pour l’Architecture et le Patrimoine\, Marseille)\,\n« Experiments on Notre-Dame de Paris Data: developing Critical AI Literacy »\n11 h 45-12 h 45 • Selma Demir (Institut François Geny\, Univ. Lorraine)\, « L’encadrement juridique des systèmes d’IA :\nl’état des règlementations en vigueur » \n12 h 45-14 h • Buffet \n14 h-15 h • Maxime Amblard (LORIA\, Univ. Lorraine)\, « Comprendre d’abord\, modéliser ensuite : retours\nd’expérience en sémantique computationnelle »\n15 h-16 h • Karën Fort (LORIA\, Univ. Lorraine)\, « Enjeux éthiques des grands modèles de langues »\n16 h-16 h 20 • Pause café\n16 h 20-16 h 50 • Cyril Regan (SISR\, LORIA\, Univ. Lorraine)\, « Problématiques concrètes et illustrées d’IA en recherche »\n16 h 50-17 h 30 • Présentation de ressources : moyens de calcul\, formations\, structures et appels à projets \nInscription : L’atelier est gratuit sur inscription avant le 19 novembre. \n  \n\n.
URL:https://www.loria.fr/event/atelier-du-pole-am2i-mise-en-place-de-lia/
LOCATION:Présidence de l’Université de Lorraine\, 34 cours Léopold\, Nancy
CATEGORIES:Workshop
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251126T090000
DTEND;TZID=Europe/Paris:20251126T180000
DTSTAMP:20260516T041239
CREATED:20251124T132609Z
LAST-MODIFIED:20251124T133225Z
UID:28666-1764147600-1764180000@www.loria.fr
SUMMARY:Forum des Sciences Cognitives et du TAL
DESCRIPTION:Forum des Sciences Cognitives et du TAL\nLaurent Bougrain (Loria/UL)\, Nazim Fates (Loria/Inria) et Karën Fort (Loria/UL) particperont au Forum des Sciences Cognitives & du TAL à Nancy\, organisé par l’IDMC (Institut des Sciences du Digital\, Management & Cognition)\, les filières Sciences cognitives et Traitement automatique des langues de l’université de Lorraine\, et par EKOS\, l’association des étudiant·es en Sciences Cognitives. \n\nProgramme du matin\, Grande salle du Théâtre de la Manufacture (10 rue Baron Louis) :\n \n\n8h45. Accueil\n9h-9h45. Annelies Braffort (Université Paris-Saclay\, CNRS\, LISN). Intelligence artificielle et langue des signes : risque ou progrès ?\n\n9h45-10h30. Jianghao Liu (Institut du Cerveau\, Paris et Dassault Systèmes). Prédiction et imagination dans le cerveau.\n\n10h30-11h. Pause café\n11h-12h30. Oxford-Style Debate autour de la thèse : “Connaître le cerveau est nécessaire pour le développement à venir de l’IA”\, avec Laurent Bougrain (Loria/UL)\, Nazim Fates (Loria/Inria)\, Karën Fort (Loria/UL)\, Tal Seidel Malkinson (IMoPA/UL).\n\nProgramme de l’après-midi\, Pôle Herbert Simon (13 rue Michel Ney) : \n\n13h30-14h. Quiz Ekos.\n14h-15h. Présentations démos alternance & posters\n15h-17h30. Stands\, démos & ateliers\n16h-17h30. Table ronde des alumni\n17h30. Remise des prix\n\nLe programme détaillé et les résumés des interventions seront progressivement mis à jour ici:\nIDMC – Forum des Sciences Cognitives 2025 à Nancy \nLe forum\, organisé à destination des étudiant·es de l’IDMC\, est ouvert à toute personne intéressée.
URL:https://www.loria.fr/event/forum-des-sciences-cognitives-et-du-tal/
CATEGORIES:Forum
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251126T093000
DTEND;TZID=Europe/Paris:20251126T123000
DTSTAMP:20260516T041239
CREATED:20251114T145254Z
LAST-MODIFIED:20251114T151557Z
UID:28641-1764149400-1764160200@www.loria.fr
SUMMARY:Soutenance de thèse de Camille Lanuel
DESCRIPTION:Camille Lanuel (Gamble)\, défendra sa thèse intitulée \nComputing an ε-net of a hyperbolic surface.\nLa soutenance aura lieu en public le mercredi 26 novembre à 9h30\, au LORIA\, en salle A008 et sera suivie d’un pot. \nJury :\n\n\n\nRapporteurs\n\nGuillaume Damiand (CNRS\, LIRIS)\nLionel Pournin (Université Paris 13\, LIPN)}\n\n\nExaminatrices et examinateur\n\nMyfanwy Evans (Universität Potsdam)\nPierrick Gaudry (CNRS\, LORIA)\nJane Tournois (GeometryFactory)\n\n\nMembre du jury invitée\n\nMonique Teillaud (INRIA\, LORIA)\n\n\nEncadrants\n\nVincent Despré (Université de Lorraine\, LORIA)\nMarc Pouget (INRIA\, LORIA)\n\n\n\n\n\nRésumé :\nLes surfaces hyperboliques apparaissent naturellement en mathématiques et font donc l’objet d’études\napprofondies. Cependant\, de nombreuses questions n’ont été résolues que pour des surfaces spécifiques.\nLa mise en œuvre d’algorithmes d’approximation sur les surfaces hyperboliques faciliterait alors l’étude\nde surfaces plus génériques. La première étape d’un tel algorithme d’approximation est d’approcher la\ngéométrie de la surface avec un ensemble de points bien répartis sur la surface\, afin que chaque point de la\nsurface soit proche d’un point de l’ensemble. La notion d’ε-filet répond à cette description.\nDans cette thèse\, nous concevons un algorithme pour calculer un ε-filet d’une surface hyperbolique\ncompacte et sans bord. Notre algorithme utilise la technique du raffinement de Delaunay : à partir d’une\ntriangulation de Delaunay à un seul sommet sur la surface\, l’algorithme insère itérativement les centres\ncirconscrits des triangles dont le rayon du cercle circonscrit est strictement supérieur au paramètre ε.\n\n\nAbstract :\nHyperbolic surfaces naturally appear in mathematics and are therefore intensively studied. However\,\nmany questions have been answered only for specific surfaces. The implementation of approximation\nalgorithms on hyperbolic surfaces would then facilitate the study of more generic surfaces. The first step\nin such an approximation algorithm is to approximate the surface geometry with a set of well-distributed\npoints on the surface\, ensuring that every point on the surface is close to a point in the set. The notion of\nε-net meets this description.\nIn this thesis\, we design an algorithm to compute an ε-net of a compact hyperbolic surface without\nboundary. Our algorithm is based on the Delaunay refinement technique: starting from a Delaunay\ntriangulation with a single vertex on the surface\, the algorithm iteratively inserts the circumcenters of\ntriangles whose circumcradius is greater than the parameter ε.\n\n 
URL:https://www.loria.fr/event/soutenance-de-these-de-camille-lanuel/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251126T100000
DTEND;TZID=Europe/Paris:20251126T130000
DTSTAMP:20260516T041239
CREATED:20251126T101740Z
LAST-MODIFIED:20251126T101740Z
UID:28686-1764151200-1764162000@www.loria.fr
SUMMARY:Soutenance de thèse de Ala Eddine LAOUIR
DESCRIPTION:Ala Eddine LAOUIR défendra sa thèse intitulée \nPrivacy-Preserving Multidimensional Data Analysis: Query Answering and Data Publication under Differential Privacy.\nLa soutenance aura lieu le 26 Novembre à  10h en salle c005. La présentation sera en Anglais. \nElle sera suivie d’un pot à 13h \n  \nRésumé :\nAujourd’hui\, de nombreux services numériques collectent des données sensibles\, dont l’exploitation est fortement encadrée par des lois comme le RGPD. Ma thèse propose de nouvelles solutions permettant d’analyser et de publier ce type de données tout en garantissant de solides protections de confidentialité grâce à la Differential Privacy (DP).\nPlus précisément\, cette thèse propose: (I) des méthodes permettant d’effectuer efficacement des analyses OLAP (Online analytical processing) sur de grandes bases de données\, dans des environnements centralisés ou collaboratifs entre plusieurs organisations\, et (II) de nouvelles techniques de publication de données multidimensionnelles assurant à la fois confidentialité et utilité. \nComposition du jury :\n\n\nRapporteuse et rapporteur :  Catuscia PALAMIDESSI (INRIA Saclay\, LIX)\, Yang CAO (Institute of Science Tokyo) \n\n\nExaminatrice et examinateur : Marine MINIER (Université de Lorraine\, LORIA)\, Benjamin NGUYEN (INSA Centre Val de Loire) \n\n\nEncadrant : Abdessamad IMINE (Université de Lorraine\, LORIA) \n\n\n\n————————————————————————————————————————————————————————————–\n \n\nThe defense will take place on November 26th at 10am  in room C005. The presentation will be in English.\nIt will be followed by a reception at 1pm \nAbstract:\nIn modern days\, many digital services collect sensitive data\, whose use is strictly regulated by laws such as the GDPR. My thesis proposes new solutions that enable the analysis and publication of such data while ensuring strong confidentiality guarantees through Differential Privacy (DP).\nMore precisely\, this thesis introduces: (i) methods for efficiently performing OLAP (Online Analytical Processing)analyses over large databases in both centralized and collaborative multi-party settings\, and (ii) new techniques for publishing multidimensional data that ensure both confidentiality and utility. \nJury members:\n\n\nReviewers: Catuscia PALAMIDESSI (INRIA Saclay\, LIX)\, Yang CAO (Institute of Science Tokyo) \n\n\nExaminers: Marine MINIER (Université de Lorraine\, LORIA)\, Benjamin NGUYEN (INSA Centre Val de Loire) \n\n\nAdvisor: Abdessamad IMINE (Université de Lorraine\, LORIA) \n\n\n 
URL:https://www.loria.fr/event/soutenance-de-these-de-ala-eddine-laouir/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251126T130000
DTEND;TZID=Europe/Paris:20251126T160000
DTSTAMP:20260516T041239
CREATED:20251114T143730Z
LAST-MODIFIED:20251114T143730Z
UID:28637-1764162000-1764172800@www.loria.fr
SUMMARY:Soutenance de thèse de Amaury Saint-Jore
DESCRIPTION:Amaury Saint-Jore (Simbiot)\, défendra sa thèse intitulée \nSystèmes multi-agents hétérogènes appliqués à la robotique mobile collaborative interconnectée.\nLa soutenance aura lieu en public le mercredi 26 novembre à 13h\, au LORIA\, dans l’amphithéâtre Gilles Kahn\, et se déroulera en français. Elle sera suivie d’un pot. \nJury :\n\n\n\nDirecteurs de thèse : Ye-Qiong SONG (Professeur\, LORIA\, Université de Lorraine)\,\nLaurent CIARLETTA (Maître de Conférences\, LORIA\, Université de Lorraine)\nRapporteurs : Romuald AUFRÈRE (Professeur\, Institut Pascal/Polytech\, Université Clermont Auvergne)\,\nFrédéric LE MOUËL (Professeur\, CITI\, Université de Lyon)\nExaminatrices : Bernardetta ADDIS (Professeure\, LORIA\, Université de Lorraine)\,\nSamia BOUZEFRANE (Professeure\, CEDRIC\, Cnam Paris)\,\nLiliana CUCU-GROSJEAN (Directrice de Recherche\, INRIA Paris)\nInvité : Patrick HÉNAFF (Professeur\, Lab-STICC Brest/ENIB\, Université de Bretagne Occidentale)\n\n\n\nRésumé : \nLa robotique mobile soulève aujourd’hui des enjeux majeurs pour la société\, tant pour le grand public que pour le monde industriel\, nécessitant l’usage coordonné de robots aux capacités complémentaires. Cette thèse pluridisciplinaire porte sur les systèmes multi-agents hétérogènes (HMAS) composés de robots mobiles interconnectés\, conçus comme des Systèmes Cyber-Physiques (CPS). Elle vise à concevoir un système générique\, décentralisé et interopérable via le middleware ROS 2\, permettant des missions autonomes en environnement réel complexe\, avec interaction et collaboration entre robots et opérateurs humains. Deux approches originales de localisation 3D en temps réel sont proposées : une solution GNSS RTK pour l’extérieur et le système nomade NAPS pour l’intérieur\, toutes deux offrant une précision centimétrique robuste et adaptées aux multi-agents. Un modèle de confiance basé sur les rôles est également introduit afin de surveiller les comportements des agents\, détecter les anomalies et renforcer la résilience du système. L’ensemble de ces contributions\, intégrées dans ROS 2\, a été testé sur un HMAS réel regroupant des robots mobiles terrestres et aériens. \n  \nAbstract: \nMobile robotics today raises major challenges for society\, both for the general public and for the industrial world\, requiring the coordinated use of robots with complementary capabilities. This multidisciplinary thesis focuses on heterogeneous multi-agent systems (HMAS) composed of interconnected mobile robots\, designed as Cyber-Physical Systems (CPS). It aims to design a generic\, decentralized\, and interoperable system via the ROS 2 middleware\, enabling autonomous missions in complex real-world environments\, with interaction and collaboration between robots and human operators. Two original approaches to real-time 3D localization are proposed: a RTK GNSS solution for outdoor use and the NAPS nomadic system for indoor use\, both offering robust centimeter-level accuracy and suitable for multi-agent systems. A role-based trust model is also introduced to monitor agent behaviors\, detect anomalies\, and enhance system resilience. All these contributions\, integrated into ROS 2\, were tested on a real HMAS combining ground and aerial mobile robots. \n 
URL:https://www.loria.fr/event/soutenance-de-these-de-amaury-saint-jore/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251128T140000
DTEND;TZID=Europe/Paris:20251128T163000
DTSTAMP:20260516T041239
CREATED:20251128T133446Z
LAST-MODIFIED:20251128T133446Z
UID:28705-1764338400-1764347400@www.loria.fr
SUMMARY:Presentation : “ Exploiting first order methods in motion generation ”
DESCRIPTION:Département 5 ” D5. Systèmes complexes\, intelligence artificielle et robotique “ \ninvits Tommaso Belvedere\, postdoc from IRISA and applying to CNRS positions. \nHe will present his work : \n“ Exploiting first order methods in motion generation ”
URL:https://www.loria.fr/event/presentation-exploiting-first-order-methods-in-motion-generation/
LOCATION:Loria
CATEGORIES:Séminaire
END:VEVENT
END:VCALENDAR