BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.4.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:LORIA
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20270328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20271031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260908T140000
DTEND;TZID=Europe/Paris:20260908T150000
DTSTAMP:20260904T114613Z
CREATED:20260904T094005Z
LAST-MODIFIED:20260904T114613Z
UID:29805-1788876000-1788879600@www.loria.fr
SUMMARY:MosAIk seminar: Machine Learning in critical infrastructure: Physics-informed machine learning surrogates within optimization and control tasks in water distribution systems
DESCRIPTION:Next MosAIk seminar will take place on Tuesday\, September 8th at 2pm in the Amphitheater. \nBarbara Hammer\, full Professor for Machine Learning at the CITEC Cluster at Bielefeld University\, Germany\, will give a presentation entitled Machine Learning in critical infrastructure: Physics-informed machine learning surrogates within optimization and control tasks in water distribution systems. \nSummary \nCritical infrastructure such as water distribution systems is subject to an increasing amount of stress in the context of global warming. Typical tasks such as monitoring\, control\, and planning are challenging given the size of the systems and high degrees of uncertainties due to unclear demands. In this context\, recent advances in deep learning carry the promise to substitute computationally costly simulations or only partially observable dynamics by deep surrogate models which are trained on example data. Thereby\, physics-informed training enables the integration of physical laws which ensure the generalization ability beyond the observed training signals provided the regions are covered by the integrated physical principles. Since the resulting deep models are fast to evaluate and they are given in explicit analytic function\, deep surrogates carry diverse promises: They allow for a fast approximation of complex dynamic behavior; they enable real-world state inference given partial information; and they support efficient system optimization based on gradient information. \nIn the talk\, I will focus on opportunities and challenges of surrogate models for a technical application\, namely hydraulic simulation of water distribution systems. I will demonstrate the power of graph neural networks to learn simulations of the dynamics based on hydraulic principles such that inference based on limited information becomes possible. I will have a short glimpse at requirements as posed by the EU’s AI-act such as fairness and robustness. Further\, I will address exemplary downstream tasks\, which become possible based on the surrogate\, specifically sensor placement and network optimization. \nBiography: \nBarbara Hammer is a prominent German computer scientist and professor renowned for her research in machine learning and artificial intelligence. She earned her diploma in mathematics in 1995\, her Ph.D. in computer science in 1999\, and her habilitation in 2003\, all from the University of Osnabrück. After serving as a professor of theoretical computer science at Clausthal University of Technology from 2004 to 2010\, she joined Bielefeld University in 2010\, where she leads the Machine Learning Group within the Center of Cognitive Interaction Technology (CITEC). Her core research focuses on trustworthy and explainable AI\, lifelong learning\, neural networks\, and the analysis of complex structured data\, supported by extensive international academic collaborations and visiting professorships worldwide.
URL:https://www.loria.fr/event/mosaik-seminar-machine-learning-in-critical-infrastructure/
LOCATION:Amphithéâtre du Loria
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260619T160000
DTEND;TZID=Europe/Paris:20260619T180000
DTSTAMP:20260617T122735Z
CREATED:20260617T122735Z
LAST-MODIFIED:20260617T122735Z
UID:29556-1781884800-1781892000@www.loria.fr
SUMMARY:Séminaire « Réflexions »
DESCRIPTION:The next « réflexions » seminar will be this Friday at 4:00 pm (take note of the unusual schedule) \nThis will be a remote talk from Emily Riehl (Johns Hopkins University) about A reintroduction to proofs \n__________________________________ \nLe prochain séminaire « réflexions » se tiendra ce vendredi (19 juin 2026) à 16 heures (attention horaire inhabituel). \nExceptionnellement l’exposé aura lieu à distance\, ce qui nous permettra d’écouter Emily Riehl (Johns Hopkins University). Son exposé a pour titre : \nA reintroduction to proofs\nPour celles et ceux qui souhaiteraient assister à l’exposé ensemble depuis l’IECL-Nancy\, vous pouvez retrouver une partie d’entre nous en salle 501. / The abstract and url of the talk follow. For those who wish to attend in person\, there will be a diffusion in room 501 of IECL. \n\nLien zoom / zoom link :\n\n\nhttps://eu02web.zoom-x.de/j/61077373603?pwd=8bi0zPzaFyt5JsSOWqhOP5Kg20PAEG.1\nMeeting ID: 610 7737 3603\nPasscode: 593876\n\n\n— \n \nInformations sur l’exposé / seminar information :\n \nEmily Riehl (Johns Hopkins University)\n\n\nA reintroduction to proofs \nThis talk proposes a shift in the implicit foundations of mathematics from set theory and logic to dependent type theory (where the primitive notion of “type” replaces both sets and propositions). While these new foundations are more complex\, we contend they make it easier for students to learn to write correct proofs and for professionals to communicate precise mathematical ideas to other humans or to a computer. \nHere the “computer” refers to a computer proof assistant. This talk will advertise a Lean game I made in Fall 2025 while teaching a first year seminar course along these lines available here. \n\n\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). \nVous trouverez plus d’informations sur le séminaire sur le site https://reflexions-ul.github.io/
URL:https://www.loria.fr/event/seminaire-reflexions-3/
LOCATION:IECL\, salle 501 + en ligne
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260609T093000
DTEND;TZID=Europe/Paris:20260609T170000
DTSTAMP:20260227T084151Z
CREATED:20260211T102137Z
LAST-MODIFIED:20260227T084151Z
UID:28927-1780997400-1781024400@www.loria.fr
SUMMARY:Nancy Computational Structural Biology (NCSB) meeting
DESCRIPTION:The second NCSB will be held on June 9th at Nancy\, with the support of the Centre Inria de l’Universite de Lorraine\, LORIA\, ANR under the France 2030 grant operated by the Inria Quadrant Program. We have the pleasure of hosting internationally distinguished experts in computational and structural biology. \nHere is the program. \n  \nInvited speakers: \n\nCharles L. Brooks III\, University of Michigan\, USA\nFrederic Cazals\,Centre Inria d’Université Côte d’Azur\, France\nMehdi Davari\, Leibniz Institute of Plant Biochemistry\, Department of Bioorganic Chemistry\, Germany\nFrancois Dehez\, LPCT\, CNRS\, Université de Lorraine\, France\nYulia Kacher\, LPCT\, CNRS\, Université de Lorraine\, France\nSofia Oliveira\, School of Chemistry\, University of Bristol\, England\nRoland Stote\, CNRS\, Inserm\, IGBMC\, Université de Strasbourg\, France\n\n  \nPlease remember to register! Registration is free but mandatory (deadline: May 15th)! \nThe seminar will be held at the Amphi Gilles Kahn at Loria Site.
URL:https://www.loria.fr/event/ncsb_2026/
LOCATION:Loria (Amphi Gilles Kahn)
CATEGORIES:Conférence,Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260604T083000
DTEND;TZID=Europe/Paris:20260605T170000
DTSTAMP:20260601T115432Z
CREATED:20260211T104035Z
LAST-MODIFIED:20260601T115432Z
UID:28929-1780561800-1780678800@www.loria.fr
SUMMARY:Congrès 2026 de la Société Informatique de France - Nancy
DESCRIPTION:En 2026\, le Loria accueille le Congrès de la Société Informatique de France avec pour thème : « Médiations informatiques ».\nRetrouvez ici toutes les informations : https://congres.socinfo.fr/ \n« Médiations informatiques » : voilà le thème du congrès de la SIF en 2026 à Nancy. Pourquoi pas « médiations numériques » ? Parce que cette locution désigne l’accompagnement des personnes pour un meilleur usage des outils numériques. Or il est ici question d’une médiation scientifique qui vise à acculturer aux concepts et méthodes de l’informatique comme discipline. Pourquoi un pluriel ? Parce que la médiation peut avoir comme vocation première de susciter la curiosité\, de former\, ou\, d’informer\, parce que les publics sont multiples : élèves\, enseignants\, chercheurs\, grand public\, juristes\, décideurs… mais également parce que les méthodes de médiation sont nombreuses : de pastilles vidéo à l’informatique sans ordinateur en passant par les concours de programmation. Il existe autant de médiations informatiques qu’il existe d’informatiques en interaction avec les autres champs de la connaissance et de la vie quotidienne. \nDe plus\, la médiation nourrit les activités de recherche et les activités d’enseignement\, liant ainsi les trois axes centraux de la société Informatique de France. \nCette question des médiations scientifiques était au cœur de la vie professionnelle de Gilles Dowek. Chercheur brillant\, enseignant captivant\, Gilles endossait avec bonheur l’habit du passeur de sciences\, qu’elles soient informatiques ou humaines. De la médiation elle-même\, il avait exploré avec succès de nombreuses facettes\, tant sur les formes employées que sur la diversité des publics touchés. \nÀ l’occasion du congrès 2026 dédié à sa mémoire\, mettons nos pas dans les siens et découvrons ensemble pourquoi les médiations informatiques loin d’être réductibles à du prosélytisme\, de la formation ou de l’information sont un formidable vecteur de partage et d’émancipation. \n\nProgramme \n\nJeudi 4 juin\n\n08:30 – 09:00 Accueil \n\n\n09:00 – 10:30 Coups de projecteurs de la SIF (1) \n\nCérémonie des membres d’honneur de la SIF encore un peu de suspens…\nPrix Lovelace-Babbage de l’Académie des sciences\n\nNataliia Bielova\, directrice de recherche au centre Inria d’Université Côte d’Azur\nÉdouard Bonnet\, chargé de recherche au Laboratoire de l’informatique du parallélisme\n\n\n\n\n\n10:30 – 11:00 Pause \n\n\n11:00 – 12:30 Table ronde : faire de la médiation informatique\, sous quelles formes\, pour quels objectifs et quels publics ? \n\nEmmanuel Beffara\, maître de conférences\, Université Grenoble Alpes\, LIG\, représentant la C3i\nÉmilien Cornillon\, médiateur scientifique au Palais de la Découverte\nÉric Duchêne\, professeur des Université\, IUT Lyon 1\, LIRIS\, représentant l’ANR ASMODEE\nFrédéric Havet\, directeur de recherche CNRS\, I3S\, représentant Terra Numerica\nAline Parreau\, chargée de recherche CNRS\, LIRIS\, représentant la Maison des Mathématiques et l’informatique de Lyon\nNathalie Revol\, chargée de recherche Inria\, LIP-ENS Lyon\, représentant Interstices\n\n\n\n12:30 – 13:00 Gilles Dowek\, un scientifique\, un médiateur et un ami de la SIF \n\nHommage à plusieurs voix présenté par Serge Abiteboul\n\n\n\n13:00 – 14:00 Déjeuner \n\n\n14:00 – 15:15 Exercice de style : la cybersécurité expliquée à différents publics \n\nClémence Bouvier\, chargée de recherche au Centre Inria de l’Université de Lorraine\nMarion Buchet\, directrice du CERT Aviation France\nVéronique Cortier\, directrice de Recherche CNRS\, LORIA\nCécile Pierrot\, chargée de recherche au Centre Inria de l’Université de Lorraine\n\n\n\n15:15 – 15:30 Pause \n\n\n15:30 – 17:30 Médiation scientifique : à vous de jouer ! \n\nDeux sessions d’ateliers : découvrez la liste des ateliers dans le programme en ligne \n\n\n\n19:30 Dîner de gala \n\n\nVendredi 5 juin\n\n08:30 – 09:00 Accueil \n\n\n09:00 – 10:30 Coups de projecteurs de la SIF (2) \n\nPrix de thèse Gilles Kahn 2025\n\nMargot Hérin\, lauréate 2025\, thèse intitulée « Learning Preference Models: A Marriage between Decision Theory and Machine Learning » préparée au LIP6\, Sorbonne Université\nSon Ho\, accessit\, thèse intitulée « Formal Verification of Rust Programs by Functional Translation » préparée à Inria Paris\nCorentin Jeudy\, accessit\, thèse intitulée « Design of Advanced Post-Quantum Signature Schemes » préparée à l’IRISA\, Université de Rennes et Orange (mention « thèse à portée industrielle »)\n\n\nPrix Octet Vidéo encore un peu de suspens…\n\n\n\n10:30 – 11:00 Pause \n\n\n11:00 – 12:30 Patrimoine informatique : objet historique\, sujet ou vecteur de médiation ? \n\nTable ronde animée par Fabien Tarissan\n\n\nCaroline Collange\, chargée de recherche Inria au centre Inria de l’Université de Rennes\, coordinatrice du projet Jurastic\nRoberto Di Cosmo\, professeur des Universités\, IRIF\, Université Paris Cité\, directeur de l’initiative Software Heritage\nPhilippe Dubois\, créateur & président de l’association MO5\, directeur des relations institutionnelles et internationales du Musée du Jeu Vidéo\nDorian Mazauric\, chargé de recherche Inria au centre Inria de l’Université Côte d’Azur\, directeur de Terra Numerica\nPierre Paradinas\, professeur CNAM émérite\, chaire systèmes embarqués\n\n\n\n\n\n12:30 – 13:00 Épilogue \n\n Mathieu Acher\, professeur des Universités\, IRISA\, INSA Rennes\, membre IUF junior/Chaire médiation 2021 interviewé par Camille Picard\, cheffe de projet en médiation scientifique\, Inria\n\n\n\n13:00 – 14:00 Déjeuner \n\n\n14:00 – 15:30 Projection débat  Des machines intelligentes aux machines pensantes  ouverte au public\n(À la Faculté des Sciences et technologies\, amphi 3) \n\nAnimée par Alain Dutech\, chargé de recherche au centre Inria de l’Université de Lorraine et Nicolas Dupuy\, docteur en physico-chimie moléculaire.\n\nGratuit sur inscription : https://www.eventbrite.com/e/projection-debat-des-machines-intelligentes-aux-machines-pensantes-tickets-1989307203396?aff=oddtdtcreator \n\n\n15:30 – 17:00 Stands de médiation\, également ouverts au public
URL:https://www.loria.fr/event/congres-sif-2026/
LOCATION:Loria (Amphi Gilles Kahn)
CATEGORIES:Conférence,Événement grand public,Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260507T103000
DTEND;TZID=Europe/Paris:20260507T120000
DTSTAMP:20260415T080845Z
CREATED:20260409T132451Z
LAST-MODIFIED:20260415T080845Z
UID:29212-1778149800-1778155200@www.loria.fr
SUMMARY:Séminaire D5 : Matériologie profonde d’un robot
DESCRIPTION:Matériologie profonde d’un robot : ce qui anime le microprocesseur\, entre matières critiques et êtres mythiques\n\n\n\nLe département 5 du Loria\, « Systèmes complexes\, intelligence artificielle et robotique »\, invite Emmanuel Ducourneau\, chercheur postdoc CNRS au LESC\, spécialisé en matériologie profonde\, robotique\, électronique et IA.\nDans le cadre du PEPR O2R\, Emmanuel Ducourneau développe ce qu’il nomme une « matériologie profonde » d’un robot industriel\, entendue comme une exploration radicale des réalités techniques\, géopolitiques\, sociales et écologiques qui le constituent. \nLa première étape de ce projet au long cours se concentre sur le microprocesseur/contrôleur\, depuis sa genèse cosmique jusqu’à son intégration dans un système robotique\, en passant par l’extraction du silicium aux États-Unis et sa fabrication à Taïwan. Cette enquête met au jour les matières critiques nécessaires à son fonctionnement – tel le silicium ultra-pur issu d’un gisement quasi unique au monde – et les épaisseurs géopolitiques\, sociales et écologiques qui en découlent. Elle révèle également une autre dimension de cette matérialité : celle de l’être mythique Uktena\, associé au quartz (Ulunsuti) dans la cosmologie cherokee. Une même matière\, issue d’un même gisement\, se trouve ainsi orientée à la fois vers la production des plus hautes technologies industrielles (robots\, satellites\, systèmes de défense\, etc.) et vers les substrats rituels les plus sophistiqués de certaines communautés premières d’Amérique du Nord. \nL’industrie aurait-elle réveillé le dragon ? Quelles conséquences cette continuité troublante entre extraction\, technologie et cosmologie engage-t-elle pour les humanités ? \n\n\nÉvénement ouvert au public sur inscription à l’adresse annabelle.chapron (at) loria.fr  –  avant le 4 mai 2026.\nLes visiteurs devront se munir de leur pièce d’identité. \nPeople from outside the Loria must register by sending an email to Annabelle Chapron  –  annabelle.chapron (at) loria.fr  –  before May 4th.\nVisitors will need to bring their ID.
URL:https://www.loria.fr/event/seminaire-materiologie-profonde-d-un-robot/
LOCATION:A008
CATEGORIES:Conférence,Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260403T140000
DTEND;TZID=Europe/Paris:20260403T173000
DTSTAMP:20260403T095601Z
CREATED:20260403T092819Z
LAST-MODIFIED:20260403T095601Z
UID:29187-1775224800-1775237400@www.loria.fr
SUMMARY:Séminaire « Réflexions »
DESCRIPTION:La prochaine session du séminaire « Réflexions » se tiendra le vendredi 3 avril 2026\, de 14h à 17h30\, dans la salle de réunion 2 au rez-de-chaussée du bâtiment des Archives Henri Poincaré\, 91 avenue de la Libération\, à Nancy. \nLa session se composera de deux exposés de 14h à 16h15 et d’une discussion générale de 16h30 à 17h30. \nProgramme :\n— 14h-15h — exposé de Baptiste Mélès (Archives Henri-Poincaré\, CNRS) : La linguistique des assistants à la démonstration \nLa linguistique ne semble rien avoir à nous apprendre sur les démonstrations formelles des assistants à la démonstration : ne connaît-on pas d’entrée de jeu en toute transparence tous les constituants de ce langage — à savoir son alphabet\, son lexique\, sa syntaxe et sa sémantique ? L’approche linguistique nous permettra pourtant de révéler quelques constituants cachés de ces langages formels : on distinguera dans l’alphabet une graphétique et une graphématique\, on montrera la structuration différentielle du lexique\, on étudiera la morphologie sous la syntaxe\, et on mettra au jour la pragmatique qui recouvre la sémantique : autant de caractéristiques qui rapprochent ces langages formels des langues humaines. \n— 15h15-16h15 — exposé de Philippe de Groote (Loria) : Discours et démonstrations \nDans cet exposé\, nous nous pencherons sur la structure linguistique des « mathématiques naturelles »\, c’est-à-dire les mathématiques telles qu’exprimées par les mathématiciens et mathématiciennes dans leurs écrits scientifiques. Nous nous pencherons plus particulièrement sur le cas des démonstrations mathématiques et expliquerons pourquoi celles-ci doivent être considérées comme des discours. Nous montrerons à l’aide de quelques exemples comment l’étude de la structure discursive des démonstrations peut suggérer de nouvelles manières de formaliser celles-ci. \n— 16h30-17h30 — discussion générale \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). \nVous trouverez plus d’informations sur le séminaire sur le site https://reflexions-ul.github.io/ \n—————————— \n  \nThe next session of the Réflexions seminar will be held on Friday\, April 3\, 2026\, from 2:00 p.m. to 5:30 p.m.\, in meeting room 2 on the ground floor of the Archives Henri Poincaré building\, 91 avenue de la Libération\, 54001 Nancy. \nThe session will consist of two talks from 2:00 p.m. to 4:15 p.m. and a general discussion from 4:30 p.m. to 5:30 p.m. \nProgram (for the abstracts see the French version above): \n— 2:00–3:00 p.m. — talk by Baptiste Mélès (Archives Henri-Poincaré\, CNRS): La linguistique des assistants à la démonstration \n— 3:15–4:15 p.m. — talk by Philippe de Groote (Loria): Discours et démonstrations \n— 4:30–5:30 p.m. — general discussion \n 
URL:https://www.loria.fr/event/seminaire_reflexions_04_26/
LOCATION:Archives Henri Poincaré
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260320T133000
DTEND;TZID=Europe/Paris:20260321T173000
DTSTAMP:20260317T112016Z
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:20260320T090000
DTEND;TZID=Europe/Paris:20260321T170000
DTSTAMP:20260217T103147Z
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:20260317T140000
DTEND;TZID=Europe/Paris:20260317T160000
DTSTAMP:20260217T105101Z
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:20260317T150000
DTSTAMP:20260220T114924Z
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:20260313T133000
DTEND;TZID=Europe/Paris:20260313T173000
DTSTAMP:20251218T134955Z
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:20260310T140000
DTEND;TZID=Europe/Paris:20260310T150000
DTSTAMP:20260220T114814Z
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:20260305T103000
DTEND;TZID=Europe/Paris:20260305T120000
DTSTAMP:20260226T092733Z
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:20260303T140000
DTEND;TZID=Europe/Paris:20260303T150000
DTSTAMP:20260220T114655Z
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:20260219T103000
DTEND;TZID=Europe/Paris:20260219T123000
DTSTAMP:20260217T102028Z
CREATED:20260217T102028Z
LAST-MODIFIED:20260217T102028Z
UID:28956-1771497000-1771504200@www.loria.fr
SUMMARY:HUCEBOT Seminar - Dorian Verdel
DESCRIPTION:On February 19th\, the HUCEBOT team will have the pleasure of welcoming Dorian Verdel\, postdoctoral fellow at Paris Saclay\, who is applying for the CR position in Centre INRIA de l’Université de Lorraine. \n\n \nTitle: \nThe role of time in developing symbiotic human-robot interactive control\n \nAbstract: Physical human-robot interactions (pHRI) are promising for a large panel of public health applications\, ranging from MSD prevention to neurorehabilitation. However\, physical interaction control methods often neglect fundamental aspects of human motor control\, which directly impact the outcomes of the interaction. Here\, I will first present two recent studies showing how time plays a major role in the planning of human movements\, both alone and when interacting with a human partner\, making it a critical aspect to account for in pHRI. Then\, I will present recent results showing how such knowledge on human motor control strategies can be accounted for using a multi-agent representation of pHRI.\n\nBio: After graduating from ENS Paris-Saclay in mechanical engineering in 2019\, I did my PhD at Université Paris-Saclay under the supervision of B. Berret and O. Bruneau on human-exoskeleton interactions\, at the interface between robotics and human motor control. I was then invited to join the group of E. Burdet at Imperial College London\, where I was a postdoctoral fellow for two years. There\, I worked on human sensorimotor augmentation with supernumerary robotic limbs\, human motor control\, and human-human physical interactions. I was recently recruited as a postdoctoral fellow on the ASSISTMOV project of the PEPR O2R\, in Université Paris-Saclay\, to work on the integration of differential games-based control\, EMG-based human joints torque estimation\, and AI-based movement prediction.
URL:https://www.loria.fr/event/hucebot-seminar-dorian-verdel/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260217T130000
DTEND;TZID=Europe/Paris:20260217T150000
DTSTAMP:20260211T162131Z
CREATED:20260211T093404Z
LAST-MODIFIED:20260211T162131Z
UID:28920-1771333200-1771340400@www.loria.fr
SUMMARY:Loria Security Seminar - Erol Gelenbe
DESCRIPTION:Loria Security Seminar will take place on February 17th in room A008 at 1:00pm.\n\n\nErol Gelenbe\, Professeur à l’Institut d’informatique théorique et appliquée de l’Académie des Sciences de Pologne et au King’s College (Londres)\, et ambassadeurs Inria+Alumni au Royaume-Uni donnera une conférence intitulée :\nDétection et Atténuation des Cyberattaques par l’IA.\n\n \nTitre: Détection et Atténuation des Cyberattaques par l’IA\n\n\nRésumé: \nLes serveurs d’accès à l’Internet des objets (IoT)\, doivent répondre à des exigences strictes en matière de sécurité et de qualité de service (QoS)\, offrant une protection contre les cyberattaques avec une réactivité et une perte minimale de données bénignes. Il est donc essentiel de protéger ces systèmes par un lissage de trafic efficace\, une détection précise des cyberattaques (DA)\, et des mécanismes d’atténuation. Nous présenterons d’abord des techniques d’apprentissage en ligne et fédéré permettant de détecter les attaques avec précision\, et des mesures des flux de paquets véhiculant une cyberattaque qui altèrent la QoS au niveau des serveurs et entravent leur capacité à exécuter la DA. En utilisant des méthodes mathématiques de la théorie des files d’attente et des mesures expérimentales\, nous démontrons que la nouvelle méthode de lissage du trafic QDTP garantit que le serveur pourra assurer une DA effiace et réagir rapidement lors d’une attaque. Un nouveau système d’atténuation adaptative des attaques (AAM) sera aussi présenté pour échantillonner le flux de paquets entrants\, déterminer si une attaque est en cours et supprimer dynamiquement des lots de paquets à l’entrée pour réduire les effets de l’attaque\, et minimiser la surcharge AD et le coût des paquets bénins perdus. \nBiographie du Conférencier: \nAprès des études d’ingénieur éléctronicien en Turquie\, un doctorat aux Etats-Unis (NYU)\, et un emploi d’Assistant Professor pendant dix-huit mois à l’Université de Michigan\, Erol Gelenbe rejoint l’IRIA où il crée le projet MEVAL sur l’évaluation de performances des systèmes et réseaux et enseigne à l’Université Paris-Nord. Tout en continuant son activité à l’IRIA\, il occupe une chaire d’informatique à l’Université de Liège de 1974 à 1979\, année où il rejoint l’Université Paris-Sud (Orsay) en tant que professeur; il assure aussi des enseignements de probabilités à l’Ecole Polytechnique jusqu’en 1987. En 1986 il fonde l’Ecole des Hautes Etudes en Informatique de l’Université René Descartes et en reste le directeur jusqu’en 1993 quand il rejoint la Duke University (USA) en tant que directeur du Département «Electrical and Computer Engineering». En 1998 il est nommé directeur de la «School of Electrical Engineering and Computer Science» d’UCF (Orlando)\, et en 2003 il est nommé professeur titulaire de la Chaire «Dennis Gabor» d’Imperial College. Après le Brexit\, il prend un poste de chercheur à temps complet à l’Académie des Sciences de Pologne.  Erol a formé plus de 90 docteurs dont 25 femmes; il est Fellow de l’IEEE (1986)\, de l’ACM (2001) et de l’IFIP (2019)\, et il reçoit le Grand Prix France-Télécom de l’Académie des Sciences en 1996. Il est élu à l’Academia Europaea (2005)\, à l’Académie des Technologies (2007)\, et aux Académies des Sciences de Hongrie (2010)\, Turquie (2011)\, Pologne (2013)\, Belgique (2015) et de l’Inde (2025). «Docteur Honoris Causa» des Universités de Rome II (1996)\, Liège (2006)\, Bogaziçi d’Istanbul (2004)\, et de l’Académie des Sciences de Hongrie (2010)\, il est Chevalier de la Légion d’Honneur\, Commandeur de l’Ordre national du Mérite\, Commandeur du Mérite de la République Italienne\, Commandeur de l’Ordre de la Couronne de Belgique et Officier de l’Ordre du Mérite de Pologne. \n\nPlus d’informations ici : https://seminaire-securite.loria.fr/
URL:https://www.loria.fr/event/lss_fev_26/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260206T133000
DTEND;TZID=Europe/Paris:20260206T173000
DTSTAMP:20260211T094148Z
CREATED:20260211T094148Z
LAST-MODIFIED:20260211T094148Z
UID:28923-1770384600-1770399000@www.loria.fr
SUMMARY:Séminaire Réflexions : “Pourquoi Raconter des Maths aux Ordinateurs ?”
DESCRIPTION:la première séance du séminaire Réflexions qui se tiendra le vendredi 6 février 2026\, de 13h30 à 17h30\, dans la salle de conférence de l’Institut Élie Cartan de Lorraine\, Faculté des Sciences et Technologie\, Boulevard des Aiguillettes\, 54506 Vandoeuvre-lès-Nancy. \n  \nNous écouterons Patrick Massot (Laboratoire de mathématique d’Orsay) \n13h30-14h45 : Présentation \nTitre : Pourquoi raconter des maths aux ordinateurs ? \nRésumé : Dans cet exposé j’expliquerai ce que signifie « expliquer des mathématiques à un ordinateur » et pourquoi je trouve cela intéressant et utile. Je montrerai à quoi ressemble concrètement l’utilisation d’un logiciel permettant d’encoder informatiquement des définitions\, énoncés et démonstrations. Je présenterai les applications de ces techniques pour vérifier\, expliquer\, enseigner ou créer des mathématiques. Je mentionnerai des exemples de projets non-triviaux dans ce domaine et j’évoquerai brièvement les liens avec l’IA. \n15h00-17h30: Session Pratique \nTitre : Introduction à l’assistant de preuve Lean par la pratique \nLe logiciel Lean permet de parler de maths de tout niveau à son ordinateur. Il peut aussi servir à enseigner le raisonnement mathématique rigoureux\, par exemple en L1. Ce TP sera une introduction à l’utilisation de Lean en pratique.  \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). Les organisateurs pour cette année sont Alexandre Afgoustidis (IECL)\, Alain Genestier (IECL)\, Yacin Hamami (AHP) et Sophie Tourret (Loria). \n\nThe first session of the Réflexions seminar\, will be held on Friday\, February 6\, 2026\, from 1:30 p.m. to 5:30 p.m.\, in the conference room of the Institut Élie Cartan de Lorraine\, Faculty of Science and Technology\, Boulevard des Aiguillettes\, 54506 Vandoeuvre-lès-Nancy. \nThe speaker will be Patrick Massot (Laboratoire de mathématique d’Orsay)\n \n1:30-2:45 p.m.: Talk \nTitle: Why explain mathematics to computers? \nAbstract: In this talk\, I will explain what it means to “explain mathematics to a computer” and why I find it interesting and useful. I will show what it looks like in practice to use software that allows definitions\, statements\, and proofs to be encoded computationally. I will present applications of these techniques for verifying\, explaining\, teaching\, or creating mathematics. I will mention examples of non–trivial projects in this field and briefly discuss the links with AI. \n3:00-5:30 p.m.: Practical Session \nTitle: Introduction to the Lean proof assistant through practice \nThe Lean software allows you to talk about math at any level on your computer. It can also be used to teach rigorous mathematical reasoning\, for example in L1. This practical session will be an introduction to the practical use of Lean. \nThe Réflexions seminar is organized jointly by the Archives Henri Poincaré\, the Institut Élie Cartan de Lorraine\, and the Loria (Lorraine Research Laboratory in Computer Science and its Applications). This year’s organizers are Alexandre Afgoustidis (IECL)\, Alain Genestier (IECL)\, Yacin Hamami (AHP) et Sophie Tourret (Loria).
URL:https://www.loria.fr/event/seminaire-reflexions-fev-26/
LOCATION:IECL\, Salle de Conférences
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260108T093000
DTEND;TZID=Europe/Paris:20260108T113000
DTSTAMP:20251218T145216Z
CREATED:20251218T145216Z
LAST-MODIFIED:20251218T145216Z
UID:28801-1767864600-1767871800@www.loria.fr
SUMMARY:Séminaire Département 3
DESCRIPTION:Le Département 3 a le plaisir de proposer un talk de Sounak Kar\, TU Delft\, intitulé \nOn Efficiency and Fairness of Resource Distribution in Quantum\nRepeater Networks.\n\nEn visio sur https://u2l.fr/sounak
URL:https://www.loria.fr/event/seminaire-departement-3/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251209T130000
DTEND;TZID=Europe/Paris:20251209T160000
DTSTAMP:20251124T143214Z
CREATED:20251124T142504Z
LAST-MODIFIED:20251124T143214Z
UID:28671-1765285200-1765296000@www.loria.fr
SUMMARY:Séminaire SSL
DESCRIPTION:The next Loria Security Séminar will take place on December 9th in room A008 at 1:00pm.\n\n\n\n\nLesly-Ann Daniel\, assistant professor at EURECOM\, will give a talk about\nHardware-Software Co-Designs for Microarchitectural Security. \n\n\n\nAbstract: \nMicroarchitectural optimizations\, such as caches and speculative out-of-order execution\, are essential for achieving high system performance. However\, these same mechanisms also open the door to attacks that can undermine software-enforced security policies. The current gold standard for defending against such attacks is the constant-time programming discipline\, which prohibits secret-dependent control flow and memory accesses. While constant-time programming is widely used to secure cryptographic implementations against microarchitectural attacks\, it has critical limitations. From a security perspective\, it depends on assumptions about the underlying hardware and fails to provide protection against certain classes of attacks\, such as Spectre. From a performance perspective\, it incurs additional overheads\, for example due to control-flow linearization. In this presentation\, I will introduce recent hardware-software co-design approaches that mitigate the shortcomings of constant-time programming\, moving toward more efficient and robust defenses. I will also discuss some remaining challenges to achieve provable\, end-to-end security guarantees.
URL:https://www.loria.fr/event/seminaire-ssl-2/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251208T083000
DTEND;TZID=Europe/Paris:20251208T173000
DTSTAMP:20251208T142904Z
CREATED:20251208T104531Z
LAST-MODIFIED:20251208T142904Z
UID:28756-1765182600-1765215000@www.loria.fr
SUMMARY:MosAIk Ph.D Day
DESCRIPTION:La première journée des doctorants et doctorantes de l’équipe MosAIk s’est tenue lundi 8 décembre et a réuni une cinquantaine de participants (doctorants\, post-doctorants\, alternants\, ingénieurs\, permanents). \n\n\n\n\nElle a permis à tous les doctorants de l’équipe de présenter leurs travaux en cours et de partager leurs expériences. \nChaque doctorant de 3e année et plus a disposé de 20 minutes pour présenter sa thèse : rappeler son problème de recherche\, son approche spécifique\, ses résultats et constatations\, positionner ses résultats par rapport aux travaux connexes et dire ce que qu’il ou elle attend pour sa thèse de doctorat. \nChaque étudiant de 2ème année a présenté ses travaux au travers d’un poster. \nChaque doctorant de 1re année a fait une courte présentation pour évoquer sur son principal problème de recherche\, savoir qui d’autre travaille sur un problème similaire et quels sont les résultats attendus. \n\n\n\n\nProgramme of the PhD day\nProgramme de la journée des doctorants – VF
URL:https://www.loria.fr/event/mosaik-ph-d-day/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251128T140000
DTEND;TZID=Europe/Paris:20251128T163000
DTSTAMP:20251128T133446Z
CREATED:20251128T133446Z
LAST-MODIFIED:20251128T133446Z
UID:28705-1764338400-1764347400@www.loria.fr
SUMMARY:Presentation : “ Exploiting first order methods in motion generation ”
DESCRIPTION:Département 5  » D5. Systèmes complexes\, intelligence artificielle et robotique «  \ninvits Tommaso Belvedere\, postdoc from IRISA and applying to CNRS positions. \nHe will present his work : \n“ Exploiting first order methods in motion generation ”
URL:https://www.loria.fr/event/presentation-exploiting-first-order-methods-in-motion-generation/
LOCATION:Loria
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251112T140000
DTEND;TZID=Europe/Paris:20251112T160000
DTSTAMP:20251023T101713Z
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:20251022T133000
DTEND;TZID=Europe/Paris:20251022T150000
DTSTAMP:20251015T080157Z
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:20251015T140000
DTEND;TZID=Europe/Paris:20251015T160000
DTSTAMP:20250912T132427Z
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:20251013T100000
DTEND;TZID=Europe/Paris:20251017T193000
DTSTAMP:20251023T084537Z
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:20250918T130000
DTEND;TZID=Europe/Paris:20250918T150000
DTSTAMP:20250829T144242Z
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:20250917T140000
DTEND;TZID=Europe/Paris:20250917T160000
DTSTAMP:20250829T154230Z
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:20250708T110000
DTEND;TZID=Europe/Paris:20250708T120000
DTSTAMP:20250617T113521Z
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:20250620T094500
DTEND;TZID=Europe/Paris:20250620T120000
DTSTAMP:20250620T072623Z
CREATED:20250620T072616Z
LAST-MODIFIED:20250620T072623Z
UID:28260-1750412700-1750420800@www.loria.fr
SUMMARY:Matinée de présentation des nouveaux permanents du D4
DESCRIPTION:Le Département 4 du LORIA organise une demi-journée de présentation de ses nouveaux permanents le vendredi 20 juin de 9 h 45 à 12 h en salle A008. \nProgramme : \n9 h 45 : accueil café\n10 h : François Buet (MCF Télécom Nancy\, MosAIk)\n10 h 30 : Chahrazed Labba (MCF INSPE\, MosAIk)\n11 h : Vincent Martin (CR Inria\, Sémagramme)\n11 h 30 : discussions.
URL:https://www.loria.fr/event/matinee-de-presentation-des-nouveaux-permanents-du-d4/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250617T140000
DTEND;TZID=Europe/Paris:20250617T160000
DTSTAMP:20250522T130915Z
CREATED:20250522T130747Z
LAST-MODIFIED:20250522T130915Z
UID:28222-1750168800-1750176000@www.loria.fr
SUMMARY:[DeepLorIA] Mining Patterns in Tabular Data – A Symbolic AI Approach
DESCRIPTION:DeepLorIA est un réseau interne pour partager des connaissances en intelligence artificielle\, quel que soit le domaine d’application. Il est ouvert à toutes les équipes du Loria qui utilisent l’IA dans leurs travaux. \nLe prochain tutoriel DeepLorIA aura lieu le 17 juin\, de 14h à 16h\, en salle C005. Il est proposé par Egor Dudyrev (Orpailleur). \nMining Patterns in Tabular Data – A Symbolic AI Approach\nThis session will cover Symbolic AI\, which is a vast research field operating human-readable knowledge representations. In particular\, we will focus on Pattern Structures formalism that provides a unified language to efficiently mine patterns in tables containing numbers\, categories\, ngrams\, graphs\, and other types of data. Such patterns can then be used for mining explainable-by-design implications\, clusterings\, and multiclass classifiers. The hand-on-section will explore a novel Paspailleur Python package (developed in Loria\, set to release in May 2025) that can solve all aforementioned tasks for all aforementioned data. \nInscrivez-vous ! \nPlus d’informations auprès de Franco Terranova\, doctorant dans l’équipe Resist.
URL:https://www.loria.fr/event/deeploria-mining-patterns-in-tabular-data-a-symbolic-ai-approach/
LOCATION:C005
CATEGORIES:Séminaire
ATTACH;FMTTYPE=image/png:https://www.loria.fr/wp-content/uploads/DeepLorIA_logo1.png
END:VEVENT
END:VCALENDAR