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: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
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20270328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20271031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251103T100000
DTEND;TZID=Europe/Paris:20251103T193000
DTSTAMP:20260608T150613
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:20260608T150613
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:20260608T150613
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:20260608T150613
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:20260608T150613
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:20260608T150613
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:20260608T150613
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:20260608T150613
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:20260608T150613
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:20260608T150613
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:20260608T150613
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:20260608T150613
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:20260608T150613
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
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251201T130000
DTEND;TZID=Europe/Paris:20251201T160000
DTSTAMP:20260608T150613
CREATED:20251114T150031Z
LAST-MODIFIED:20251128T133709Z
UID:28643-1764594000-1764604800@www.loria.fr
SUMMARY:Soutenance de thèse de Enzo D'Andrea
DESCRIPTION:Enzo D’Andrea (Resist)\, défendra sa thèse intitulée \nApprentissage machine réutilisable et adaptable\npour la sécurité réseau.\nLa soutenance aura lieu en public le lundi 1er décembre à 13h\, au LORIA\, en salle A008. Elle sera suivie d’un pot. \n\nJury :\n\n\n\n\nJérôme François\, Research Scientist\, Université du Luxembourg\nOlivier Festor\, Professeur\, Université de Lorraine\n\n\n\nRapporteurs :\nSandrine Vaton\, Professeure\, IMT Atlantique\n\nStephane Mocanu\, Maître de conférences\, Grenoble INP \n\nExaminateurs :\nNoura Limam\, Resaerch Assistant Professor\, University of Waterloo\, Canada\nClaudia Ignat\, Directrice de Recherche\, INRIA\n\n\n\n\n\n\n  \n\n 
URL:https://www.loria.fr/event/soutenance-de-these-de-enzo-dandrea/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251203T140000
DTEND;TZID=Europe/Paris:20251203T160000
DTSTAMP:20260608T150613
CREATED:20251114T133926Z
LAST-MODIFIED:20251114T135237Z
UID:28627-1764770400-1764777600@www.loria.fr
SUMMARY:DeepLorIA Tutorial: Mohammedreza Ghafari
DESCRIPTION:Next DeepLorIA tutorial will take place on Wednesday\, December 3rd with Mohammedreza Ghafari (PhD candidate)\, with a presentation entitled « Learn to See the World in 3D – From Point Clouds to Learned Representations ».\n\n\nIn a world increasingly shaped by 3D data\, from autonomous vehicles and architectural design to AR/VR experiences\, point cloud has become a powerful solution for men and machines to visualize and understand spatial information. This talk takes you on a journey from raw points to perception: exploring how individual 3D points in point cloud come together in space to form meaningful structures. We’ll start with the fundamentals of point cloud and 3D representation\, then dive into how neural networks learn to recognize\, reconstruct\, and even compress the data. The session combines theory with hands-on experience\, participants will learn how to visualize point clouds\, build a simple deep learning model\, and observe how machines learn to solve some computer vision tasks.\n\n\n\nDate: December 3\, 2025\nTime: Theory: 14:00 – 14:50 / Coffee 14:50 – 15:10 / Lab 15:10 – 16:00\nLocation: Nancy-Salle A008 Jean Legras\nInstructor: Mohammedreza Ghafari\, Ph.D. Candidate\n\n\n\n? Register here
URL:https://www.loria.fr/event/deeploria-tutorial-mohammedreza-ghafari/
LOCATION:A008
CATEGORIES:Workshop
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251204T090000
DTEND;TZID=Europe/Paris:20251204T180000
DTSTAMP:20260608T150613
CREATED:20251114T134817Z
LAST-MODIFIED:20251114T135143Z
UID:28629-1764838800-1764871200@www.loria.fr
SUMMARY:Lancement du projet Impact INSIGHT
DESCRIPTION:Dans le cadre de l’Initiative d’Excellence Lorraine\, le projet Impact INSIGHT a le plaisir d’annoncer sa journée de lancement\, qui se tiendra le 4 décembre 2025 à la Maison des Sciences sociales et des Humanités Lorraine\, rue Baron Louis\, à Nancy. \nLe projet INSIGHT a pour ambition de faire émerger une dynamique interdisciplinaire forte entre les sciences humaines et sociales (SHS)\, les arts\, lettres et langues (ALL)\, et les sciences juridiques\, politiques\, économiques et de gestion (SJPEG)\, en lien étroit avec les domaines de l’intelligence artificielle (IA) et du traitement automatique des langues (TAL/NLP). \nIl soutient et fédère des recherches mobilisant des données en langue naturelle (textes littéraires\, juridiques\, conversationnels\, oraux\, etc.) afin de croiser les approches critiques\, méthodologiques et technologiques issues des SHS élargies avec les outils et perspectives de l’IA et du Traitement Automatique des Langues (TAL). \nParmi les intervenant·es invité·es :\n\nJean-Baptiste Camps (École nationale des chartes – PSL\, ERC LostMa) sur Les humanités computationnelles aujourd’hui\nKarën Fort (Loria – Université de Lorraine) sur Enjeux éthiques de l’intelligence artificielle et du traitement automatique des langues\nClément Mabi (INSSA Rennes) sur Repenser la place des techniques pour des transitions sociales soutenables\n\nUn espace ouvert d’échanges clôturera la journée\, consacré à la présentation de travaux en cours\, de démonstrations et de perspectives\, tant académiques qu’industrielles. Les participant·es inscrit·es sont encouragé·es à y présenter leurs contributions. \nLa journée est ouverte à l’ensemble des membres de l’Université de Lorraine intéressés par les thématiques de l’IA\, du TAL et des humanités. \nInscriptions ici avant le 25 novembre. \n\n  \n  \n\n.
URL:https://www.loria.fr/event/lancement-du-projet-impact-insight/
LOCATION:Maison des Sciences sociales et des Humanités Lorraine\, rue Baron Louis\, à Nancy
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251208T083000
DTEND;TZID=Europe/Paris:20251208T173000
DTSTAMP:20260608T150613
CREATED:20251208T104531Z
LAST-MODIFIED:20251208T142904Z
UID:28756-1765182600-1765215000@www.loria.fr
SUMMARY:MosAIk Ph.D Day
DESCRIPTION:La première journée des doctorants et doctorantes de l’équipe MosAIk s’est tenue lundi 8 décembre et a réuni une cinquantaine de participants (doctorants\, post-doctorants\, alternants\, ingénieurs\, permanents). \n\n\n\n\nElle a permis à tous les doctorants de l’équipe de présenter leurs travaux en cours et de partager leurs expériences. \nChaque doctorant de 3e année et plus a disposé de 20 minutes pour présenter sa thèse : rappeler son problème de recherche\, son approche spécifique\, ses résultats et constatations\, positionner ses résultats par rapport aux travaux connexes et dire ce que qu’il ou elle attend pour sa thèse de doctorat. \nChaque étudiant de 2ème année a présenté ses travaux au travers d’un poster. \nChaque doctorant de 1re année a fait une courte présentation pour évoquer sur son principal problème de recherche\, savoir qui d’autre travaille sur un problème similaire et quels sont les résultats attendus. \n\n\n\n\nProgramme of the PhD day\nProgramme de la journée des doctorants – VF
URL:https://www.loria.fr/event/mosaik-ph-d-day/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251209T100000
DTEND;TZID=Europe/Paris:20251209T123000
DTSTAMP:20260608T150613
CREATED:20251204T132334Z
LAST-MODIFIED:20251204T132334Z
UID:28730-1765274400-1765283400@www.loria.fr
SUMMARY:Soutenance de thèse de Diego Alejandro Vega Vega
DESCRIPTION:Diego Alejandro Vega Vega (SIMBIOT)\, défendra sa thèse intitulée \nA general framework for co-simulation-based optimization.\nDirecteur de thèse : Vincent CHEVRIER\, Professeur\, Université de Lorraine (Nancy)\, Loria\nJury :\n\nRapporteurs :\n\nStéphane GALLAND\, Professeur\, Université de Technologie de Belfort-Montbeliard\, CIAD\nPaul-Antoine BISGAMBIGLIA\, Maître de conférences-HDR\, Université de Corse\n\nExaminateurs :\n\nBernardetta ADDIS\, Professeure\, Université de Lorraine (Nancy)\, OPTIMIST\nBaya Lydia BOUDJELOUD-ASSALA\, Professeure\, Université de Lorraine (Metz)\, MosAIk\nSébastien PICAULT \,Chargé de recherche-HDR\, INRAE\, DYNAMO\n\nInvitée :\n\nElsy KADDOUM\, Maîtresse de conférences-HDR\, Université de Toulouse II\, SMAC\n\n\n\n\n\n\nLa soutenance aura lieu en public le mardi 9 décembre à 10h\, au Loria\, en salle C005. Elle sera suivie d’un pot. \n\n\n  \n 
URL:https://www.loria.fr/event/soutenance-de-these-de-diego-alejandro-vega-vega/
LOCATION:Loria
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251209T130000
DTEND;TZID=Europe/Paris:20251209T160000
DTSTAMP:20260608T150613
CREATED:20251124T142504Z
LAST-MODIFIED:20251124T143214Z
UID:28671-1765285200-1765296000@www.loria.fr
SUMMARY:Séminaire SSL
DESCRIPTION:The next Loria Security Séminar will take place on December 9th in room A008 at 1:00pm.\n\n\n\n\nLesly-Ann Daniel\, assistant professor at EURECOM\, will give a talk about\nHardware-Software Co-Designs for Microarchitectural Security. \n\n\n\nAbstract: \nMicroarchitectural optimizations\, such as caches and speculative out-of-order execution\, are essential for achieving high system performance. However\, these same mechanisms also open the door to attacks that can undermine software-enforced security policies. The current gold standard for defending against such attacks is the constant-time programming discipline\, which prohibits secret-dependent control flow and memory accesses. While constant-time programming is widely used to secure cryptographic implementations against microarchitectural attacks\, it has critical limitations. From a security perspective\, it depends on assumptions about the underlying hardware and fails to provide protection against certain classes of attacks\, such as Spectre. From a performance perspective\, it incurs additional overheads\, for example due to control-flow linearization. In this presentation\, I will introduce recent hardware-software co-design approaches that mitigate the shortcomings of constant-time programming\, moving toward more efficient and robust defenses. I will also discuss some remaining challenges to achieve provable\, end-to-end security guarantees.
URL:https://www.loria.fr/event/seminaire-ssl-2/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251211T093000
DTEND;TZID=Europe/Paris:20251211T123000
DTSTAMP:20260608T150613
CREATED:20251118T104257Z
LAST-MODIFIED:20251118T124900Z
UID:28645-1765445400-1765456200@www.loria.fr
SUMMARY:Soutenance de thèse d'Élise Klein
DESCRIPTION:Élise Klein (Pesto)\, défendra sa thèse intitulée \nFormal Verification in Practice:\nReal-World Case Study and Enhanced Support for AC Operators in Tamarin .\nLa soutenance aura lieu en public le jeudi 11 décembre à 9h30\, au LORIA\, en salle A008. Elle sera suivie d’un pot. \nJury :\n\n Yannick Chevalier (rapporteur — MCF HDR à l’Université de Toulouse)\n Barbara Fila (rapportrice — MCF HDR à l’INSA de Rennes)\n David Baelde (examinateur — Prof ENS Rennes)\n Claudia Ignat (examinatrice — DR INRIA au Centre Inria de l’Université de Lorraine et LORIA)\n Ioana Boureanu (examinatrice — Prof University of Surrey\, UK)\n Steve Kremer (Directeur de thèse — DR INRIA au Centre Inria de l’Université de Lorraine et LORIA)\n Jannik Dreier (Directeur de thèse — MCF Université de Lorraine)\n\n  \nAbstract: \n« During my PhD\, I studied the Tamarin-prover\, a cryptographic protocol verification tool\, initially focusing on modeling and later on improving its internal mechanisms. I first used the Sapic+ platform\, integrated into Tamarin\, to model the draft 12 of the LAKE-EDHOC protocol\, designed for deployment on IoT devices. Sapic+ enables the translation of a single model into three different tools (Tamarin\, ProVerif\, and DeepSec)\, allowing us to leverage the strengths of each. This approach led to the discovery of several vulnerabilities\, and our proposed fixes were integrated into subsequent versions of the protocol. Later\, I extended Tamarin to support user-defined associative and commutative symbols. To achieve this\, I designed an algorithm along with new reduction rules to handle infinite chains of constructors/destructors\, which often arise from such symbols. This extension enabled the modeling of new cryptographic primitives\, such as re-encryption. » \nRésumé : \n » Durant ma thèse\, j’ai étudié le prouveur Tamarin\, un outil de vérification de protocoles cryptographiques\, en me concentrant d’abord sur la modélisation puis sur l’amélioration de ses mécanismes internes. J’ai d’abord utilisé la plateforme Sapic+\, intégrée à Tamarin\, pour modéliser la version 12 du protocole LAKE-EDHOC\, conçu pour être déployé sur des objets connectés. Sapic+ permet de traduire un même modèle vers trois outils différents (Tamarin\, ProVerif et DeepSec)\, ce qui nous permet de tirer parti des forces de chacun. Cette approche a conduit à la découverte de plusieurs vulnérabilités\, et les correctifs que nous avons proposés ont été intégrés dans les versions ultérieures du protocole. Par la suite\, j’ai intégré à Tamarin la prise en charge des symboles associatifs et commutatifs définis par l’utilisateur. Pour ce faire\, j’ai conçu un algorithme ainsi que de nouvelles règles de réduction pour gérer les chaînes infinies de constructeurs/destructeurs\, qui apparaissent souvent avec de tels symboles. Cette extension a permis la modélisation de nouvelles primitives cryptographiques\, telles que le rechiffrement. « 
URL:https://www.loria.fr/event/soutenance-de-these-delise-klein/
LOCATION:Loria
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251215T150000
DTEND;TZID=Europe/Paris:20251215T180000
DTSTAMP:20260608T150613
CREATED:20251215T093926Z
LAST-MODIFIED:20260115T142425Z
UID:28789-1765810800-1765821600@www.loria.fr
SUMMARY:Soutenance de thèse de Robin San Roman
DESCRIPTION:Robin San Roman défendra sa thèse intitulée \nSafe Audio Generation Models from Discrete Latent Representations\nLa soutenance se déroulera le lundi 15 décembre 2025 à 15h en A008. La présentation sera en français.\nElle sera suivie d’un pot devant la salle. \nUne visioconférence sera également disponible via le lien suivant :\nhttps://inria.webex.com/meet/romain.serizel \n\nDirecteurs de thèse :\n\nRomain Serizel\nAntoine Deleforge
URL:https://www.loria.fr/event/soutenance-de-these-de-robin-san-roman/
LOCATION:Loria
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251216T090000
DTEND;TZID=Europe/Paris:20251216T123000
DTSTAMP:20260608T150613
CREATED:20251210T140009Z
LAST-MODIFIED:20251210T140009Z
UID:28785-1765875600-1765888200@www.loria.fr
SUMMARY:Soutenance de thèse de Salome Lepers
DESCRIPTION:Salome Lepers (Larsen)\, défendra sa thèse intitulée \nInterprétabilité et explicabilité en planification probabiliste.\nLa soutenance se déroulera le mardi 16 décembre 2025 à 9h en C005. La présentation sera en français.\nElle sera suivie d’un pot devant la salle. \nUne visioconférence sera également disponible via le lien suivant :\nhttps://rendez-vous.renater.fr/soutenanceSalomeLepers \n\nJury :\n\nAbdel-Illah Mouaddib\, Université de Caen (rapporteur)\nRégis Sabbadin\, INRAE (rapporteur)\nLydia Boudjeloud-Assala\, Université de Lorraine (examinatrice)\nWassila Ouerdane\, CentraleSupélec (examinatrice)\nVincent Thomas\, Université de Lorraine (directeur de thèse)\nOlivier Buffet\, INRIA (directeur de thèse)\n\nRésumé :\nDivers travaux se sont intéressés à produire des comportements interprétables pour un observateur extérieur\, en particulier dans des cadres complètement déterministes. Un comportement peut ainsi être par exemple plus lisible\, cherchant à communiquer l’objectif au plus tôt; plus explicable\, cherchant à se conformer aux attentes de l’observateur; ou plus prédictible\, cherchant à produire des trajectoires faciles à anticiper.\nMiura et Zilberstein ont récemment proposé le cadre des observer aware Markov decision processes (OAMDP) qui permet d’exprimer de tels problèmes dans des contextes où la dynamique du système est stochastique. \nLa présente thèse s’appuie sur ce cadre. Dans un premier temps\, elle propose une approche alternative pour la prédictibilité\, celles proposées s’avérant mal adaptées à des dynamiques stochastiques parce que raisonnant sur des trajectoires complètes. Ce travail aboutit à une étude expérimentale avec des observateurs humains. Dans un second temps\, cette thèse propose un formalisme plus générique au sens où il permet de traiter des situations où l’observateur n’a qu’une perception partielle\nde l’évolution du système. L’utilisation de ce formalisme est illustré en l’employant pour divers objectifs d’interprétabilité usuels. \n————————————————————————————————————————————————————————————– \n\nInterpretability and Explicability in Probabilistic Planning.\nThe defense will take place on Tuesday\, December 16\, 2025\, at 9:00 a.m. in room C005. The presentation will be in French. \nIt will be followed by a reception in front of the room around noon. A videoconference will also be available via the following link:\nhttps://rendez-vous.renater.fr/soutenanceSalomeLepers \n\nJury members:\n\nAbdel-Illah Mouaddib\, Université de Caen (reviewer)\nRégis Sabbadin\, INRAE (reviewer)\nLydia Boudjeloud-Assala\, Université de Lorraine (examiner)\nWassila Ouerdane\, CentraleSupélec (examiner)\nVincent Thomas\, Université de Lorraine (supervisor)\nOlivier Buffet\, INRIA (supervisor)\n\n\nAbstract:\nSeveral works have looked at producing behaviors that are interpretable\nby an external observer\, in particular in fully deterministic settings.\nA behavior can thus be for example more legible\, trying to communicate\nthe objective as soons as possible; more explicable\, trying to conform\nto the observer’s expectations; or more predictable\, trying to produce\ntrajectories that are easy to anticipate.\nMiura and Zilberstein have recently proposed the framework of\nobserver-aware Markov decision processes (OAMDPs)\, which allows\nexpressing such problems in contexts where the system’s dynamics is stochastic. \nThis thesis leverages this framework. In a first step\, it proposes an\nalternative approach for predictability\, as earlier approaches proved\npoorly adapted to stochastic dynamics because they reason on complete\ntrajectories. This work culminates in an experimental study with human\nobservers. In a second step\, this thesis proposes a formalism that is\nmore generic in that it allows handling situations where the observer\nhas a partial and noisy perception of the system’s evolution. The use of\nthis formalism is illustrated by employing it with several usual interpretability objectives. \n 
URL:https://www.loria.fr/event/soutenance-de-these-de-salome-lepers/
LOCATION:Loria
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251216T090000
DTEND;TZID=Europe/Paris:20251216T173000
DTSTAMP:20260608T150613
CREATED:20251127T095228Z
LAST-MODIFIED:20251127T095254Z
UID:28690-1765875600-1765906200@www.loria.fr
SUMMARY:Visite des étudiants de l'École des Mines - Nancy
DESCRIPTION:Le Loria a le plaisir d’accueillir des étudiants de l’École des Mines pour deux demi-journées d’échanges et de découvertes\n\n\nAu programme : \n\n\n\n\nPrésentation du Loria\nVisite des plateformes LHS et Creativ’Lab\nExposé de Mathilde Bouvel\nTitre  » Permutations évitant des motifs : pourquoi ? comment ? combien ? « \nExposé de Claire Gardent\nTitre  » Traitement Automatique des Langues au LORIA: LLMs\, Apprentissage et Applications « \n\nExposé de Vincent Chevrier\nTitre  » Exemple de collaboration pluridisciplinaire: le projet Hy2Car « \nExposé de Virginie Lallemand\nTitre  » Cryptanalyse de chiffrements symétriques « \nTemps d’échanges avec des doctorant-es
URL:https://www.loria.fr/event/visite-des-etudiants-de-lecole-des-mines-nancy/
LOCATION:A008
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251218T140000
DTEND;TZID=Europe/Paris:20251218T160000
DTSTAMP:20260608T150613
CREATED:20251203T155929Z
LAST-MODIFIED:20251203T155929Z
UID:28724-1766066400-1766073600@www.loria.fr
SUMMARY:DefMal Webinar
DESCRIPTION:Roy Ricaldi will present the DefMal webinar entitled : \n\nHunting CTI on Telegram: Towards Effective Cybercriminal Community Discovery\nTelegram has become a central coordination and vast distribution hub for cybercriminal activity\, offering anonymity\, scalability\, and low entry barriers that make it both attractive to offenders and difficult for analysts to monitor. As a result\, Cyber Threat Intelligence (CTI) teams require updated methods to track these illicit communities\, but little is known about how different discovery strategies perform or what their outcomes reveal about the broader ecosystem. We present TeleHUNT\, a modular\, language-model–driven tool for cybercriminal community discovery on Telegram. We employ TeleHUNT to classify discovered communities into six market segments (cyberattacks\, digital piracy\, infrastructure\, fraud tools\, personal data\, and tutorials) and evaluate the efficiency\, accessibility\, and saturation produced by different tool configurations\, and reframe discovery performance into insights about the ecosystem. Using both open web and dark web seeds to snowball on\, we collected 6\,022 communities\, 172\,385\,463 messages\, and 2\,392\,741 unique users. After testing 28 configurations\, we found that link-based strategies maximized coverage but suffered high noise\, while forward-based methods achieved near-perfect precision with limited reach. Saturation modeling shows highly interconnected growth in market segments dedicated to fraud tools and cyberattacks\, with other segments plateauing quickly. Further\, while open web seeds yield more communities\, combining both open and dark web seeding is best for maximum coverage. With these insights\, TeleHUNT enables effective CTI collection and structural analysis of Telegram’s cybercrime economy. \nSpeaker Bio: \nRoy Ricaldi is a PhD candidate in Cybercrime at Eindhoven University of Technology\, where his research advances cybersecurity through threat analysis and the study of evolving cybercriminal ecosystems. His work examines the organization\, capabilities\, and behaviors of offenders across illicit online economies\, identifying how threats emerge and propagate. His recent publications include studies on trust signals to support trade in Telegram’s cybercrime economy\, migratory decisions within underground networks\, and attacker actions on honeypot platforms. By combining artificial intelligence\, quantitative monitoring tools\, and qualitative methods\, he develops frameworks to enhance threat intelligence and strengthen defenses against emerging cyber risks. \n\nMore informations : https://pepr-defmal.loria.fr/fr/webinaires/ \nWould you like to receive the invitation link for the webinars? Contact us: maira.nassau  (at)  loria.fr
URL:https://www.loria.fr/event/defmal-webinar/
LOCATION:On line
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260108T093000
DTEND;TZID=Europe/Paris:20260108T113000
DTSTAMP:20260608T150613
CREATED:20251218T145216Z
LAST-MODIFIED:20251218T145216Z
UID:28801-1767864600-1767871800@www.loria.fr
SUMMARY:Séminaire Département 3
DESCRIPTION:Le Département 3 a le plaisir de proposer un talk de Sounak Kar\, TU Delft\, intitulé \nOn Efficiency and Fairness of Resource Distribution in Quantum\nRepeater Networks.\n\nEn visio sur https://u2l.fr/sounak
URL:https://www.loria.fr/event/seminaire-departement-3/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260112T093000
DTEND;TZID=Europe/Paris:20260112T120000
DTSTAMP:20260608T150613
CREATED:20260113T120946Z
LAST-MODIFIED:20260115T142246Z
UID:28647-1768210200-1768219200@www.loria.fr
SUMMARY:Soutenance de thèse de Amandine LECOMTE
DESCRIPTION:Amandine LECOMTE (SEMAGRAMME)\, défendra sa thèse intitulée \nEtude des indices multimodaux discursifs au cours de la construction dialogique en entretien clinique auprès de sujets atteints de schizophrénie\n– Approche des conditions de possibilité ou de contrôle d’un « effet clinique ».\nLa soutenance aura lieu en public le lundi 12 janvier 2026 à 9h30 dans l’amphithéâtre Gilles Kahn. La présentation sera en français. \n\nComposition du jury :\n\n\nDirecteurs de thèse : Michel MUSIOL (Professeur\, Atilf-Cnrs\, Université de Lorraine)\, Alexandra KONÏG (HDR\, ki:elements\, Université Côte d’Azur)\nRapportrices : Emmanuèle AURIAC-SLUSARCZYK (Maîtresse de Conférence émérite\, INSPE Clermont-Auvergne\, Chamalières)\, Katia KOSTULSKI (Professeure\,CRTD Cnam\, Paris)\nExaminateurs: Maxime AMBLARD (Professeur\, LORIA\, Université de Lorraine)\, Christophe LEMEY(Docteur au CHU de Brest – Hôpital Morvan)\nPrésident de jury: Philippe De GROOTE (Directeur de recherche Inria Nancy – Grand Est) \n\n\n\n\nRésumé  :\nCette thèse propose de circonscrire un des effets possibles de l’entretien clinique dans le cadre particulier de la recherche.\nIl s’agit de mettre en évidence\, de manière précise et formelle\, des indicateurs de type comportementaux-discursifs et sémantico-représentationnels de l’évolution du sujet au niveau de la configuration des transactions dialogiques.\nCeci à partir d’une population atteinte d’une pathologie psychiatrique avérée\, d’une population témoin ne présentant pas de pathologie mentale ainsi qu’auprès d’une personne présentant des symptômes de première épisode psychotique.\nCe cadre exploratoire tente alors d’appréhender la multimodalité de l’interaction verbale à travers les réactions vocales\, verbales\, mimées voir oculomotrices.\n\n\n\n\nAbstract :\n\nThis thesis propose to define one of the possible effects of clinical interviews in the specific context of research.\nThe aim is to highlight\, in a precise and formal manner\, behavioral-discursive and semantic-representational indicators of the subject’s evolution in terms of the configuration of dialogic transactions.\nThis is based on a population with a proven psychiatric disorder\, a control population with no mental disorder\, and a person with symptoms of a first psychotic episode.\nThis exploratory framework attempts to understand the multimodality of verbal interaction through vocal\, verbal\, mimed\, and even oculomotor reactions.
URL:https://www.loria.fr/event/soutenance-de-these-amandine_lecomte/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260115T140000
DTEND;TZID=Europe/Paris:20260115T160000
DTSTAMP:20260608T150613
CREATED:20251124T150839Z
LAST-MODIFIED:20251124T150923Z
UID:28674-1768485600-1768492800@www.loria.fr
SUMMARY:Théâtre Scientifique au Lycée
DESCRIPTION:Le Procès du Robot\n\nest un format original mêlant sciences\, société… et théâtre d’impro !\nUn moment d’échanges et de réflexions autour des grands enjeux de l’IA et ses applications quotidiennes… \n\nhttps://iww.inria.fr/NanSciNum/theatre-scientifique/le-proces-du-robot/
URL:https://www.loria.fr/event/theatre-scientifique-au-lycee/
LOCATION:Lycée Condorcet Schoeneck
CATEGORIES:Spectacle
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260122T140000
DTEND;TZID=Europe/Paris:20260122T173000
DTSTAMP:20260608T150613
CREATED:20260113T121205Z
LAST-MODIFIED:20260113T121205Z
UID:28728-1769090400-1769103000@www.loria.fr
SUMMARY:Visite des étudiant·es des classes prépa scientifiques du Lycée Henri Poincaré
DESCRIPTION:Le Loria a le plaisir d’accueillir des étudiant·es des classes prépa scientifiques du Lycée Henri Poincaré pour une demi-journées d’échanges et de conférences.
URL:https://www.loria.fr/event/visite-des-etudiant%c2%b7es-des-classes-prepa-scientifiques-du-lycee-henri-poincare/
LOCATION:A008
CATEGORIES:Conférence,Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260126T110000
DTEND;TZID=Europe/Paris:20260126T130000
DTSTAMP:20260608T150613
CREATED:20251202T094348Z
LAST-MODIFIED:20260121T164100Z
UID:28721-1769425200-1769432400@www.loria.fr
SUMMARY:Colloquium du Loria : Laura Kovács
DESCRIPTION:The Loria is proud to announce a colloquium presentation by Laura Kovács on \nInduction and synthesis in saturation-based theorem proving.\nLaura Kovács is a professor at the Faculty of Informatics of Vienna University of Technology (Vienna\, Austria) and a leading researcher in the field of automated reasoning and symbolic computation. \nAbstract:\nProof by induction is commonplace in mathematics. logic\, formal verification\, cybersecurity\, and many more areas. This talk overviews recent progress in automating inductive reasoning in saturation-based first-order theorem proving We formalize applications of induction as new inference rules of the saturation process\, add instances of appropriate induction schemata to the search space\, and use these rules and instances immediately upon their addition for the purpose of guiding induction. We also synthesize code that satisfies a given (inductive) logical specification\, while proving the specification in a saturation-based framework. \n  \nPeople from outside the Loria must register by sending an email to Annabelle Chapron  –  annabelle.chapron (at) loria.fr  –  before January 25th.\nLes visiteurs devront se munir de leur pièce d’identité. \n——————————————————————————– \n\n\nLes membres du Loria sont fiers d’accueillir Laura Kovács\, qui présentera un exposé intitulé :  \nInduction and synthesis in saturation-based theorem proving.\nLaura Kovács\, professeure à la Faculté d’Informatique de l’Université de Technologie de Vienne (Autriche)\, est une chercheuse de premier plan dans le domaine du raisonnement automatisé et du calcul symbolique.  \nRésumé :  \nLa démonstration par induction est courante en mathématiques\, en logique\, en vérification formelle\, en cybersécurité et dans de nombreux autres domaines. Cette conférence présente les progrès récents en matière d’automatisation du raisonnement inductif dans la démonstration de théorèmes du premier ordre par saturation. Nous formalisons les applications de l’induction sous forme de nouvelles règles d’inférence du processus de saturation\, ajoutons des instances de schémas d’induction appropriés à l’espace de recherche et utilisons ces règles et instances dès leur ajout afin de guider l’induction. Nous synthétisons également du code qui satisfait une spécification logique (inductive) donnée\, tout en démontrant cette spécification dans un cadre basé sur la saturation. \n\n\nLes personnes extérieures au Loria doivent s’inscrire en envoyant un mail à Annabelle Chapron  –  annabelle.chapron (at) loria.fr  –  avant le 25 janvier.\nLes visiteurs devront se munir de leur pièce d’identité.
URL:https://www.loria.fr/event/colloquium-du-loria-laura-kovacs/
LOCATION:Amphithéâtre du Loria
CATEGORIES:Colloquium Loria
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260126T140000
DTEND;TZID=Europe/Paris:20260126T170000
DTSTAMP:20260608T150613
CREATED:20260115T141709Z
LAST-MODIFIED:20260115T141709Z
UID:28834-1769436000-1769446800@www.loria.fr
SUMMARY:Soutenance de thèse de Alessio Coltellacci
DESCRIPTION:Alessio Coltellacci (Veridis)\, défendra sa thèse intitulée \nReconstruction des preuves SMT dans Lambdapi.\nLa soutenance se déroulera en anglais le lundi 26 janvier 2026 à 14h au LORIA\, en salle C005. Elle sera suivie d’un pot devant la salle. \nPour ceux qui ne pourraient pas venir\, la soutenance sera diffusée en visio (accessible à partir de 14h00\, possibilité de rejoindre depuis un navigateur web) : \nhttps://cnrs.zoom.us/j/95435518789?pwd=RiIzDeE5HIJEofM1x4g3raM9KZ3Y5x.1 \nJury :\n\nLaura Kovács\, Vienna University of Technology (rapporteuse)\nAlexander Steen\, University of Greifswald (rapporteur)\nChantal Keller\, LMF/Université Paris-Saclay (examinatrice)\nMathias Fleury\, University of Freiburg (examinateur)\nRégine Laleau\, Université de Paris-Est Créteil (examinatrice)\nStephan Merz\, INRIA/Université de Lorraine (directeur de thèse)\n\nRésumé :\nLes démonstrateurs automatiques de théorèmes modernes sont de plus en plus plébiscités pour établir la correction de systèmes informatiques critiques. Parmi eux\, les solveurs de satisfiabilité modulo des théories (SMT) occupent une place centrale\, en raison de leur grande expressivité et de leur efficacité dans le traitement de raisonnements logiques complexes. Cependant\, l’ampleur de leur base de code\, conjuguée à la sophistication de leur architecture logicielle\, rend toute vérification formelle exhaustive impraticable\, soulevant ainsi une question fondamentale de confiance: \nDans quelle mesure peut-on accorder foi à la correction des résultats produits par ces solveurs ? \nUne réponse particulièrement prometteuse à cette problématique réside dans le recours à la journalisation de preuves (proof logging)\, approche consistant à faire produire par les solveurs des traces de preuve susceptibles d’être vérifiées de manière indépendante par des vérificateurs externes. Le format Alethe est récemment apparu comme un standard pour représenter de telles preuves SMT. Plusieurs solveurs SMT ont adopté le format Alethe. Néanmoins\, l’absence actuelle d’un vérificateur de preuves certifié pour Alethe en limite encore l’adoption. \nDans cette thèse\, nous proposons un outil permettant de traduire les preuves SMT produites au format Alethe vers l’assistant de preuve Lambdapi\, une implémentation du λΠ-calcul modulo la réécriture. Lambdapi est un assistant de preuve fondationnel\, basé sur la théorie des types dépendants et sur des règles de réécriture\, conçu pour servir de pivot pour l’échange de preuves entre assistants de preuve interactifs. Nous présentons un encodage modulaire de la logique SMT et des règles Alethe dans Lambdapi\, couvrant des théories fondamentales telles que le raisonnement du premier ordre et l’arithmétique linéaire. \nNous détaillons ensuite le processus de reconstruction\, qui requiert des techniques telles que la démonstration par réflexion et l’élaboration de simplifications spécifiques aux solveurs. Enfin\, nous évaluons notre implémentation sur des benchmarks et montrons que les preuves Alethe générées par des solveurs SMT modernes peuvent être reconstruites de manière efficace et fiable dans Lambdapi\, ouvrant ainsi la voie à des preuves SMT à la fois vérifiées et portables. \n  \n\n\nAlessio Coltellacci (Veridis)\, will defend his thesis entitled \nReconstructing SMT Proofs in Lambdapi.\nThe defense will be held in English on Monday 26th\, 2026 at 2:00 P.M. at LORIA\, in room C005.\nThe defense will be followed by a pot de thèse in front of the room. \nFor those who cannot attend in person\, the defense will be streamed online (accessible from 2 P.M.\, you can join directly from a web browser): \nhttps://cnrs.zoom.us/j/95435518789?pwd=RiIzDeE5HIJEofM1x4g3raM9KZ3Y5x.1 \nJury:\n\nLaura Kovács\, Vienna University of Technology (reviewer)\nAlexander Steen\, University of Greifswald (reviewer)\nChantal Keller\, LMF/University Paris-Saclay (examiner)\nMathias Fleury\, University of Freiburg (examiner)\nRégine Laleau\, University Paris-Est Créteil (examiner)\nStephan Merz\, Inria/University of Lorraine (PhD supervisor)\n\nAbstract:\nPowerful modern automated theorem provers are increasingly used to establish the correctness of critical computer systems. Among them\, Satisfiability Modulo Theories (SMT) solvers play a central role thanks to their expressive power and efficiency in handling complex logical reasoning tasks. However\, their size and complexity make full formal verification of their implementations impractical\, raising a fundamental question of trust: \nCan we trust the correctness of their results? \nA promising answer lies in proof logging\, where solvers produce proof traces that proof checkers can independently check. The Alethe format has recently emerged as a unified framework for representing such SMT proofs. Several SMT solvers have adopted the Alethe format. However\, Alethe lacks a certified proof checker\, limiting its adoption and trustworthiness. \nIn this thesis\, we propose a reconstruction framework that translates Alethe proof traces into the Lambdapi proof assistant\, an implementation of the λΠ-calculus modulo rewriting. Lambdapi is a foundational proof assistant based on dependent type theory and rewriting rules\, intended to serve as a pivot for exchanging proofs between interactive proof assistants. We present a modular encoding of SMT logic and Alethe rules in Lambdapi\, covering core theories such as first-order reasoning and linear arithmetic. \nWe detail the reconstruction process\, which requires techniques such as proof by reflection and the elaboration of solver specific simplifications. Finally\, we evaluate our implementation on benchmark examples and demonstrate that Alethe proofs generated by modern SMT solvers can be efficiently and reliably reconstructed in Lambdapi\, paving the way toward portable and independently verifiable SMT proofs. \n  \n 
URL:https://www.loria.fr/event/soutenance-de-these-alessio_coltellacci/
LOCATION:C005\, Loria
CATEGORIES:Soutenance
END:VEVENT
END:VCALENDAR