BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.16.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:LORIA
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART: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:20260303T093000
DTEND;TZID=Europe/Paris:20260303T093000
DTSTAMP:20260516T170217
CREATED:20260127T151226Z
LAST-MODIFIED:20260226T093052Z
UID:28898-1772530200-1772530200@www.loria.fr
SUMMARY:Soutenance de thèse de Florian MOSER
DESCRIPTION:« Formal Methods for Internet Voting ».\nLa soutenance se déroulera le mardi 3 mars 2026 à 9h30 en A008. La présentation sera en anglais.\nElle sera suivie d’un pot en salle club aux alentours de midi. \nUne visioconférence sera également disponible via le lien suivant :\nhttps://famosergmbh-807.my.webex.com/famosergmbh-807.my/j.php?MTID=m73a3f97ce318919f8c0df02f6dbbb816 \n\nLe jury sera composé de :\n– Ioana Boureanu\, University of Surrey (rapporteuse)\n– Olivier Pereira\, University of Louvain (rapporteur)\n– Thomas Haines\, University of Maryland (examinateur)\n– Emmanuel Thomé\, CNRS (examinateur)\n– Elizabeth Quaglia\, University of London (examinatrice)\n– Veronique Cortier\, CNRS (directrice de thèse)\n– Alexandre Debant\, INRIA (directeur de thèse)\n– Melanie Volkamer\, Karlsruhe Institute of Technology (invitée) \nRésumé :\nLe vote par internet fait référence aux élections effectuées via\ninternet\, où les électeurs utilisent leurs propres appareils personnels\npour exprimer leur vote. Un tel système\, bien que fondamentalement\ndifférent des élections sur papier\, doit fournir les mêmes garanties de\nsécurité que les systèmes électoraux traditionnels. Cela inclut la\nvérifiabilité de l’intégrité du résultat de l’élection\, tout en\npréservant le secret de vote. Dans la première partie de la thèse\, nous\nexplorons les mécanismes de sécurité employés par l’industrie. Dans la\ndeuxième partie de la thèse\, nous proposons un nouveau mécanisme\npermettant aux électeurs de voter en toute confidentialité\, même si leur\npropre appareil est compromis. Dans la troisième partie de la thèse\,\nnous présentons un framework permettant d’obtenir des preuves formelles\nde sécurité pour des protocoles de vote sur internet. Nous avons\nappliqué avec succès le framework de preuve à plusieurs protocoles de la\nlittérature et de l’industrie\, y compris Belenios\, Swiss Post\, et notre\npropre proposition de vote par codes courts de la deuxième partie de la\nthèse.
URL:https://www.loria.fr/event/soutenance-de-these-de-florian_moser/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260303T140000
DTEND;TZID=Europe/Paris:20260303T150000
DTSTAMP:20260516T170217
CREATED:20260220T114655Z
LAST-MODIFIED:20260220T114655Z
UID:28970-1772546400-1772550000@www.loria.fr
SUMMARY:MozAIk Seminar - with Toufik Hamadouche
DESCRIPTION:Representing Expert Reasoning Experience by Process Cases – Application to the Delimitation of Mobile Genetic Elements in Bacterial Chromosomes\n\n\n\n\n\nMarch 3\, 2026 \n\n\n\n\nDelimiting mobile genetic elements (MGEs) in bacterial genomes traditionally relies on experts in biology. This paper presents a process-oriented case-based reasoning (PO-CBR) approach to formalize and automate expert reasoning for MGE delimitation. In this study\, expert knowledge is represented by process cases\, where each case follows an ordered stepwise reasoning process based on genomic data on MGEs. These cases form adaptive computational workflows that can be applied to various types of bacterial strains and MGEs. A key feature of this approach is an adaptive mechanism that allows reasoning failures to trigger automatic adaptation rules. Tested on 254 manually annotated MGEs across 124 bacterial genomes\, our approach successfully delimited 96.8% of these elements with high accuracy. This study demonstrates the feasibility of encoding biological expertise into a structured automated reasoning system that offers a reliable alternative to identify MGEs in bacterial genomes.
URL:https://www.loria.fr/event/mozaik-seminar-with-toufik-hamadouche/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260305T103000
DTEND;TZID=Europe/Paris:20260305T120000
DTSTAMP:20260516T170217
CREATED:20260226T092733Z
LAST-MODIFIED:20260226T092733Z
UID:28995-1772706600-1772712000@www.loria.fr
SUMMARY:Séminaire de l'équipe HUCEBOT - Avec Marco Ferro
DESCRIPTION:On March 5h\, the HUCEBOT team will have the pleasure of welcoming Marco Ferro\, postdoctoral fellow at Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) in Rennes. \n  \nTalk Title:\nControl and Estimation in Safety-Critical Robotics: From Perception-Driven Strategies to Optimal Shared Autonomy \n\nBio:\nMarco Ferro is a postdoctoral researcher at the Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) in Rennes\, France. His current research focuses on optimization-based shared autonomy and haptic control strategies for magnetically actuated small-scale robotic systems\, with applications in medical robotics and micromanipulation. He received his Ph.D. in Automation\, Bioengineering and Operational Research from Sapienza University of Rome in 2019\, where he later continued as a postdoctoral researcher at the Department of Computer\, Control\, and Management Engineering (DIAG). His research trajectory has centered on control and estimation for safety-critical robotic systems\, spanning perception-driven navigation in mobile robotics\, interaction-aware force estimation in medical procedures\, and the development of dynamic simulators and technological demonstrators. In parallel with his research activities\, he has contributed to teaching in Master-level robotics and automation courses as a tutor and teaching assistant\, and he has supervised several Master and PhD students. He also has served for three years as Associate Editor for ICRA and IROS conferences. \n\n \nAbstract:\nEnsuring safety in robotic systems operating under uncertainty and human interaction is a recurring challenge across multiple application domains. This seminar presents a research trajectory structured around three complementary sources of safety complexity: limited perception and actuation knowledge\, critical physical interaction\, and shared control authority. \nThe first part discusses safety under perception and actuation constraints\, presenting vision-based navigation strategies that enforce safe motion directly from onboard sensing while accounting for uncertainty. \nThe second part addresses safety during physical interaction\, introducing estimation and force decomposition techniques for needle–tissue procedures\, where detecting and rendering critical events enhances operator awareness and risk mitigation. \nThen\, the core of the presentation focuses on optimization-based shared autonomy frameworks that formally integrate stability\, safety constraints\, and human commands within a unified control formulation. By leveraging Quadratic Programming approaches combining Control Lyapunov and Control Barrier Functions\, these methods provide formal safety guarantees while preserving effective human intervention. Microrobotic systems are shown here as a demanding application domain\, where severe actuation limits and multi-agent interactions stress-test the proposed framework.\nMoving from perception-driven control to interaction-aware estimation and ultimately to constraint-based shared autonomy\, these contributions illustrate a progressive formalization of safety in robotic systems\, outlining a coherent direction toward human-centered robotic systems with provable safety properties. \n 
URL:https://www.loria.fr/event/seminaire-de-lequipe-hucebot/
LOCATION:A008
CATEGORIES:Conférence,Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260310T140000
DTEND;TZID=Europe/Paris:20260310T150000
DTSTAMP:20260516T170217
CREATED:20260220T114814Z
LAST-MODIFIED:20260220T114814Z
UID:28972-1773151200-1773154800@www.loria.fr
SUMMARY:MozAIk Seminar - with Yann Guermeur
DESCRIPTION:Méthode hiérarchique hybride pour la segmentation de séquences biologiques\n\n\n\n\n\nMarch 10\, 2026 \n\n\n\n\n(This talk will take place in LORIA\, room A008.) Nombreux sont les problèmes de bioinformatique\, et singulièrement de biologie structurale prédictive\, qui se réduisent à un problème de segmentation de séquences. Pour traiter ce type de problème\, nous avons développé un modèle de l’inférence empirique combinant systèmes discriminants et modèles génératifs au sein d’une architecture modulaire et hiérarchique. \nNous présentons ce modèle dans toute sa généralité\, en centrant l’exposé sur les propriétés statistiques et les questions d’optimisation. Trois applications sont ensuite développées\, portant sur un problème fermé et deux problèmes ouverts. Le problème fermé\, permettant une comparaison directe avec l’état de l’art\, est la prédiction de la structure secondaire des protéines globulaires. Les deux problèmes ouverts sont la prédiction des ancrages membranaires interfaciaux des protéines monotopiques et la prédiction des angles de torsion oméga des protéines globulaires. Les trois problèmes illustrent la malléabilité du modèle\, capable de s’adapter aux caractéristiques principales des problèmes traités.
URL:https://www.loria.fr/event/mozaik-seminar-with-yann-guermeur/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260312T130000
DTEND;TZID=Europe/Paris:20260312T140000
DTSTAMP:20260516T170217
CREATED:20260227T083157Z
LAST-MODIFIED:20260227T083157Z
UID:28999-1773320400-1773324000@www.loria.fr
SUMMARY:Présentation du challenge Revell'East
DESCRIPTION:Le challenge Revell’East vous sera présenté le 12 mars par Anne Coreau\, directrice Innovation Territoriale Grand Est Orange\n➡ à l’Agora du Loria\, de 13h à 14h. \nQu’est-ce que le challenge Revell’East ?\nC’est un challenge d’intelligence collective pour les femmes du Grand Est et leurs équipes\, ayant pour but de favoriser l’innovation\, la créativité et le goût d’entreprendre dans la Tech. Coopération et co-apprentissage sont au cœur de cette journée d’émulation et de rencontres. \nFruit d’une collaboration entre Orange\, EST’elles Executive\, l’ICN et Alsace Digitale\, Revell’East est un challenge d’intelligence collective dans le domaine de la Tech qui se déroulera le 9 avril simultanément à l’ICN à Nancy et chez Semia/Digital Village à Strasbourg.  \n\nA qui s’adresse-t-il ?\n​Conjuguée au féminin\, cette journée vise à imaginer\, concevoir et prototyper de nouveaux produits ou services. Cependant\, l’événement est ouvert à tous : même si les porteurs de projet doivent être des femmes\, les équipes sont mixtes ! \nVous pouvez donc participer à ce challenge : \n✔soit en tant que porteuse de projet \n✔soit en tant que facilitateur/coach qui viendront en appui pour aider les équipes à avancer et sont garants du bon déroulement des projets. \n2 lieux pour un événement\n📍À Nancy\, l’événement se déroulera à ARTEM\, dans les locaux de l’ICN\, 2 Place de Padoue\, Nancy. \n📍à Strasbourg\, il aura lieu dans les locaux de Semia/Digital Village\, 9 Rue de la Krutenau\, 67000 Strasbourg \nPour vous inscrire :  \n\nédition de Nancy \nédition de Strasbourg
URL:https://www.loria.fr/event/presentation_challenge_revell_east/
LOCATION:Agora
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260313T133000
DTEND;TZID=Europe/Paris:20260313T173000
DTSTAMP:20260516T170217
CREATED:20251218T134227Z
LAST-MODIFIED:20251218T134955Z
UID:28796-1773408600-1773423000@www.loria.fr
SUMMARY:Séminaire réflexions : démonstration\, rigueur et formalisation
DESCRIPTION:Le « Séminaire réflexions »\, est commun aux Archives Henri Poincaré\, à l’Institut Élie Cartan de Lorraine et au Loria et a pour but est de proposer des exposés d’intérêt général. \nAlexandre Afgoustidis (IECL)\, Alain Genestier (IECL) et Yacin Hamami (AHP) organisent cette année autour du thème « Démonstration\, rigueur et formalisation. » \nCes dernières années\, les preuves assistées par ordinateur ont suscité un engouement certain dans la communauté mathématique. Nous parlons ici des outils de vérification pour les preuves les plus traditionnelles (donc pas\, ou très peu\, d’« apprentissage artificiel » ). \nComment ces outils fonctionnent-ils et comment les utiliser ? Quels sont leurs atouts\, leurs limites ? Quelles sont leurs répercussions sur la recherche en mathématiques\, et sur l’idée que nous nous faisons des notions de rigueur et de démonstration ? \nCes questions\, et d’autres\, seront abordés avec exposés\, tables rondes\, tutoriels et groupes de travail. Le séminaire se réunira 6 fois au premier semestre 2026. \n\n\nLe vendredi 13 mars\, Sophie Tourret\, chercheuse au sein de l’équipe VERIDIS au Loria proposera un exposé intitulé :\nL’automatisation dans les assistants de preuve.\n\n\n  \n\n\nL’exposé sera suivi d’un groupe de travail « Math en LEAN » pour démarrer des projets de formalisation avec les conseils d’utilisateurs expérimentés d’assistants de preuve..
URL:https://www.loria.fr/event/seminaire-reflexions/
LOCATION:IECL\, Institut Élie Cartan de Lorraine
CATEGORIES:Conférence,Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260317T140000
DTEND;TZID=Europe/Paris:20260317T150000
DTSTAMP:20260516T170217
CREATED:20260220T114923Z
LAST-MODIFIED:20260220T114924Z
UID:28974-1773756000-1773759600@www.loria.fr
SUMMARY:MozAIk Seminar - with Pierre Mercuriali
DESCRIPTION:Robopsychology: radical study of the verbal behavior of LLMs\n\n\n\n\n\n\nMarch 17\, 2026 \n\n\n\n\n(This talk will take place in LORIA\, room A008.) LLMs are used in conversational agents (CAs) (e.g.\, Claude\, ChatGPT) to interact with users through text generation. The sheer number of parameters in LLMs make it difficult to explain and predict the behavior of these CAs. Several techniques have been developed for this purpose: e.g.\, activated software neurons visualization\, seeking “human functions” amongst them\, and even explicitly asking for generated explanations by the CA itself. We propose the adoption of the radical behaviorist’s stance described by Skinner in the design and study of experiments that seek to understand and predict the verbal behavior of CAs. We explore the epistemological feasibility of such a stance in the study of CAs\, specifically by the study of their intraverbal behavior through a free association experiment.
URL:https://www.loria.fr/event/mozaik-seminar-with-pierre-mercuriali/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260317T140000
DTEND;TZID=Europe/Paris:20260317T160000
DTSTAMP:20260516T170217
CREATED:20260217T104515Z
LAST-MODIFIED:20260217T105101Z
UID:28960-1773756000-1773763200@www.loria.fr
SUMMARY:Séminaire de l'équipe MozAIk
DESCRIPTION:Mardi 17 mars\, Pierre Mercuriali proposera un exposé intitulé :\nRobopsychologie : étude radicale du comportement verbal des LLMs\nCet exposé aura lieu au Loria en salle A008. Les LLMs sont mis en œuvre au sein d’agents conversationnels (e.g.\, Claude\, ChatGPT) pour interagir avec des utilisateurs en générant du texte. Le grand nombre de paramètres des LLMs rend difficile l’explication et la prédiction du comportement de ces ACs. Plusieurs techniques ont été développées en réponse : e.g.\, la visualisation des neurones simulés\, la recherche de « fonctions humaines » parmi ceux-ci\, et même la demande explicite de génération d’explications par l’AC lui-même. Nous proposons d’adopter la posture du comportementalisme radical décrite par Skinner dans la conception et l’étude d’expériences visant à comprendre et prédire le comportement verbal des ACs. Nous explorons la faisabilité épistémologique d’une telle posture dans l’étude des ACs\, notamment par l’étude de leur comportement intraverbal par une expérience d’associations libres de mots.\n\n\n\n\nRetrouvez les infos concernant les séminaires MozAIk au Loria :\nhttps://site-23068d.gitlabpages.inria.fr/seminars.html
URL:https://www.loria.fr/event/seminaire-de-lequipe-mozaik/
LOCATION:A008
CATEGORIES:Conférence,Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260317T140000
DTEND;TZID=Europe/Paris:20260317T160000
DTSTAMP:20260516T170217
CREATED:20260312T085719Z
LAST-MODIFIED:20260312T090218Z
UID:29061-1773756000-1773763200@www.loria.fr
SUMMARY:Soutenance HDR Étienne Corman
DESCRIPTION:La soutenance de HDR de Étienne Corman aura lieu au Loria le mardi 17 mars à 14h dans l’amphithéâtre Gilles Kahn.\nSon habilitation est intitulée\n« Exploring Surface Seamless Mappings Toward Hexahedral Meshing ».\nLa soutenance se fera en anglais.\n\nIl exposera ses travaux sur la génération automatique de maillages quadrilatéraux et hexaédriques à l’aide de paramétrisations sans couture. Cette méthode\, provenant de l’informatique graphique\, tente d’aligner des surfaces ou des volumes avec la grille régulière. Cette approche promet d’automatiser des tâches de remaillages complexes et fastidieuses tout en améliorant la qualité des maillages. Cependant\, la route est encore longue avant de parvenir à un algorithme utilisable de façon industrielle. Ses travaux de recherche mettent en lumière les difficultés de généraliser les méthodes de remaillage quadrilatéral à la dimension supérieure.\n\nComposition du jury :\n– Mathieu Desbrun\, Directeur de Recherche\, Centre INRIA de Saclay\n– Marcel Campen\, Professeur\, Osnabrück University\n– Jean-François Remacle\, Professeur\, Université Catholique de Louvain\n– Jeanne Pellerin\, R&D team leader HDR\, TotalEnergies\n– Marco Livesu\, Directeur de Recherche\, National Research Council of Italy\n– Dmitry Sokolov\, Professeur\, Université de Lorraine\n\n\n\n\n\n\n.\n.\n.\n.\n\n\n\n\n\nEtienne Corman is pleased to invite you to his HDR defense\, which will take place on Tuesday\, March 17th at 2:00 PM in the Gilles Kahn Amphitheater.\nHis habilitation is titled:\n« Exploring Surface Seamless Mappings Toward Hexahedral Meshing ».\nThe defense will be conducted in English.\nHe will discuss his work on the automatic generation of quadrilateral and hexahedral meshes using seamless parameterizations. This method\, inspired by computer graphics\, aims to align surfaces or volumes with a regular grid. It holds the promise of automating complex and tedious remeshing tasks while improving mesh quality. However\, significant challenges remain before achieving an industrially viable algorithm. His research highlights the difficulties in generalizing quadrilateral remeshing methods to higher dimensions.\n\nThe jury:\n– Mathieu Desbrun\, Senior Researcher\, Centre INRIA de Saclay\n– Marcel Campen\, Professor\, Osnabrück University\n– Jean-François Remacle\, Professor\, Université Catholique de Louvain\n– Jeanne Pellerin\, R&D team leader HDR\, TotalEnergies\n– Marco Livesu\, Senior Researcher\, National Research Council of Italy\n– Dmitry Sokolov\, Professor\, Université de Lorraine
URL:https://www.loria.fr/event/soutenance-hdr-etienne-corman/
LOCATION:Loria (Amphi Gilles Kahn)
CATEGORIES:HDR
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260318T183000
DTEND;TZID=Europe/Paris:20260318T203000
DTSTAMP:20260516T170217
CREATED:20260225T105003Z
LAST-MODIFIED:20260225T105003Z
UID:28982-1773858600-1773865800@www.loria.fr
SUMMARY:Semaine du cerveau - conférence-débat
DESCRIPTION:Dans le cadre de la semaine du cerveau\, du 16 au 22 mars 2026\, la Société des Neurosciences organise une CONFÉRENCE – DÉBAT présentée par Laurent BOUGRAIN\, maître de conférences à l’Université de Lorraine et chercheur au LORIA (CNRS/Université de Lorraine).\nNeuroQuiz : que peut-on faire avec des interfaces cerveau-ordinateur ?\nLes interfaces cerveau-ordinateur relèvent-elles de la science-fiction ou font-elles déjà partie de notre réalité ?\nVenez confronter vos idées reçues et découvrir de manière interactive\, ce que ces technologies permettent de faire : leurs véritables capacités\, leurs limites et les applications concrètes qui pourraient transformer notre quotidien.\n\n\nMercredi 18 mars à 18h30 – au Crédit Mutuel des Enseignants – sur inscription – \nEn savoir plus sur la Semaine du Cerveau et le programme en Lorraine : https://www.semaineducerveau.fr/programme-manifestations/?wpv_view_count=5712&wpv-relationship-filter=589&wpv-wpcf-event-theme-list=&wpv-wpcf-event-type=&wpv-wpcf-event-date-debut=&wpv-wpcf-event-public-list=
URL:https://www.loria.fr/event/semaine-du-cerveau/
LOCATION:Crédit Mutuel des Enseignants – 31 Rue Gustave Simon\, 54000 Nancy
CATEGORIES:Conférence,Projection
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260319T090000
DTEND;TZID=Europe/Paris:20260319T170000
DTSTAMP:20260516T170217
CREATED:20260319T144934Z
LAST-MODIFIED:20260319T145024Z
UID:29108-1773910800-1773939600@www.loria.fr
SUMMARY:Sciences\, un métier de femmes
DESCRIPTION:Organisée par l’association Femmes & Sciences en partenariat avec l’Université de Lorraine\, la deuxième édition de la journée « Sciences\, un métier de femmes » se tiendra le 19 mars 2026 à Nancy\, à la Faculté des sciences et technologies. L’événement réunira 250 lycéennes issues de 13 établissements lorrains afin de leur faire découvrir la diversité des carrières scientifiques et les encourager à envisager des études dans ces domaines. \nConférences\, rencontres et immersion dans les laboratoires\nLa journée s’articule autour de plusieurs temps forts. Elle débute par des conférences inspirantes avec l’intervention de la marraine Souad Boutegrabet et celle de la sociologue Eve Ballorain\, spécialiste des questions de parité et d’égalité\, pour renforcer la confiance en soi et amorcer une réflexion sur les stéréotypes de genre. \nLes participantes prennent ensuite part à des échanges en petits groupes sous forme de speed-meetings\, qui leur permettent de dialoguer avec des ambassadrices issues de différents domaines scientifiques\, dans le secteur public comme dans le secteur privé et à différents niveaux de qualification. \nLa journée se poursuit par des visites immersives de laboratoires\, offrant aux lycéennes l’occasion de découvrir la recherche scientifique en train de se faire sur plusieurs sites de l’Université de Lorraine\, notamment les campus Artem\, Brabois et la Faculté des sciences et technologies. Ces visites impliquent plusieurs organismes et structures de recherche\, dont le Loria.
URL:https://www.loria.fr/event/sciences-un-metier-de-femmes/
LOCATION:Amphi 7\, Bâtiment Victor Grignard
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260320T090000
DTEND;TZID=Europe/Paris:20260321T170000
DTSTAMP:20260516T170217
CREATED:20260217T103147Z
LAST-MODIFIED:20260217T103147Z
UID:28958-1773997200-1774112400@www.loria.fr
SUMMARY:Dessine-moi un robot
DESCRIPTION:Dessine-moi un robot \n\nVendredi 20 et samedi 21 mars 2026 \n \n Ouvert aux étudiant·es en master et doctorat en psychologie\, ergonomie\, art\, design\, sciences du langage\, anthropologie\, sociologie\, sciences cognitives\, informatique\, robotique\, arts du spectacle… \nLes robots et les systèmes interactifs gagnent progressivement en autonomie et en présence. Les effets de leurs comportements sur les relations humaines\, les processus sociaux et les dynamiques interactionnelles restent cependant des questions centrales\, qui impliquent de multiplier les approches et les points de vue. \nAu croisement des arts et du design\, des sciences et techniques de l’ingénieur\, et des sciences humaines et sociales\, cet atelier de deux jours propose un espace de conception pluridisciplinaire autour des objets interactifs. \nL’atelier a pour but d’articuler différentes façons de penser la forme\, le comportement\, l’usage et le sens de ces objets. Il vise à créer un espace d’exploration esthétique et sensible\, de modélisation technique et algorithmique\, de design des interactions et de situations sociales. Son objectif est d’imaginer des robots d’un nouveau genre : des objets à comportement (au sens donné par Samuel Bianchini et Emanuele Quinz) qui se définissent moins par leur fonction que par leur manière d’agir dans et d’interagir avec l’environnement\, sans reproduire les formes humaines ou animales. \nAccompagné par un collectif réunissant le groupe Psyphine\, l’Université de Lorraine\, l’Institut des Maladies Neurodégénératives de Bordeaux\, l’ISIR (Sorbonne Université)\, la Chaire ARTSS (ENSEA-ETIS) et l’ENSAD de Nancy\, cet atelier de création a pour objectif de faire se rencontrer des étudiants de différentes disciplines pour imaginer de drôles d’objets ; de concevoir leur formes\, leurs mouvements\, leurs caractéristiques interactionnelles\, leurs effecteurs et leurs capteurs\, voire le type d’expériences auxquelles ils pourraient participer. \nLes objets imaginés durant ces deux journées serviront de base à la construction d’un robot par les étudiant·e·s de Sorbonne Université\, qui sera testé auprès de publics divers. \nCandidatures avant le 1er mars :  formulaire en ligne
URL:https://www.loria.fr/event/nancy-dessine-moi-un-robot/
CATEGORIES:Conférence,Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260320T133000
DTEND;TZID=Europe/Paris:20260321T173000
DTSTAMP:20260516T170217
CREATED:20260317T111938Z
LAST-MODIFIED:20260317T112016Z
UID:29100-1774013400-1774114200@www.loria.fr
SUMMARY:Séminaire « Réflexions »
DESCRIPTION:Séminaire « Réflexions » / « Réflexions » seminar\n  \n\nLa prochaine session du séminaire « Réflexions » se tiendra le vendredi 20 mars 2026\, de 13h30 à 17h30\, dans la salle de conférences de l’Institut Élie Cartan de Lorraine (plan d’accès : https://iecl.univ-lorraine.fr/plan-dacces/). La session se composera de deux exposés de 13h30 à 15h30 et d’une session pratique de 16h à 17h30. Vous pouvez assister à l’ensemble de la session ou à l’une des deux parties seulement. \nEn voici le programme : \n— 13h30-14h30 — exposé d’Antoine Chambert-Loir (Institut de mathématiques de Jussieu – Paris Rive Gauche\, Université Paris Cité) : Retour d’expérience en mathématiques formalisées \nPourquoi vouloir faire des preuves formelles ? Qu’apporte l’ordinateur ? Et de quelles preuves parlerait-on ? À partir de mon expérience des cinq dernières années\, qui concerne essentiellement des questions d’algèbre\, j’essayerai de présenter mes bouts de réponse à ces questions. \n— 14h30-15h30 — exposé de Yacin Hamami (Archives Henri-Poincaré\, CNRS) : Démonstrations\, scripts\, et preuves formelles : Quels liens entre l’idéal et la pratique de la démonstration ? \nLa formalisation des mathématiques par les assistants de preuve nous confronte à trois types d’objets aux statuts distincts : les démonstrations telles qu’elles figurent dans la pratique ordinaire\, adressées à des lecteurs humains qu’elles visent à convaincre et à faire comprendre ; les preuves formelles\, objets logiques entièrement explicites que la machine vérifie mécaniquement mais qui restent le plus souvent illisibles pour un lecteur humain ; et entre les deux\, les scripts de code rédigés dans des assistants comme Lean\, Coq ou Isabelle — objets hybrides qui portent encore la marque des intentions de celui qui les écrit\, tout en étant destinés à guider la machine vers une vérification formelle. \nQuelle est la nature de ces trois objets\, et quelles relations entretiennent-ils entre eux ? Cette question a fait l’objet de débats intenses en philosophie des mathématiques ces dernières années. Au cœur de ces débats se trouve la relation entre les démonstrations dans la pratique et l’idéal de preuve formelle\, et en particulier la question de la rigueur mathématique qu’elle soulève. Dans cet exposé\, je présenterai quelques éléments clés de ces débats ainsi que les principales réponses philosophiques qui ont été proposées. \n— 16h-17h30 — session pratique « Math en Lean » animée par Vincent Trélat et Ghilain Bergeron (Loria)\n\nCette session pratique se veut le prolongement de la précédente et proposera aux participants de se plonger dans l’ouvrage Mathematics in Lean de Jeremy Avigad et Patrick Massot (https://leanprover-community.github.io/mathematics_in_lean/index.html)\, avec l’appui d’utilisateurs Lean expérimentés. Il vous sera aussi possible de reprendre le tutoriel de Patrick Massot si vous avez manqué la session précédente ou si vous souhaitez le finir. \nTout le monde est bienvenu à l’une ou l’autre des activités. \nLes prochaines sessions auront lieu : \n\n    Vendredi 3 avril\, aux Archives Henri Poincaré : Philippe de Groote (Loria) et Baptiste Mélès (Archives Henri Poincaré)\n\nLe séminaire Réflexions est organisé conjointement par les Archives Henri Poincaré\, l’Institut Élie Cartan de Lorraine et le Loria (laboratoire lorrain de recherche en informatique et ses applications). \nLes organisateurs pour cette année sont Alexandre Afgoustidis (IECL)\, Alain Genestier (IECL)\, Yacin Hamami (AHP) et Sophie Tourret (LORIA). \n—————————— \nThe next session of the Réflexions seminar will be held on Friday\, March 20\, 2026\, from 1:30 p.m. to 5:30 p.m.\, in the conference room of the Institut Élie Cartan de Lorraine (map: https://iecl.univ-lorraine.fr/plan-dacces/). The session will consist of two talks from 1:30 p.m. to 3:30 p.m. and a practical session from 4:00 p.m. to 5:30 p.m. You can attend the entire session or just one of the two parts. \nHere is the program (for the abstracts see the French version above): \n— 1:30–2:30 p.m. — talk by Antoine Chambert-Loir (Institut de mathématiques de Jussieu – Paris Rive Gauche\, Université Paris Cité): Retour d’expérience en mathématiques formalisées \n— 2:30–3:30 p.m. — talk by Yacin Hamami (Archives Henri-Poincaré\, CNRS): Démonstrations\, scripts\, et preuves formelles : Quels liens entre l’idéal et la pratique de la démonstration ? \n— 4:00–5:30 p.m. — practice session « Math in Lean » by Vincent Trélat and Ghilain Bergeron (Loria) \nHere is the program for the sessions after that one: \n\n    Friday\, April 3\, Archives Henri Poincaré: Philippe de Groote (Loria) and Baptiste Mélès (Archives Henri Poincaré)
URL:https://www.loria.fr/event/seminaire-reflexions-2/
LOCATION:IECL\, Institut Élie Cartan de Lorraine
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260324T110000
DTEND;TZID=Europe/Paris:20260324T130000
DTSTAMP:20260516T170217
CREATED:20260217T100934Z
LAST-MODIFIED:20260217T100934Z
UID:28953-1774350000-1774357200@www.loria.fr
SUMMARY:Le Procès du Robot - Théâtre Scientifique
DESCRIPTION:Le 24 mars\, de 11h à 13h\, assistez à la représentation de la pièce de théâtre scientifique Le Procès du Robot\, à Télécom Physique Strasbourg. \nLes inscriptions sont ouvertes ! L’événement est gratuit et ouvert à toutes et tous. \nÀ la croisée du théâtre d’improvisation et de la médiation scientifique\, ce format original\, animé par la compagnie Crache Texte\, plonge le public la veille d’un procès hors norme et l’invite à enquêter sur les enjeux bien réels de l’intelligence artificielle et de la robotique. \n\n\n📍 Lieu : Télécom Physique Strasbourg\, Grand amphi 207\n[Pôle API – Parc d’Innovation – 300 Bd Sébastien Brant – 67412 ILLKIRCH]\n📅 Date : 24 mars\n⏰ Horaire : 11h – 13h\n✅​ Inscrivez-vous sur ce lien \n\nSynopsis\nDans un futur proche\, l’agence de livraison La Cigogne exploite une flotte de 60 drones autonomes. Il y a un an\, l’un d’eux commence à dysfonctionner : il ne suit plus les règles prévues et effectue ses livraisons selon ses propres critères. Peu à peu\, ce comportement se propage à l’ensemble de la flotte. Les conséquences sont lourdes : plus de 200 personnes subissent des préjudices financiers et moraux\, notamment liés à la divulgation d’informations personnelles\, avec un impact sur leur vie privée et professionnelle. Le lendemain doit s’ouvrir le procès du robot à l’origine de cette contamination. Mais avant cela\, il faut comprendre : que s’est-il réellement passé ? Qui porte la responsabilité ? Et ce scénario relève-t-il de la fiction… ou d’un futur plausible ? \nLa pièce se déroule la veille du procès. Sur scène\, les comédiens et comédiennes de la compagnie Crache Texte incarnent des journalistes chargés de mener l’enquête. À travers leurs investigations\, ils retracent les événements qui ont conduit à la situation actuelle et interrogent des experts scientifiques pour éclairer les faits. \n Intelligence artificielle : des technologies déjà omniprésentes\nObjets connectés\, drones\, robots intelligents\, applications mobiles\, voitures autonomes… L’intelligence artificielle fait déjà partie de notre quotidien. Mais jusqu’où peuvent aller ces technologies ? Peut-on leur faire confiance ? Comment garantir leur fiabilité\, leur sécurité et le respect des données personnelles ? \nÀ travers cette enquête théâtrale\, Le Procès du Robot permet d’aborder ces questions sous un angle original et interactif\, en donnant au public des clés de compréhension pour mieux appréhender les enjeux scientifiques\, techniques et sociétaux de l’IA. \nTrois scientifiques seront sur scène pour participer à la représentation : \n\nSam Bigeard\, ingénieur Inria en traitement automatique des langues. Il travaille sur les systèmes capables de comprendre le langage humain : moteurs de recherche\, sous-titrage automatique ou assistants conversationnels comme ChatGPT. Ses recherches portent notamment sur la représentation des langues minoritaires dans les technologies d’IA.\nAntoine Deleforge\, chercheur Inria. Ses recherches portent sur l’apprentissage automatique\, le traitement du signal audio\, la séparation et la localisation des sources sonores\, l’analyse informatique des scènes auditives et l’audition robotique.\nRomain Serizel\, professeur à l’Université de Lorraine. Ses travaux portent sur les communications vocales robustes et la détection et la classification des sons ambiants\, des domaines essentiels pour les interactions entre humains et machines intelligentes.\n\nSam Bigeard et Romain Serizel sont tous les deux membres de l’équipe-projet Multispeech du Centre Inria de l’Université de Lorraine et du Loria (CNRS\, Université de Lorraine). Antoine Deleforge est membre de l’équipe-projet Macaron de l’antenne Inria de l’Université de Strasbourg et de l’IRMA (CNRS\, Université de Strasbourg). \n👉 Venez assister à l’enquête menée la veille du Procès du Robot et interroger\, aux côtés de chercheurs et de comédiens\, l’avenir de l’intelligence artificielle. \nCette représentation est organisée par le Centre Inria de l’Université de Lorraine\, le Loria (CNRS\, Université de Lorraine)\, soutenue par Alsace Digitale et financée par le cluster IA Grand Est ENACT. \nPlus d’infos sur le site du Cluster IA ENACT : https://cluster-ia-enact.ai/event/le-proces-du-robot-2026-03-24/
URL:https://www.loria.fr/event/le-proces-du-robot-strasbourg/
LOCATION:Télécom Physique Strasbourg\, Grand amphi 207\, Illkirch
CATEGORIES:Spectacle
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260325T100000
DTEND;TZID=Europe/Paris:20260329T120000
DTSTAMP:20260516T170217
CREATED:20260317T113517Z
LAST-MODIFIED:20260317T113739Z
UID:29105-1774432800-1774785600@www.loria.fr
SUMMARY:Dans les pas de Champollion - Conférence de François Desset\, archéologue et linguiste
DESCRIPTION:Dans les pas de Champollion : le déchiffrement récent de l’écriture élamite linéaire (Iran\, IIIᵉ millénaire av. J.-C.)\nConférence donnée par François Desset\, archéologue oriental\, spécialiste des écritures du Proche-Orient ancien (Université de Liège ; Université de Téhéran ; Archéorient\, Lyon). \n📅 Mercredi 25 mars\n🕙 10h\n📍 Salle A008\, bâtiment Ada Lovelace. (Loria / Centre Inria de l’Université de Lorraine) \nRésumé : Découverte en 1903 à Suse\, dans le sud-ouest de l’Iran\, l’écriture élamite linéaire est longtemps restée indéchiffrée. Avec les hiéroglyphes égyptiens\, le cunéiforme mésopotamien et l’écriture de l’Indus\, elle fait partie des plus anciens systèmes d’écriture connus au IIIᵉ millénaire avant notre ère. \nCette conférence présente le déchiffrement récemment publié de cette écriture originale et en expose le système. Contrairement aux systèmes égyptien et mésopotamien contemporains\, qui combinent des notations phonétiques et logographiques\, l’élamite linéaire constitue le plus ancien système d’écriture connu reposant sur un principe uniquement phonétique. Il s’agit en effet d’un alpha-syllabaire utilisé pour transcrire la langue élamite\, un isolat linguistique encore très mal compris aujourd’hui. \nLa conférence sera donnée en français\, avec un support écrit en anglais. \n**************************** \n  \nConference given by François Desset\, archaeologist and epigraphist\, specialist of ancient Near Eastern writing systems (University of Liège; University of Tehran; Archéorient\, Lyon). It is an honor and a real opportunity to welcome him in our premises. \n📅 Wednesday\, March 25 \n🕙 10:00 \n📍 Room A008 \nTitle: In Champollion’s footsteps: the recent decipherment of Linear Elamite writing (Iran\, 3rd millennium BCE) \nAbstract: Discovered in 1903 in Susa\, in southwestern Iran\, the Linear Elamite script long remained undeciphered. Along with Egyptian hieroglyphs\, Mesopotamian cuneiform\, and the Indus script\, it is one of the oldest known writing systems from the 3rd millennium BCE. \nThis lecture presents the recently published decipherment of this original script and explains its system. Unlike the contemporary Egyptian and Mesopotamian systems\, which combine phonetic and logographic notations\, Linear Elamite represents the oldest known writing system based on a purely phonetic principle. It is an alpha-syllabary used to transcribe the Elamite language\, a linguistic isolate that is still very poorly understood today. \nThe conference will be given in French\, with slides in English.
URL:https://www.loria.fr/event/dans-les-pas-de-champollion-conference-de-francois-desset-archeologue-et-linguiste/
LOCATION:A008
CATEGORIES:Conférence
END:VEVENT
END:VCALENDAR