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: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:20260303T140000
DTEND;TZID=Europe/Paris:20260303T150000
DTSTAMP:20260609T204012
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:20260609T204012
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:20260609T204012
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:20260313T133000
DTEND;TZID=Europe/Paris:20260313T173000
DTSTAMP:20260609T204012
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:20260609T204012
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:20260609T204012
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:20260320T090000
DTEND;TZID=Europe/Paris:20260321T170000
DTSTAMP:20260609T204012
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:20260609T204012
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
END:VCALENDAR