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
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20250630
DTEND;VALUE=DATE:20250705
DTSTAMP:20260608T053311
CREATED:20250512T154129Z
LAST-MODIFIED:20250512T154129Z
UID:28155-1751241600-1751673599@www.loria.fr
SUMMARY:WORDS 2025 - Combinatorics on words
DESCRIPTION:WORDS is a biannual international conference devoted to combinatorics on words (sequences of symbols) and its links to algorithms\, algebra\, dynamics and number theory\, as well as its applications. The foundations of combinatorics on words lie in the pioneering work of Axel Thue in the early 20th century\, it is now established as an area that lies at the intersection of discrete mathematics and theoretical computer science. The main objects are avoidable or unavoidable regularities in finite and infinite words\, and the investigation of properties of formal languages. \nWORDS will take place at Loria from June 30th to July 4th. \nMore information on the conference website.
URL:https://www.loria.fr/event/words-2025-combinatorics-on-words/
LOCATION:Loria
CATEGORIES:Conférence
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250707T100000
DTEND;TZID=Europe/Paris:20250707T120000
DTSTAMP:20260608T053311
CREATED:20250630T105102Z
LAST-MODIFIED:20250630T105102Z
UID:28273-1751882400-1751889600@www.loria.fr
SUMMARY:Soutenance de thèse : Mohammed Fellaji
DESCRIPTION:Mohammed Fellaji soutiendra sa thèse intitulée Calibration épistémique pour l’apprentissage profond bayésien : principes\, enjeux et solutions\, dirigée par Miguel Couceiro et Frédéric Pennerath\, le lundi 7 juillet à 10 heures dans l’amphithéâtre de CentraleSupélec\, Campus de Metz. \nComposition du jury : \n\n\n\nM. Miguel COUCEIRO\nUniversité de Lisbonne\nDirecteur de thèse\n\n\nM. Frédéric PENNERATH\nCentraleSupélec\nCo-directeur de thèse\n\n\nM. Sébastien DESTERCKE\nCNRS\, UMR 7253 Heudiasyc\nRapporteur\n\n\nM. Willem WAEGEMAN\nGhent University\nRapporteur\n\n\nMme Marianne CLAUSEL\nUniversité de Lorraine\nExaminatrice\n\n\nMme Ines LYNCE\nInstituto Superior Técnico INESC-ID Lisboa\nExaminatrice\n\n\nM. Brieuc CONAN-GUEZ\nUniversité de Lorraine\nInvité\n\n\nMme Sandrine VATON\nIMT Atlantique\nInvitée\n\n\n\n\n\n\n\nMots-clés :\nmodèles bayésiens ; incertitudes ; incertitude épistémique ; calibration du modèle ; calibration épistémique\n\n\n\n\n\n\n\nRésumé :\n\n\nLa plupart des modèles d’apprentissage profond produisent des distributions probabilistes pour leurs prédictions\, mais leur évaluation se base souvent sur des métriques de performance brute (commme la précision de la classification)\, ignorant l’incertitude des prédictions. L’importance de mesurer la confiance des modèles est soulignée en raison de leurs limites de généralisation et de la nécessité de prévoir des performances fiables sur de nouvelles données. Le domaine de la calibration des modèles en apprentissage profond a ainsi émergé pour promouvoir des prédictions plus fiables. Entre-temps\, le développement de modèles tels que les réseaux neuronaux bayésiens\, les ensembles profonds ou les modèles profonds « evidentiels » a permis d’estimer le niveau d’incertitude épistémique\, inhérent au processus d’apprentissage\, en complément de l’incertitude aléatoire déjà estimée par les modèles standard. Si la qualité de l’incertitude prédictive/aléatoire peut être mesurée par des méthodes de calibration bien établies\, il n’en va pas de même pour l’incertitude épistémique. Cette dernière étant considérée comme la mesure idéale dans une série d’applications\, il est donc important d’explorer ses propriétés de calibration\, ce qui a rarement été abordé dans la littérature. Définir la calibration épistémique pose des défis quant à sa formalisation\, sa comparaison avec la calibration de modèle\, et son étude sur la base de principes fondamentaux. Cette thèse aborde ces questions par des approches théoriques et expérimentales appliquées aux classificateurs profonds dans le but d’explorer l’incertitude épistémique et ses implications dans diverses applications. Après avoir étudié l’état de l’art sur la quantification de l’incertitude probabiliste\, notamment dans les modèles profonds\, et face à la difficulté de calibrer quantitativement l’incertitude épistémique\, nous définissons formellement deux principes élémentaires que cette incertitude devrait idéalement respecter : les principes liés aux données et au modèle. En effet\, l’incertitude épistémique étant liée au modèle\, elle devrait diminuer avec la quantité de données disponibles et augmenter avec la complexité ou l’expressivité du modèle. Empiriquement\, et sur divers jeux de données\, nous montrons que les modèles bayésiens courants ou leurs alternatives ne respectent pas pleinement ces principes fondamentaux. Nous en concluons que ces modèles manquent de calibration épistémique\, un phénomène que nous appelons le trou d’incertitude épistémique. Étant donné l’importance du prior dans l’incertitude épistémique\, nous analysons si l’échec des modèles provient d’un choix inadéquat du prior. Pour cela\, nous introduisons la Conflictual loss\, une fonction de loss qui favorise la diversité des sorties grâce à l’utilisation d’un prior non informatif. Nous montrons expérimentalement que cette loss améliore la calibration de l’incertitude épistémique et ne présente pas le trou d’incertitude épistémique. De plus\, des entrées particulières ont été étudiées\, comme des échantillons bruités ou issus du jeu de test\, afin d’analyser l’évolution des différentes sources d’incertitudes. Nous analysons aussi les spécificités de la diversité conflictuelle dans l’espace des paramètres\, en soulignant les différences avec les ensembles profonds. À partir de cette analyse\, une version compacte du modèle est formalisée\, mettant en valeur les apports du prior non informatif. Enfin\, les modèles sont évalués sur des applications populaires telles que la détection hors distribution (OOD) et l’apprentissage actif bayésien.\n\n\n  \nAbstract : \n  \nAlthough most deep learning models provide probabilistic distributions as a predictive output\, their evaluation often relies mainly on raw performance metrics (e.g. accuracy for classification) insensitive to the uncertainty expressed by these distributions. Yet\, the inherent restrictions on the generalization ability of these models make them extremely unlikely to reach flawless performance on new data\, hence advocating for the importance of examining the confidence of the predictions. In this regard\, the field of model calibration has recently gained considerable attention in the deep learning community\, with the aim of encouraging reliable predictions. Meanwhile\, the development of models like Bayesian neural networks\, deep ensemble or evidential deep models has made it possible to estimate the level of epistemic uncertainty\, inherent to the learning process\, in complement to the aleatoric uncertainty already estimated by standard models. While the quality of predictive/aleatoric uncertainty can be measured by well-established calibration methods\, the same cannot be said about epistemic uncertainty. Since the latter is considered the ideal score in a range of applications\, it is therefore of utmost importance to explore its calibration properties\, which has rarely been addressed in the literature. When attempting to define epistemic calibration\, more challenges arise on how to formalize this calibration\, assuming its existence. For instance\, it may be worth considering whether it is feasible to study it similarly to model calibration\, or at the very least\, based on fundamental principles. Throughout this thesis\, we have attempted to overcome these challenges by conducting work of both a theoretical and experimental nature in the specific context of deep classifiers. After reviewing the state of the art to quantifying probabilistic uncertainty\, especially in the field of deep models\, and given the difficulty of quantitatively calibrating epistemic uncertainty\, we first define formally two elementary principles that epistemic uncertainty should ideally satisfy to our view: data-related and model-related principles. Indeed\, as epistemic uncertainty is associated with knowledge in the model\, it should decrease with the amount of available data and increase with the expressivity/complexity of the model. Empirically\, and on a variety of datasets\, we show that commonly used Bayesian models or alternatives do not fully verify these fundamental principles. Therefore\, we argue that these models lack epistemic calibration\, and we refer to this phenomenon as the epistemic uncertainty hole. Considering the critical role that the prior plays in shaping epistemic uncertainty\, we investigate how much this failure of the tested models is due to an inadequate choice of prior. To this end\, we introduce Conflictual loss\, a loss function that favors diversity of the outputs thanks to the use of an uninformative prior. We then experimentally show that Conflictual loss leads to a better calibrated epistemic uncertainty and does not suffer from the epistemic uncertainty hole. Additionally\, special inputs were investigated\, which were either noisy samples or drawn from the test set\, to understand the evolution of different sources of uncertainties. Furthermore\, we analyze the specificities of the conflictual diversity in the parameters space and highlight the differences with deep ensembles. Building on the findings of this analysis\, a compact version of the model was formalized\, further emphasizing the benefits of the uninformative prior. Finally\, the models were evaluated on popular applications such as out-of-distribution (OOD) detection and Bayesian active learning.
URL:https://www.loria.fr/event/soutenance-de-these-mohammed-fellaji/
LOCATION:CentraleSupélec Metz\, 2\, rue Edouard Belin\, Metz\, France
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250707T140000
DTEND;TZID=Europe/Paris:20250707T160000
DTSTAMP:20260608T053311
CREATED:20250701T141605Z
LAST-MODIFIED:20250701T141605Z
UID:28275-1751896800-1751904000@www.loria.fr
SUMMARY:Soutenance de thèse : Mário Silva (Mocqua)
DESCRIPTION:Mário Silva (Mocqua) will defend his thesis on Monday\, July 7th at 2pm in room C005\, with a presentation entitled Programming languages characterizing quantum efficiency. \n\n\n\n\n\n\nJury:\n– Ugo Dal Lago (rapporteur)\, Università di Bologna\n– Benoît Valiron (rapporteur)\, CentraleSupélec\, Université Paris-Saclay\, LMF\n– Gilles Barthe (examinateur)\, MPI-SP Bochum\, IMDEA Software Institute\n– Cristina Sernadas (examinatrice)\, Instituto Superior Técnico\, Universidade de Lisboa\n– Romain Péchoux (directeur de thèse)\, Loria\, Université de Lorraine\n– Emmanuel Hainry (co-directeur de thèse)\, Loria\, Université de Lorraine\n\n\n\n\n\n\n\n\n\nAbstract:\nQuantum computing is a paradigm of computation where quantum physical phenomena such as entanglement and superposition are used to obtain an advantage over classical computation. While the quantum programmer has a large choice of programming languages at their disposal\, none allow for ensuring the feasibility of their programs. To this end\, we introduce a first-order quantum programming language (FOQ) that allows for reasoning about the physical realizability and complexity of quantum programs.\nWe introduce statically-checked restrictions over FOQ program that allow us to identify fragments that are sound and complete for quantum polynomial (PFOQ) and polylogarithmic time (LFOQ). We provide a number of examples of polynomial and polylogarithmic time programs that are captured by these fragments\, and constitute relevant quantum functions\, such as the quantum Fourier transform\, quantum arithmetic\, and examples like binary search.\nWe also introduce new compilation techniques that allow for translating PFOQ and LFOQ programs into circuits of adequate complexity\, avoiding the exponential blow-up that can occur from the recursive use of a quantum control statement. We further improve this compilation technique and are able to define a FOQ fragment that is sound and complete for quantum polynomial time where the circuit complexity of the quantum case statement is the maximum of the branches\, instead of their sum. We develop a prototype compiler that implements these ideas over PFOQ and LFOQ programs.
URL:https://www.loria.fr/event/soutenance-de-these-mario-silva-mocqua/
LOCATION:C005
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250708T110000
DTEND;TZID=Europe/Paris:20250708T120000
DTSTAMP:20260608T053311
CREATED:20250617T113521Z
LAST-MODIFIED:20250617T113521Z
UID:28250-1751972400-1751976000@www.loria.fr
SUMMARY:MosAIK team seminar: Willem Waegeman (Ghent University)
DESCRIPTION:The MosAIK team organizes a seminar open to all the laboratory on Tuesday\, 8 July at 11am in room A008. \nWillem Waegeman\, associate professor at Ghent University\, will give a presentation entitled Making AI systems more trustworthy through uncertainty disentanglement. \nAbstract:\nGiven the increasing use of machine learning (ML) models for decisions that directly affect humans\, it is essential that these models not only provide accurate predictions but also offer a credible representation of their uncertainty. Recent advances have led to probabilistic models capable of disentangling two types of uncertainty: aleatoric and epistemic. Aleatoric uncertainty is inherent to the data and cannot be eliminated\, while epistemic uncertainty is related to the ML model and can be reduced with better modeling approaches or more data. In this talk I will elaborate on the opportunities and limitations of uncertainty disentanglement in explaining why an ML model fails to deliver accurate predictions. Furthermore\, I will discuss several use cases that demonstrate the potential of uncertainty disentanglement for biotechnology applications. \nBio:\n \nWillem Waegeman is an associate professor at Ghent University\, and group leader of the BIOML group of the Department of Data Analysis and Mathematical Modelling. His main research interests are machine learning and bioinformatics. Specific interests include uncertainty quantification and complex prediction problems\, such as multi-target and structured prediction problems. He is an author of more than 100 peer-reviewed papers in journals and conferences\, and his work has won several prizes. In recent years he has served on the program committees of leading conferences in AI (ICML\, Neurips\, ECML/PKDD\, ICLR\, UAI\, AISTATS\, IJCAI\, etc.).
URL:https://www.loria.fr/event/mosaik-team-seminar-willem-waegeman-ghent-university/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250710T133000
DTEND;TZID=Europe/Paris:20250710T150000
DTSTAMP:20260608T053311
CREATED:20250522T124011Z
LAST-MODIFIED:20250522T132920Z
UID:28220-1752154200-1752159600@www.loria.fr
SUMMARY:Colloquium du Loria - Benoit Rottembourg
DESCRIPTION:Le prochain colloquium du Loria aura lieu le jeudi 10 juillet à 13 h 30 dans l’amphithéâtre. \nNous aurons le plaisir d’accueillir Benoit Rottembourg\, responsable du projet pilote Regalia à Inria\, avec une présentation en français\, intitulée Approches pour la détection de biais dans les recommandations des algorithmes en ligne. \nRésumé : \nLes places de marché représentent plus de 65 % des ventes mondiales de commerce électronique\, leur chiffre d’affaires ayant été multiplié par 4 en moins de 10 ans. Dans le même temps\, le commerce électronique continue de croître. En 2023\, il pesait 159\,9 milliards d’euros en France\, soit 10 % des ventes au détail. Les algorithmes de recommandation – les fameuses buybox – de ces places de marché guident nos choix. Mais que sait-on de leur loyauté ? Comment savoir si elles nous trompent\, si elles sont biaisées ou si elles ne font que maximiser le chiffre d’affaires de la plateforme ? \nCes questions s’apparentent à des problématiques de fairness en Machine Learning qui est un sujet de recherche particulièrement actif depuis une dizaine d’années. Nous avons cherché à montrer comment vérifier l’équité de ces algorithmes\, considérés comme des boîtes noires\, en étudiant le cas d’Amazon\, sur plusieurs milliers de produits en France et sur 5 ans d’historique. Nous montrerons que la recherche d’un biais préjudiciable (pour le consommateur ou pour les concurrents de la plateforme) pose la question de trouver un contexte d’utilisation dans lequel le biais est statistiquement significatif et où le préjudice est mesurable. \nNous illustrerons la difficulté de détection qui se pose lorsque le biais est « régional » (ni global\, ni local à une décision) et\, au-delà du cas Amazon\, quand la variable sensible décrivant la population discriminée est continue (comme l’âge du client). \nEnfin\, et plus généralement\, nous décrirons les problèmes qui apparaissent lorsque le budget d’interrogation de l’algorithme de la boîte noire est limité et que plusieurs auditeurs coopèrent pour détecter les biais plus efficacement.
URL:https://www.loria.fr/event/colloquium-du-loria-benoit-rottembourg/
LOCATION:Amphithéâtre du Loria
CATEGORIES:Colloquium Loria
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20250913
DTEND;VALUE=DATE:20250914
DTSTAMP:20260608T053311
CREATED:20250829T131703Z
LAST-MODIFIED:20250829T131703Z
UID:28334-1757721600-1757807999@www.loria.fr
SUMMARY:Les Sciences sur la Place
DESCRIPTION:La 20e édition des Sciences sur la Place qui se tiendra du 12 au 14 septembre 2025 à Nancy dans le cadre du salon national Le Livre sur la Place. \nDécouvrez le programme de cette nouvelle édition : \n\nles causeries scientifiques\nles auteurs en dédicace\nles livres en dédicace\n\nÀ cette occasion\, Samuel Nowakowski\, maître de conférences Université de Lorraine au Loria\, présentera son ouvrage L’essentiel de l’intelligence artificielle le samedi 13 septembre. \nPlus d’informations sur le site des Sciences sur la Place.
URL:https://www.loria.fr/event/les-sciences-sur-la-place/
LOCATION:Nancy\, 54000\, France
CATEGORIES:Événement grand public
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250916T133000
DTEND;TZID=Europe/Paris:20250916T143000
DTSTAMP:20260608T053311
CREATED:20250902T125015Z
LAST-MODIFIED:20250902T125015Z
UID:28354-1758029400-1758033000@www.loria.fr
SUMMARY:Colloquium du Loria : Luca De Feo
DESCRIPTION:Next Loria Colloquium will take place on Tuesday\, September 16th at 1:30 pm in the Amphitheater. \nWe will have the pleasure to welcome Luca De Feo\, researcher at IBM Research Europe\, with a presentation entitled « A Personal History of Isogeny-based Cryptography« . \nAbstract: \nShor’s quantum algorithm makes all cryptography based on integer factorization or the discrete logarithm problem\, that is all currently deployed public key cryptography\, obsolete. Hence the focus of research and industry has partly shifted in recent years towards alternative foundations for public key cryptography that do not fall victim to known quantum algorithms. \nAmong these proposed foundations\, isogenies of elliptic curves are one of the most recent. Indeed the first proposals appeared in the early 2000s\, but the field only really took off less than 10 years ago. Despite being short\, the history of isogeny-based cryptography is full of drama\, plot twists\, and even passes by LORIA. \nI have had the chance to witness the development of the field almost from its inception\, and I believe its history can teach us something on research in general. In this talk I will recount the progress in isogeny-based cryptography from the early ideas to the modern constructions currently being considered for standardization\, always keeping a personal perspective. \nLuca De Feo is a researcher at IBM Research Europe working on quantum-safe cryptography. He graduated from École Polytechnique in 2010 with a thesis on isogeny computations; He has been computing them ever since. \nPeople from outside the Loria must register by sending an email to Marie Baron – marie.baron (at) loria.fr before September 14th.
URL:https://www.loria.fr/event/colloquium-du-loria-luca-de-feo/
LOCATION:Amphithéâtre du Loria
CATEGORIES:Colloquium Loria
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250917T140000
DTEND;TZID=Europe/Paris:20250917T160000
DTSTAMP:20260608T053311
CREATED:20250829T154230Z
LAST-MODIFIED:20250829T154230Z
UID:28349-1758117600-1758124800@www.loria.fr
SUMMARY:DeepLorIA Tutorial: Franco Terranova (Resist)
DESCRIPTION:DeepLorIA is an internal network for sharing knowledge about artificial intelligence\, whatever the field of application. It is open to all Loria’s teams that use AI in their research. \nNext DeepLorIA tutorial will take place on September 17th from 2 to 4 pm in room A008\, with Franco Terranova (Resist team). \nMeta-Reinforcement Learning: Boosting RL Generalization \nReinforcement Learning (RL) enables agents to learn optimal behaviors through trial and error but often struggles to generalize to new situations. Meta-Reinforcement Learning (Meta-RL) addresses this limitation by leveraging prior experience to help agents adapt more quickly to novel tasks. This tutorial will cover the fundamentals of deep RL and meta-learning\, including an introduction to MAML applied to RL. The hands-on session will use a grid environment to explore how policies trained on a single environment\, with domain randomization\, or via meta-learning respond to environmental perturbations. \nSchedule: Theory 14:00 – 14:50 / Coffee Break 14:50 – 15:10 / Lab 15:10 – 16:00 \n? Register here
URL:https://www.loria.fr/event/deeploria-tutorial-franco-terranova-resist/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250918T130000
DTEND;TZID=Europe/Paris:20250918T150000
DTSTAMP:20260608T053311
CREATED:20250829T144242Z
LAST-MODIFIED:20250829T144242Z
UID:28347-1758200400-1758207600@www.loria.fr
SUMMARY:Séminaire Sécurité Loria (SSL) : Ksenia Ermoshina & Charlie Jacomme
DESCRIPTION:Next SSL (Loria Security Seminar) will take place on Thursday\, September 18th at 1pm in room A008. \nFor this come back after the summer\, we will have an “hors format” edition with two talks: \n\nKsenia Ermoshina\, CNRS researcher at Centre Internet et Société.\nDecentralized e2ee messaging apps: a challenge for security and usability?\nCharlie Jacomme\, Inria researcher in the Pesto team (Loria)\nSecurity Analysis of the Signal Messenger specifications and implementation\n\n\nKsenia Ermoshina (Centre Internet et Société).\nDecentralized e2ee messaging apps: a challenge for security and usability? \n\nThis presentation explores the ecosystem of federated end-to-end encrypted messaging applications\, and the challenges that decentralized architectures raise in terms of security and usability. Based on an in-depth ethnographic study of the communities involved in developing\, testing and using federated messengers (namely Element and Delta Chat)\, this research explores the unprecedented success of decentralized platforms and protocols in Europe and across the world. Indeed\, in the recent years\, the trust of users in centralized and proprietary platforms and messengers have been eroding\, especially among marginalized communities\, activists\, journalists and tech enthusiasts. Following the acquisition of X by Elon Musk and the recent inauguration of Trump in January 2025\, the question of digital sovereignty and the urgency of migrating from US-owned messengers have become central. We have analyzed how various communities\, including governments in France and Germany\, have adopted Matrix protocol for their communications. In this presentation we will address the technological and sociopolitical issues related to the adoption of federated apps by the civil society and public institutions. \n\n\n\nCharlie Jacomme (Inria Nancy\, Loria):\nSecurity Analysis of the Signal Messenger specifications and implementation\nSignal Messenger is one of the most widely used secure messaging application\, and with its underlying library also used by WhatsApp and Facebook Messenger\, it provides end-to-end encryption to millions of users everyday.  In this talk\, we will present the protocols underlying the Signal Messenger application\, which mainly consists of three distinct specifications: PQXDH for the initial key exchange\, the Double Ratchet for updating encryption keys for each message sent out\, and Sesame\, for managing  multiple devices and sessions. While introducing each of the components and their articulation\, we will present how for several years we have been using a mix of formal methods and real world experiments to study the security guarantees provided by the application. We will present several positive results of security obtained with computer-aided cryptography\, as well as describe several attacks we uncovered\, some only on the design and the specifications of the protocol\, and some others having consequences on the actual forward secrecy or post-compromise security of the implementation. We will finally describe how we interacted with Signal’s developers to propose fixes\, most of which were integrated in the specifications or the implementation.
URL:https://www.loria.fr/event/seminaire-securite-loria-ssl-ksenia-ermoshina-charlie-jacomme/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250919T093000
DTEND;TZID=Europe/Paris:20250919T113000
DTSTAMP:20260608T053311
CREATED:20250918T074325Z
LAST-MODIFIED:20250918T083646Z
UID:28450-1758274200-1758281400@www.loria.fr
SUMMARY:PhD Defense: Alexandre Oliveira Souza (Larsen)
DESCRIPTION:Alexandre Oliveira Souza\, PhD Student in the Larsen team\, will defend his thesis on September 19 at 9:30 am in room A008. \nHis thesis is entitled « AI-Based Motion Prediction for Occupational Exoskeleton Control: From Simulation to User Evaluation ». \nExoskeletons can help address work-related musculoskeletal disorders (WMSDs). Currently\, most exoskeletons used in industry are passive devices: they provide mechanical assistance using springs or elastic bands\, but are often limited to a single type of task\, which hinders their practi- cal adoption. Active\, motor-driven exoskeletons have the potential to provide more versatile and greater assistance. However\, their control remains a challenge; the exoskeleton must understand how to assist the user in the task at hand. \n\nAlexandre Oliveira Souza\, doctorant dans l’équipe Larsen\, soutiendra sa thèse le 19 septembre à 9h30 en salle A008. \nSa thèse est intitulée Prédiction du mouvement basée intelligence artificielle pour le control d’exosquelette actif: De la simulation à l’étude utilisateur. \nLes exosquelettes peuvent permettre de s’attaquer aux troubles musculo-squelettiques liés au travail (TMS). Actuellement\, la plupart des exosquelettes utilisés dans l’industrie sont des dis- positifs passifs : ils fournissent une assistance mécanique en utilisant des ressorts ou des bandes élastiques\, mais sont souvent limités à un type de tâche spécique\, limitant leur adoption en pratique. Les exosquelettes actifs\, actionnés par des moteurs\, ont le potentiel de fournir une assistance plus versatile et plus élevée. \nJURY\nDirecteur de thèse : François Charpillet\, Inria – Loria.\nRapporteur : Marie Babel\, INSA de Rennes\nRapporteur : Nathanael Jarrassé\, ISIR\nExaminateur : Katja Mombaur\, KIT BioRobotics Lab\nCo-encadrant de thèse : Pauline Maurice\, CNRS – Loria\nExaminateur : Armelle Brun\, Université de Lorraine – Loria.
URL:https://www.loria.fr/event/phd-defense-alexandre-oliveira-souza-larsen/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20250920
DTEND;VALUE=DATE:20250922
DTSTAMP:20260608T053311
CREATED:20250829T132604Z
LAST-MODIFIED:20250916T141205Z
UID:28336-1758326400-1758499199@www.loria.fr
SUMMARY:Journées européennes du matrimoine au Féru des Sciences
DESCRIPTION:Le Féru des sciences organise\, pour la 4e édition\, les Journées du matrimoine et met à l’honneur les femmes scientifiques lors d’un week-end totalement gratuit les 20 et 21 septembre\, de 14 h à 18 h ! L’occasion de rencontrer les chercheuses lorraines\, découvrir leurs travaux actuels\, participer à des ateliers ludiques\, (re)découvrir nos collections et expérimenter l’Espace à Bidouilles. \nAu programme du week-end : Tête-à-tête avec une (ou plusieurs) chercheuse(s)\, Labo d’impro\, Les femmes et les cités ouvrières\, Atelier de contribution Wiki – spécial « Femmes de sciences ». \nRendez-vous avec les membres de nos équipes ! \n\n\nMarie Cousin (doctorante dans l’équipe Sémagramme)\nLes mots dont vous êtes l’héroïne ou le héros.\n\n\nComment l’informatique peut-il nous permettre de créer plusieurs phrases à partir d’un sens donné ? À partir d’une théorie linguistique et des grammaires\, il est possible de développer une logique qui permet de construire des expressions. Pour avoir un mur\, on doit assembler plusieurs briques\, en faisant attention à leurs tailles pour qu’elles s’imbriquent correctement. Pour avoir une phrase correcte\, il faut assembler plusieurs mots ou expressions en faisant attention aux autres mots ou expressions auxquels ils sont liés ! \n\n\nMarie Duflot-Kremer (maîtresse de conférences dans l’équipe Mosel-Veridis) et Juliette Schilling (étudiante).\nUne pincée de logique pour mener la vie de château\n\n\nAider des aventuriers à traverser une rivière avant de se faire attraper par un tigre\, savoir si une personne qui a peur du noir peut atteindre un trésor\, ou faire de la cuisine à l’aide de formules magiques\, et si la logique était la solution ? Au travers de jeux à priori sans lien entre eux\, je vous propose d’entrer dans mon monde : celui de la vérification formelle de logiciels. \n\n\nClémence Bouvier (chercheuse dans l’équipe Caramba).\nComment prouver ce que l’on ne peut révéler ?\n\n\nComment prouver que vous savez où est Charlie sans révéler sa position ? Ou encore comment prouver que vous savez résoudre la grille d’un sudoku sans en révéler la solution ? Autrement dit\, est-il possible de prouver l’exactitude d’une information sans en dévoiler les moindres détails ? Vous découvrirez comment au travers de jeux. \n? Clémence Bouvier participera également au Labo d’impro avec la compagnie Crache Texte\, le 20 septembre à 16 h 30. \n\n\nRania Ait Chabane (doctorante dans l’équipe Bird).\nEt si l’IA personnalisait les parcours d’apprentissage en ligne ?\n\n\nLes plateformes d’apprentissage en ligne se multiplient et proposent une grande variété de ressources. Mon travail de recherche porte sur la personnalisation des parcours afin d’accompagner chaque apprenant dans l’atteinte de ses objectifs pédagogiques de manière optimale. \nPlus d’informations sur le site du Féru des Sciences.
URL:https://www.loria.fr/event/journees-europeennes-du-matrimoine-au-feru-des-sciences/
LOCATION:Féru des sciences\, 1 Av. du Général de Gaulle\, 54140 Jarville la Malgrange\, France
CATEGORIES:Événement grand public
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20251001
DTEND;VALUE=DATE:20251004
DTSTAMP:20260608T053311
CREATED:20250918T085822Z
LAST-MODIFIED:20250918T085822Z
UID:28463-1759276800-1759535999@www.loria.fr
SUMMARY:E-Vote ID - Tenth International Joint Conference on Electronic Voting
DESCRIPTION:The conference E-Vote-ID will take place in Nancy from October 1st to October 3rd. \nThis is the tenth edition of the leading international event for evoting experts from all over the world\, taking place in Nancy in October 2025. One of E-Vote-ID’s major objectives is to provide a forum for interdisciplinary and open discussion of all issues related to electronic voting (including\, but not limited to\, polling stations\, kiosks\, ballot scanners\, and Internet voting). In the first nine editions\, over 300 presentations were discussed\, gathering more than 1400 participants. The format of the conference is an in-place three-day meeting. No parallel sessions will be held and sufficient space will be given for informal communication. The aim of the conference is to bring together e-voting specialists working in academia\, politics\, government\, and industry in order to discuss various aspects of all forms of electronic voting. \nGeneral Chairs: Melanie Volkamer (Karlsruhe Institute of Technology\, Germany)\, David Duenas-Cid (Kozminski University\, Poland)\, Peter Rønne (University of Luxembourg\, Luxembourg) \nLocal Chairs: Pierrick Gaudry (CNRS – Nancy\, France) and Alexandre Debant (Inria – Nancy\, France)
URL:https://www.loria.fr/event/e-vote-id-tenth-international-joint-conference-on-electronic-voting/
LOCATION:Loria
CATEGORIES:Conférence
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251003T180000
DTEND;TZID=Europe/Paris:20251003T220000
DTSTAMP:20260608T053311
CREATED:20250829T140208Z
LAST-MODIFIED:20250910T093429Z
UID:28342-1759514400-1759528800@www.loria.fr
SUMMARY:Nuit de la Science
DESCRIPTION:Pour la Nuit de la Science\, le 3 octobre 2025\, les scientifiques du site lorrain de recherche vous donnent rendez-vous à la MJC Nomade de Vandoeuvre-lès-Nancy afin de découvrir et échanger avec eux autour d’animations et objets directement issus de leurs recherches ! \nAu programme : \n– 14 h à 16 h : animations pour les scolaires\, sur réservation. \n– 18 h à 22 h : animations pour le grand public\, entrée libre et gratuite ! \nPossibilité de restauration sur place. Une quinzaine d’animations scientifiques et un laboratoire d’improvisation. \nAvec : \n\n\nFranco Terranova\, Mohamed Amine El Yagouby et Jhon Sebastian Rojas Rodrigue (Resist) : Quand l’IA anticipe les hackers !\n » Les réseaux informatiques ont des faiblesses. En simulant des attaques contrôlées\, les failles sont identifiées. Demandez à une IA d’explorer les chemins d’attaque critiques et de tester les vulnérabilités pour renforcer la défense.  »\nRendez-vous dans l’espace  » Réseaux Vertueux  » de 18h00 à 21h30\n\n\n\nRomain Serizel (Multispeech) : Du bruit plein les oreilles.\n » Un repas de famille\, un verre au bar… Le bruit ambiant est assourdissant. Des intelligences artificielles sont développées pour améliorer les prothèses auditives et y remettre les voix au premier plan. «  \nRendez-vous au «  Labo d’impro  » de 19h30 à 21h30\n\n\n\nSamuel Nowakowski (Bird) : À la recherche de l’IA perdue.\nEscape-game\n » La visite du laboratoire d’informatique tourne mal. Vous êtes dématérialisé et intégré en tant que programme dans le système général. Pour en sortir\, réussissez les 5 épreuves. L’Oracle vous souhaite « Bonne chance\, exHumains ».  »\nAvec Anissa Hamza-Jamann / Laboratoire d’Analyse et traitement informatique de la langue française – ATILF\nRendez-vous à la  » Salle de Jeu  » de 18h00 à 21h30\n\n\nPlus d’infos : https://www.univ-lorraine.fr/culture/culturesci/fetedelascience/nuitdelascience/
URL:https://www.loria.fr/event/nuit-de-la-science/
LOCATION:MJC Nomade\, 8 rue de Norvège\, Vandœuvre-les-Nancy\, France
CATEGORIES:Événement grand public,Fête de la science
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251004T140000
DTEND;TZID=Europe/Paris:20251006T220000
DTSTAMP:20260608T053311
CREATED:20250910T102142Z
LAST-MODIFIED:20250910T145129Z
UID:28420-1759586400-1759788000@www.loria.fr
SUMMARY:Fête de la Science à Bouxurulles
DESCRIPTION:L’association Boux Science s’est fixé pour objectif de rendre les sciences accessibles à tous à travers des activités ludiques\, des conférences passionnantes et des initiatives environnementales. \n.\n\nSamedi 4 octobre à 14h00\, à l’occasion de la Fête de la Science\, le village de Bouxurulles se transforme en laboratoire vivant le temps d’une journée exceptionnelle !\nDes scientifiques vous proposent des expériences interactives\, surprenantes et accessibles à tous.\nChacun pourra expérimenter\, manipuler\, discuter avec les chercheurs et mieux comprendre le monde qui nous entoure. \nDes animations ludiques avec des quiz\, des défis scientifiques et des jeux avec des lots à gagner ! \n\n\nAvec Paul Zimmermann (équipe Caramba) : Dés et stratégie\n » Viens jouer avec un ami à un jeu de dés dont la règle est très simple\, mais qui t’amènera à réfléchir à la meilleure stratégie possible. «  \nPlus d’infos : https://boux-science.fr/activites/quand-les-scientifiques-sortent-du-labo-et-viennent-faire-des-experiences-avec-toi/\n\n\n.\n\nLundi 6 octobre à 20h00\, l’association organisera une conférence pour démystifier l’IA et mieux comprendre l’impact de cette technologie sur nos vies quotidiennes. \n\n\nAnimée par Yannick Parmentier (équipe Synalp) : Comprendre l’IA\n » D’où vient-elle\, comment fonctionne-t-elle… Et jusqu’où peut-elle aller ? Une conférence captivante pour percer les mystères de l’IA sans jargon ! «  \nPlus d’infos : https://boux-science.fr/conferences/lia-comprendre-dou-elle-vient-son-fonctionnement-et-ses-limites/
URL:https://www.loria.fr/event/science_bouxurulles/
LOCATION:Bouxurulles\, route de Charmes\, Bouxurulles\, 88130
CATEGORIES:Événement grand public,Fête de la science
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251007T140000
DTEND;TZID=Europe/Paris:20251007T160000
DTSTAMP:20260608T053311
CREATED:20250918T075048Z
LAST-MODIFIED:20250929T120036Z
UID:28452-1759845600-1759852800@www.loria.fr
SUMMARY:PhD Defense: William Eduardo Soto Martinez (Synalp)
DESCRIPTION:William Eduardo Soto Martinez\, PhD student is the Synalp team\, will defend his thesis on October 7 at 2pm in room C005. \nHis thesis is entitled Multilingual Graph-to-Text Generation and Evaluation. \nThe efficient communication of structured knowledge is a longstanding challenge in Natural Language Processing (NLP)\, particularly for Natural Language Generation (NLG). Structured data\, such as Resource Description Framework (RDF) graphs and Abstract Meaning Representation (AMR) graphs\, enables machines to represent knowledge with clarity and consistency. However\, natural language remains the most effective medium for human understanding. \n\nWilliam Eduardo Soto Martinez\, doctorant dans l’équipe Synalp\, soutiendra sa thèse le 7 octobre en salle C005. \nSa thèse est intitulée Génération et Évaluation de Textes Multilingues à partir de Graphes. \nCommuniquer efficacement des connaissances structurées demeure un défi majeur du traitement automatique des langues (TAL)\, en particulier dans le contexte de la génération automatique de texte (GAT). \nDirectrice de thèse : Claire Gardent\, CNRS\, Loria\, Université de Lorraine\nRapporteur : François Yvon\, CNRS\, ISIR\, Sorbonne Université\nRapporteur : François Portet\, Université Grenoble Alpes\nExaminateur : Maxime Amblard\, Université de Lorraine\nCo-encadrant de thèse : Yannick Parmentier\, Université de Lorraine\nExaminateur : Oana Balalau\, Inria Saclay\nExaminateur : Ondrej Ducek\, Charles University\, Prague\nExaminateur : Simon Mille\, Dublin City University
URL:https://www.loria.fr/event/phd-defense-william-eduardo-soto-martinez-synalp/
LOCATION:C005\, Loria
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20251010
DTEND;VALUE=DATE:20251012
DTSTAMP:20260608T053311
CREATED:20250829T143728Z
LAST-MODIFIED:20251001T090419Z
UID:28345-1760054400-1760227199@www.loria.fr
SUMMARY:Village des Sciences de la Faculté des Sciences et Technologies
DESCRIPTION:Cette année\, la 34ᵉ édition de la Fête de la Science se déroulera les vendredi 10 et samedi 11 octobre 2025 sur le Campus Sciences de la Faculté des Sciences et Technologies. \nLe thème de l’édition 2025 de la Fête de la science est « Intelligence(s) »\, elle invite le public à explorer toutes les formes d’intelligence et à repenser ce que signifie être intelligent\, au-delà des frontières humaines. \nLe programme complet se trouve sur le site de la Faculté des Sciences et Technologies. \nRencontrez nos équipes de recherche ! \n\n\nAlexis Scheuer (Larsen) : Rends un robot autonome. \n\n\nVenez découvrir les robots Thymio 2 ! Les plus jeunes pourront interagir avec eux pour accomplir de nombreuses tâches. Les plus grands pourront les programmer pour des tâches plus complexes grâce à des interfaces intuitives et graphiques (Scratch ou même plus simple). Et vous pourrez aussi apprendre leur langage. \n\n\nMarie Duflot-Kremer (Mosel-Veridis) : Intelligence humaine vs machine : allez-vous gagner ?\n\n\nAu travers d’activités ludiques et sans ordinateur\, venez confronter votre intelligence à un algorithme. Essayez de battre une machine à un jeu de stratégie\, de découvrir le « truc » d’un tour de magie informatique\, ou incarner les neurones d’un réseau. \n\n\nColin Blake (Mocqua) : Les chevaliers du quantique : défiez les circuits.\n\n\n–  Jeu vidéo en libre accès : simplifiez un circuit quantique pour vaincre une armée ! Chaque soldat correspond à une porte logique quantique\, le joueur les élimine grâce à de véritables règles mathématiques. \n–  Un atelier avec des tuiles pour résoudre des défis inspirés du jeuvidéo. Apprenez les opérations sur les qubits et simplifiez un circuit quantique ! \n\n\nRomain Serizel (Multispeech) : L’intelligence artificielle au service du son.\n\n\nUne technologie basée sur l’intelligence artificielle permet de nettoyer la parole pour la débarrasser des bruits de fond. En créant vos propres scènes sonores\, vous découvrirez comment l’intelligence artificielle retrouve la parole au milieu des bruits. Venez vivre une expérience immersive ! \n\n\nLaurent Dupont\, Dorian Perrot\, Paul Rémy\, Marc Pouget (Gamble) : Comment faire un coloriage avec un crayon fin ? Les courbes remplissantes à la rescousse !\n\n\nEn mathématiques\, les lignes n’ont pas d’épaisseur\, mais en pratique\, colorier avec un crayon fin prend plus longtemps qu’avec un crayon épais. Grâce aux courbes remplissantes\, on peut remplir totalement une surface\, par exemple trouver une courbe qui colorie complètement un carré. Explorez ces théories via le dessin\, des parcours à billes et découvrez des applications comme l’impression 3D ! \n\n\nFranco Terranova\, Mohamed Amine El Yagouby et Jhon Sebastian Rojas Rodriguez (Resist) : Quand l’IA anticipe les hackers.\n\n\nL’IA ne se limite plus à réagir aux cyberattaques : elle les anticipe. À travers deux scénarios interactifs\, réfléchissons aux enjeux de l’IA en cybersécurité (technologiques\, éthiques\, sociétaux) : \n–  Un agent intelligent explore un réseau d’appareils connectés pour prédire des chemins d’attaque vulnérables critiques.\n– Une IA est capable de générer automatiquement les commandes nécessaires pour exploiter ces vulnérabilités. \n\n\nSamuel Nowakowski (Bird) : À la recherche de l’IA perdue.\n\n\n« Un groupe d’humains\, lors d’une visite d’un laboratoire d’informatique\, est dématérialisé et intégré en tant que programme dans le système général. Errant dans les espaces mémoires d’un gigantesque réseau de neurones\, ils devront réussir 5 épreuves pour espérer en sortir. Ça commence par une rencontre avec L’Oracle qui leur souhaite “Bonne chance\, exHumains et peut-être nous reverrons-nous à la fin ! …” \n\n\nProjection-débat : Des machines intelligentes aux machines pensantes.\nSamedi 11/10 à 13 h 30 – Amphi 8.\n\n\nAnimée par Nicolas Dupuy et Alain Dutech\, cette rencontre originale propose une plongée dans les univers de la science-fiction pour mieux questionner notre rapport aux technologies intelligentes.\nÀ travers la (re)découverte d’extraits de films emblématiques\, des années 1950 à aujourd’hui\, les intervenants inviteront le public à réfléchir à la place des machines dans nos sociétés et à l’évolution du lien homme-machine. Robots\, IA\, interfaces intelligentes : autant de thèmes qui nourrissent la recherche scientifique mais aussi nos imaginaires collectifs.\nPlus d’informations sur Factuel.
URL:https://www.loria.fr/event/village-des-sciences-de-la-faculte-des-sciences-et-technologies/
LOCATION:Faculté des Sciences et Technologies\, Campus Aiguillettes\, Vandœuvre-lès-Nancy\, 54506\, France
CATEGORIES:Événement grand public,Fête de la science
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251013T100000
DTEND;TZID=Europe/Paris:20251017T193000
DTSTAMP:20260608T053311
CREATED:20251023T084353Z
LAST-MODIFIED:20251023T084537Z
UID:28600-1760349600-1760729400@www.loria.fr
SUMMARY:JGA 2025 : Journées de Géométrie Algorithmique
DESCRIPTION:Les Journées de Géométrie Algorithmique 2025 ont pour objectif de rassembler la communauté française de chercheurs en géométrie algorithmique. \nLa géométrie algorithmique est un domaine de recherche à l’intersection des mathématiques et de l’informatique\, comprenant des liens forts avec\, entre autres\, la géométrie et la topologie\, la statistique\, la combinatoire\, l’algorithmique\, la théorie des graphes et le transport optimal. \nCes journées ont permis de créer un environnement de travail propice à la collaboration pour les jeunes étudiants et chercheurs\, afin de leur permettre de présenter leurs résultats et d’interagir facilement avec les autres membres de la communauté. \n\nOrateurs invités : \n\n\n\nVincent Delecroix\nLes surfaces polyédrales et leurs déformations\nVadim Lebovici\nTransformées intégrales topologiques\nBertrand Michel\nUn point point de vue Statistique sur l’Analyse Topologie des Données\nDaria Pchelina\nEmpilements de sphères optimaux\n\nLes exposés ont eu lieu dans la station biologique de Roscoff. \n\nComité d’organisation :\nGuillaume Moroz et Steve Oudot. \n\n\n\n\n\n\n\nhttps://jga2025.sciencesconf.org/ \n  \n\n.
URL:https://www.loria.fr/event/jga2025/
LOCATION:station biologique de Roscoff
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251015T140000
DTEND;TZID=Europe/Paris:20251015T160000
DTSTAMP:20260608T053311
CREATED:20250901T145126Z
LAST-MODIFIED:20250912T132427Z
UID:28351-1760536800-1760544000@www.loria.fr
SUMMARY:DeepLorIA Tutorial: Mohammed Khatbane (Capsid)
DESCRIPTION:Next DeepLorIA tutorial will take place on Wednesday\, October 15th with Mohammed Khatbane (PhD candidate in the Capsid team)\, with a presentation entitled Dynamic Graph Neural Networks: Learning from Evolving Graphs.\n\n\nThis tutorial aims to introduce dynamic graph neural networks (DGNNs) and their applications in modeling evolving graphs over time.\nIn the presentation session\, you’ll learn the basics of Graph Neural Networks (GNNs)\, understand the difference between static and dynamic graphs\, explore dynamic graph representation learning\, and become familiar with key DGNN architectures. In the practical session\, you’ll apply these concepts hands-on: preparing temporal graph data\, implementing a DGNN model\, training and evaluating it\, and visualizing temporal node embeddings. By the end\, you will be able to experiment with dynamic graphs and build models that capture temporal dynamics in data \nSchedule: Theory 14:00 – 14:50 / Coffee Break 14:50 – 15:10 / Lab 15:10 – 16:00 \nLocation: Nancy – Salle A008. \nInstructor: Mohammed Khatbane\, Ph.D. Candidate \n? Register here
URL:https://www.loria.fr/event/deeploria-mohammed-khatbane-capsid/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251016T193000
DTEND;TZID=Europe/Paris:20251016T220000
DTSTAMP:20260608T053311
CREATED:20250905T085510Z
LAST-MODIFIED:20250905T085543Z
UID:28368-1760643000-1760652000@www.loria.fr
SUMMARY:[Projection-débat] Premier contact
DESCRIPTION:La projection-débat du film Premier contact (Denis Villeneuve) aura lieu le 16 octobre à 19 h 30 au Caméo Commanderie à Nancy. \nPremier contact (Arrival en anglais) réalisé par Denis Villeneuve et sorti en salles en 2016 prend doucement sa place parmi les incontournables de la science-fiction. Réalisé après de nombreuses recherches visuelles et scientifiques ce film est une occasion parfaite de (re)découvrir les sciences du langage\, notre rapport à l’autre\, la découverte de l’inconnu. La projection sera suivie d’un débat avec Cécile Pierrot\, chercheuse en informatique et cryptographie historique au Loria (CNRS\, Université de Lorraine\, Inria\, CentraleSupélec)\, Samantha Ruvoletto\, chercheuse en sciences du langage au laboratoire Atilf (CNRS\, Université de Lorraine) et Julianne Sautier\, doctorante en psychologie au Laboratoire INSPIIRE\, psychologue clinicienne au Centre Pierre Janet. \n\nProjection prioritairement à destination des étudiantes et étudiants.\nOuverture au grand public le 10 octobre 2025.\nRéservez vos places gratuitement via ce lien.
URL:https://www.loria.fr/event/projection-debat-premier-contact/
LOCATION:Caméo Commanderie\, 16 rue de la Commanderie\, Nancy\, 54000\, France
CATEGORIES:Événement grand public
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251022T133000
DTEND;TZID=Europe/Paris:20251022T150000
DTSTAMP:20260608T053311
CREATED:20251015T080112Z
LAST-MODIFIED:20251015T080157Z
UID:28578-1761139800-1761145200@www.loria.fr
SUMMARY:Séminaire : l’équipe Adagio accueille Mohamad Janbein Slutn et Loïc Drieu La Rochelle
DESCRIPTION:Mercredi 22 octobre\, le Loria aura le plaisir d’accueillir Mohamad Janbein Slutn et Loïc Drieu La Rochelle qui présenteront leurs travaux de recherche. \n———- \n\nMohamad Janbein Slutn\, Docteur en informatique (spécialisé en modélisation géométrique)\n\nDefinition and characterization of pseudo-curvature for fractal curves.\nLa rugosité est essentielle dans de nombreuses applications\, notamment dans l’industrie (frottement\, mouillabilité et échanges thermiques) et en infographie (génération de terrains ou de textures cohérents). Bien qu’il existe différentes mesures de rugosité pour chaque application\, une caractérisation générale de la rugosité reste difficile à fournir. Dans cet exposé\, nous nous concentrons sur les propriétés différentielles des courbes fractales définies par les systèmes de fonctions itérées (IFS). Nous présentons deux nouvelles approches. La première est la fonction caractéristique différentielle (DCF)\, un nouvel outil permettant de caractériser et d’analyser leur comportement différentiel. Elle induit des familles de DCFs gauche et droite pour un ensemble dense de points de courbe\, ce qui produit des plages de courbures gauche et droite : les pseudo-courbures. La seconde applique les conditions obtenues pour définir des contraintes différentielles afin de contrôler la continuité C^0\, C^1 et C^2 d’une courbe fractale. \n  \n\nLoïc Drieu La Rochelle\, PhD (Optimisation en Reconstruction Géométrique)\n\nVers une nouvelle méthode de polyédrisation réversible de surface 3D\nRésumé : La polyédrisation de surfaces discrètes 3D constitue un\nenjeu central pour la reconstruction géométrique à partir de données\nvolumétriques\, notamment dans le contexte de portabilité où la quantité\nde données est limitées. Il est compliqué d’obtenir un maillage peu\ndense\, topologiquement cohérent et dont l’inversion est possible\, et les\nméthodes ne propose généralement pas de répondre à ces trois contraintes.\nDans ce travail\, nous explorons une approche théorique de polyédrisation\nréversible\, c’est-à-dire une reconstruction de surface dont le maillage\npermet de retrouver sans ambiguïté l’ensemble voxel d’origine lorsqu’il\nest rééchantillonné sur la même grille de discrétisation. Notre méthode\nrepose sur une formulation par contraintes appliquée aux cellules d’un\ngraphe issue d’une segmentation par segment de plan de la surface\ndiscrète. Les positions et valeurs des sommets\, arêtes et faces sont\nalors associées à des ensembles de solutions décrits par des calculs de\npréimages\, et l’intersection de celles-ci dans notre espace primal. Ces\nensembles vont se restreindre au cours de la reconstruction suite à la\npropagation des valeurs pour les éléments positionnés.\nCette étude\, encore en cours\, vise à établir un cadre unifié pour la\npolyédrisation réversible\, conciliant compacité\, fidélité topologique et\nune certaine cohérence dans la succession des normales.
URL:https://www.loria.fr/event/seminaire-mohamad-janbein-slutn-et-loic-drieu-la-rochelle/
LOCATION:C005\, Loria
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251103T100000
DTEND;TZID=Europe/Paris:20251103T193000
DTSTAMP:20260608T053311
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:20260608T053311
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:20260608T053311
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:20260608T053311
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:20260608T053311
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:20260608T053311
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:20260608T053311
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:20260608T053311
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:20260608T053311
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:20260608T053311
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
END:VCALENDAR