BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:LORIA
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20270328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20271031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260601T090000
DTEND;TZID=Europe/Paris:20260605T140000
DTSTAMP:20260312T085000Z
CREATED:20260312T085000Z
LAST-MODIFIED:20260312T085000Z
UID:29059-1780304400-1780668000@www.loria.fr
SUMMARY:Conférence "Numeration 2026"
DESCRIPTION:Numeration 2026 is the 2026 edition of a series of events around numeration systems and substitution systems. The central themes of this conference include (but are not limited to): number theory\, diophantine approximation\, fractal geometry\, substitutions\, combinatorics on words\, ergodic theory\, dynamical systems\, and theoretical computer science.—  Conference website —  \nhttps://numeration2026.sciencesconf.org/ \nThe conference begins on Monday\, June 1 at around 9 a.m.\, and the scientific program ends on Friday\, June 5 at around 12:30 p.m. (12:30-2 p.m. lunch break\, 2 p.m. official closing of the conference). \n— Invited speakers (confirmed) —  \nMichael Baake\, Bielefeld University\, Germany\nAyreena Bakhtawar\, Polish Academy of Sciences\, Poland\nColin Faverjon\, University of Picardy Jules Verne\, Amiens\, France\nLukas Spiegelhofer\, Technical University of Leoben\, Austria\nManon Stipulanti\, University of Liège\, Belgium \n— Important dates —  \n* Early Bird registration: before 7 April 2026\n* Standard registration: after 7 April 2026\n* Registration deadline: 4 May 2026\n* Conference dates: 1-5 June 2026 \n— Scientific Committee —  \n– Shigeki Akiyama\, University of Tsukuba\, Japan\n– Valérie Berthé\, IRIF\, France\n– Charlene Kalle\, University of Leiden\, Netherlands\n– Lingmin Liao\, University of Wuhan\, China\n– Edita Pelantová\, Czech Technical University\, Czech Republic\n– Michel Rigo\, University of Liège\, Belgium\n– Wolfgang Steiner\, IRIF\, France\n– Cathy Swaenepoel\, University of Paris Cité\, France\n– Jörg Thuswaldner\, Technical University of Leoben\, Austria \n— Organizing Committee\n(Contact : thomas.stoll (at) univ-lorraine.fr) \n– Cécile Dartyge (IECL\, University of Lorraine\, France)\n– Damien Jamet (LORIA\, University of Lorraine\, France)\n– Manfred Madritsch (Technical University of Leoben\, Austria)\n– Thomas Stoll (IECL\, University of Lorraine\, France) \n— Past editions —  \nThe previous « Numeration » conferences have been in: \n– Tsukuba (2025)\n– Utrecht (2024)\n– Liège (2023\, 2011)\n– Vienna (2019)\n– Paris (2018)\n– Rome (2017)\n– Prague (2016\, 2008)\n– Nancy (2015)\n– Debrecen (2014)\n– Kyoto (2012)\n– Leiden (2010)\n– Marseille (2009)\n– Graz (2007)\n– Grenoble (2005)
URL:https://www.loria.fr/event/conference_numeration_2026/
LOCATION:Amphi 7\, Bâtiment Victor Grignard
CATEGORIES:Conférence
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:20260605T140000
DTEND;TZID=Europe/Paris:20260605T170000
DTSTAMP:20260519T100620Z
CREATED:20260211T105126Z
LAST-MODIFIED:20260519T100620Z
UID:28932-1780668000-1780678800@www.loria.fr
SUMMARY:Projection-débat : Des machines intelligentes aux machines pensantes
DESCRIPTION:Dans le cadre du Congrès de la Société Informatique du France\, une projection-débat est organisée le vendredi 5 juin à 14 heures à la Faculté des Sciences et Technologies de Vandoeuvre-lès-Nancy : Des machines intelligentes aux machines pensantes animée par Alain Dutech\, chargé de recherche au centre Inria de l’Université de Lorraine et au Loria et Nicolas Dupuy\, docteur en physico-chimie moléculaire.\n\nIntelligence artificielle\, robots… des mots qui ont aujourd’hui une forte résonance auprès d’un public de plus en plus connecté. Souvent rêvée\, parfois crainte\, l’interface humain-machine est un vaste sujet de recherche tant d’un point de vue scientifique que sociologique et philosophique. Cette interaction entre l’humain et la machine a fortement évolué au cours de ces dernières décennies pour maintenant entrer dans notre quotidien. À travers la (re)découverte de films emblématiques de la science-fiction des années 50 à aujourd’hui\, nous vous proposons une approche cinématographique du lien entre l’Homme et les machines (intelligentes) et plus particulièrement les robots. \nLa projection-débat sera suivie d’ateliers de médiation scientifique de 15 h 30 à 17 h : graphes\, algorithmes\, intelligence artificielle\, informagie\, systèmes distribués… découvrez de nombreuses facettes de l’informatique débranchée à travers des animations ludiques et interactives ! \n\n\nInscription obligatoire sur ce lien.\n\n 
URL:https://www.loria.fr/event/sif-projection-debat/
LOCATION:Faculté des Sciences et Technologies\, Campus Aiguillettes\, Vandœuvre-lès-Nancy\, 54506\, France
CATEGORIES:Événement grand public,Projection
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260608T090000
DTEND;TZID=Europe/Paris:20260608T170000
DTSTAMP:20260608T083321Z
CREATED:20260608T083321Z
LAST-MODIFIED:20260608T083321Z
UID:29520-1780909200-1780938000@www.loria.fr
SUMMARY:Foire exposition de Nancy 2026
DESCRIPTION:✨ 90e édition de la Foire Expo de Nancy – au Parc Expo. \nAu sein du stand Unys Sciences de l’Université de Lorraine\, Fabien Clanché et Adrien Guenard vous présenteront la plateforme du Créativ’Lab du Loria ainsi que leurs activités de recherche : exosquelettes\, drones\, etc. \n📍 Rendez-vous ce lundi 8 juin Hall B\, stand E37\, pour une visite pleine de découvertes.
URL:https://www.loria.fr/event/foire-expo-nancy-2026/
LOCATION:Parc de expositions de Vandoeuvre
CATEGORIES:Événement grand public,Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260608T093000
DTEND;TZID=Europe/Paris:20260608T123000
DTSTAMP:20260608T085405Z
CREATED:20260602T075115Z
LAST-MODIFIED:20260608T085405Z
UID:29513-1780911000-1780921800@www.loria.fr
SUMMARY:Soutenance de thèse : Faustine FACCIN (NEURORHYTHMS)
DESCRIPTION:Le 8 juin 2026\, Faustine FACCIN\, (NEURORHYTHMS)\, soutiendra sa thèse CIFRE\, réalisée dans le cadre de la collaboration entre la start-up NOVIGA ainsi que les laboratoires CRAN et LORIA et intitulée : \n« Intégration de modalités cliniques et physiologiques dérivées de l’ECG pour le diagnostic de l’apnée du sommeil par apprentissage automatique »\n\nUn pot de convivialité sera organisé à l’issue de la soutenance\, dans le hall C du Loria\, pour celles et ceux qui souhaitent y assister.\n\nComposition du jury :\n\nPrésidente : Marianne Clausel\, Professeure à l’Université de Lorraine\nRapporteur : Vicente Zarzoso\, Professeur à l’Université Côte d’Azur\nRapporteur : Mario Chavez\, Directeur de Recherche CNRS à l’Institut du Cerveau\nExaminatrice : Mira Rizkallah\, Maîtresse de Conférences à Centrale Nantes\nDirecteur : El-Hadi Djermoune\, Professeur à l’Université de Lorraine\nCo-directeur : Laurent Bougrain\, Maître de Conférences à l’Université de Lorraine\nCo-encadrante : Pauline Guyot\, Ex-présidente de la start-up NOVIGA\n\nRésumé :\n \n\nLe syndrome d’apnées du sommeil (SAS) est l’un des troubles respiratoires nocturnes les plus fréquents. Malgré une prévalence mondiale élevée\, il demeure largement sous-diagnostiqué. Dans ce contexte\, des approches alternatives de diagnostic ont été proposées\, s’appuyant sur des signaux tels que l’électrocardiogramme (ECG). L’objectif de cette thèse est d’explorer l’apport des modalités cliniques et physiologiques dérivées de l’ECG en vue de développer un outil de diagnostic du SAS reposant sur des méthodes d’apprentissage automatique robustes\, indépendamment du profil clinique des patients. Ce travail a fait l’objet de plusieurs contributions. La première consiste en la constitution d’un jeu de données élargi\, dérivé de la base de données STAGES (National Sleep Research Resource)\, reflétant davantage la diversité clinique des profils de patients. La deuxième repose sur l’évaluation comparative des modèles existants sur ce nouveau jeu de données et celui de référence (Apnea-ECG de PhysioNet)\, montrant les limites de généralisation des approches actuelles face à des données plus hétérogènes. Ainsi\, la troisième contribution porte sur l’intégration des données cliniques dans le processus d’apprentissage. Les variations de caractéristiques physiologiques extraites de l’ECG sont d’abord analysées en fonction des profils cliniques\, montrant des différences physiopathologiques marquées. Puis\, l’apport de mécanismes de fusion entre données physiologiques et cliniques au sein de modèles d’apprentissage profond est évalué. Enfin\, un modèle basé sur des méthodes d’ensemble et probabilistes\, a permis d’obtenir des premiers résultats prometteurs sur la base de données élargie.\n\n\n\nMots-clés : apprentissage automatique\, réseau de neurones\, traitement du signal\, apnées du sommeil\, électrocardiogramme.\n\n\n\n___________________________________\n\n\n\n\nFaustine FACCIN is pleased to invite you to my PhD thesis defense. This research was carried out as part of a collaboration between the start-up NOVIGA and the CRAN and LORIA laboratories.\n\nTitle: « Integration of clinical and ECG-derived physiological features for sleep apnea diagnosis using machine learning. »\n\nSpecial arrangements:\nThe thesis defense will be in French.\nThe thesis defense is open to the public; however\, due to the confidential nature of part of the presented work\, attendees will be required to sign a confidentiality agreement prior to entering the room.\nA reception wil be held following the defense in Hall C of LORIA\, and all attendees are warmly welcome to join.\n\nDefense committee:\n\n\nPresident: Marianne Clausel\, Professor at University of Lorraine\nReviewer: Vicente Zarzoso\, Professor at University Côte d’Azur\nReviewer: Mario Chavez\, CNRS Research Director at Institut du Cerveau\nExaminer: Mira Rizkallah\, Associate Professor at Centrale Nantes\nSupervisor: El-Hadi Djermoune\, Professor at University of Lorraine\nCo-supervisor: Laurent Bougrain\, Associate Professor at University of Lorraine\nCo-supervisor : Pauline Guyot\, Ex-CEO of start-up NOVIGA\n\nAbstract:\n\n\nSleep apnea syndrome (SAS) is one of the most widespread nocturnal breathing disorders. Despite its high global prevalence\, it remains largely underdiagnosed. In this context\, alternative diagnostic approaches have been proposed\, relying on signals such as the electrocardiogram (ECG). The objective of this PhD is to explore the contribution of clinical and physiological modalities derived from ECG in order to develop a diagnostic tool for SAS based on robust machine learning methods\, regardless of the patient’s clinical profile. This work has involved several contributions. The first consists of creating an expanded dataset\, derived from the STAGES database (National Sleep Research Resource)\, which better reflects the diversity of clinical profiles. The second is based on the comparative evaluation of existing models on this new dataset and on the reference database (PhysioNet’s Apnea-ECG)\, highlighting the limitations of current approaches in generalizing to more heterogeneous data. Thus\, the third contribution focused on integrating clinical data into the learning process. First\, variations in physiological characteristics extracted from ECGs are analyzed according to patients’ clinical profiles\, revealing significant physiopathological differences. Subsequently\, contribution of fusion mechanisms between physiological and clinical data within deep learning models is evaluated. Finally\, an approach based on ensemble methods and probabilistic model\, yielded promising initial results on the expanded dataset.\n\nKeywords: machine learning\, neural network\, signal processing\, sleep apnea\, electrocardiogram.
URL:https://www.loria.fr/event/soutenance-de-these-faustine-faccin-neurorhythms/
LOCATION:C005
CATEGORIES:Soutenance
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: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:20260622T090000
DTEND;TZID=Europe/Paris:20260622T123000
DTSTAMP:20260617T125444Z
CREATED:20260504T120357Z
LAST-MODIFIED:20260617T125444Z
UID:29400-1782118800-1782131400@www.loria.fr
SUMMARY:Soutenance de thèse : Taous IATARIENE (Multispeech)
DESCRIPTION:Le 22 juin 2026\, Taous Iatarienne\, (Multispeech)\, soutiendra sa thèse intitulée \n » Suivi de locuteurs mobiles et intermittents par exploitation de l’identité du locuteur « \n« Tracking intermittent and moving speakers with speaker-identity information » \n\n\nEncadrants :\n\nRomain SERIZEL (directeur de thèse) : professeur\, Université de Lorraine\nAlexandre GUERIN (co-encadrant) : ingénieur de recherche\, Orange\n\n\n\nJury :\n\nNancy BERTIN (examinatrice) : chercheuse\, Oracle\nToon VAN WATERSCHOOT (examinateur) : professeur\, Université Catholique de Louvain\nMarie TAHON (rapportrice) : professeure\, Université du Mans\nArchontis POLITIS (rapporteur) : maître de conférences\, Université de TampereDate de la soutenance : lundi 22 juin 2026\n\n\n\n\nAbstract:\n\nThis thesis focuses on sound source tracking\, which aims to extract the spatial positions of sound sources from multichannel microphone recordings. Emphasis is placed on meeting-like scenarios involving speech sources in indoor environments\, with a specific focus on the overlooked problem of tracking intermittent and moving speakers\, who can alternate between speech and silence periods and may move unpredictably while silent.\n\n\nIn a first contribution\, an evaluation pipeline centered on the problem of intermittent and moving speakers is designed. This includes LibriJump\, a synthetic evaluation dataset featuring intermittent speakers that move unpredictably while silent\, as well as complementary tracking metrics adapted from multi-object tracking to sound source tracking. Experiments using this novel evaluation pipeline confirm that unpredictable movement during silence is a limitation of current tracking approaches. \n\n\nThe remaining contributions investigate the integration of deep speaker embeddings as identity-related features for tracking intermittent and moving speakers. A first solution that leverages a pretrained general-purpose speaker-embedding extractor is proposed\, improving performance on the LibriJump dataset and demonstrating the usefulness of speaker embeddings. However\, this first solution is sensitive to factors that degrade speaker embedding quality\, motivating the need for a more tailored embedding extractor in a second contribution through the design of an appropriate training strategy. Results demonstrate improved short-context embedding extraction and increased robustness to overlap\, although further improvements in speech-overlap robustness remain possible.\n\nKeywords: Sound source tracking\, speaker recognition\, deep learning\, speaker tracking\, intermittent and moving speakers\, deep speaker embeddings\n\n 
URL:https://www.loria.fr/event/soutenance-de-these-taous-itarienne/
LOCATION:C005
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260625T103000
DTEND;TZID=Europe/Paris:20260625T133000
DTSTAMP:20260624T124103Z
CREATED:20260624T124103Z
LAST-MODIFIED:20260624T124103Z
UID:29569-1782383400-1782394200@www.loria.fr
SUMMARY:Soutenance HDR Enrico Mingo Hoffman
DESCRIPTION:La soutenance de HDR de Enrico Mingo Hoffman aura lieu au Loria le jeudi 25 juin à 10h30 au Loria\, dans la salle A008.\nSon habilitation est intitulée\n« Whole-Body Contact-Rich Motion Planning and Control of Floating-Base Systems ».\n\nAbstract:\nI will present works I have supervised on topics related to model-based Multi-Contact Motion Planning and Control problem applied to floating-base systems\, i.e.\, quadrupeds and bipeds.\nIn particular\, I will present a framework for optimization-based whole-body Cartesian impedance control\, optimal control for the locomotion of quadrupeds and bipedal systems\, and a pipeline using sample-based planning to tackle the Multi-Contact Motion Planning and Control problem in complex environments.\nKeywords: legged robots\, motion planning and control\, optimization\n\n\nFollowing the presentation\, two invited talks will be held: Máximo A. Roa Garzón will present « Compliant Manipulation for In-Space Operations and Services »\, and Olivier Stasse will present « Towards Embodied Intelligent Humanoid Robots: Technical and Scientific Challenges ».\n\n\nMarraine scientifique:\n\nSerena Ivaldi\, LORIA/INRIA France\n\nReviewers:\n\nChristine Chevallereau\,  LS2N–CNRS/Nantes Université\, France\nMáximo A. Roa Garzón\, German Aerospace Center DLR\, Germany\nOlivier Stasse\, LAAS-CNRS\, France\n\nExaminers:\n\nBernardetta Addis\, LORIA/Université de Lorraine\, France\nNicolas Perrin-Gilbert\, ISIR-CNRS\, France\nJochen Steil\, Technical University of Braunschweig/Gauss Robotics\, Germany\n\n\n\n\n\nVideoconference link: https://rendez-vous.renater.fr/muted_private/HDR_Enrico_Mingo_Hoffman_INRIA__3ar4l8zsisty_86c91d-bcb39e-ebe630#config.startWithVideoMuted=true&config.startWithAudioMuted=true
URL:https://www.loria.fr/event/soutenance-hdr-enrico-mingo-hoffman/
LOCATION:Loria (Amphi Gilles Kahn)
CATEGORIES:HDR
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260625T123000
DTEND;TZID=Europe/Paris:20260625T140000
DTSTAMP:20260623T093144Z
CREATED:20260623T093144Z
LAST-MODIFIED:20260623T093144Z
UID:29562-1782390600-1782396000@www.loria.fr
SUMMARY:Lunch.exe : échanges autour de l'innovation
DESCRIPTION:Ouvert à tous\, (sur inscription) Lunch.exe est l’occasion idéale pour partager des retours d’expérience et discuter des passerelles entre recherche et monde de l’innovation\, le tout autour de pizzas et d’un café. \nAu programme de cette première édition : Nous aurons le privilège d’accueillir Xavier Cavin\, ancien chercheur Inria/Loria et actuel CEO de Scalable Graphics\, qui nous partagera son parcours et son expertise dans le développement de solutions logicielles hautes performances. \n\nUn événement Unys
URL:https://www.loria.fr/event/lunch-exe-echanges-autour-de-linnovation/
LOCATION:Loria
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20260629
DTEND;VALUE=DATE:20260704
DTSTAMP:20260504T090108Z
CREATED:20260408T145945Z
LAST-MODIFIED:20260504T090108Z
UID:29200-1782691200-1783123199@www.loria.fr
SUMMARY:Cybercriminology Summer School
DESCRIPTION:The Cybercriminology Summer school will take place at Mines Nancy from June 29th to July 3rd.\n\n\n\n\nThis interdisciplinary summer school aims to bring together doctoral researchers\, early-career scholars\, advanced master’s students\, and practitioners interested in the study of cybercrime\, digital harms\, and online criminal ecosystems. \nThe programme will explore key theoretical\, methodological\, and policy challenges in cybercriminology\, drawing on perspectives from criminology\, computer science\, sociology\, law\, and cybersecurity studies. \n\n\nMore information: https://cybercriminology-nancy.fr/
URL:https://www.loria.fr/event/nancy-cybercriminology-summer-school/
LOCATION:Mines Nancy – Campus Artem
CATEGORIES:school
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260630T140000
DTEND;TZID=Europe/Paris:20260630T170000
DTSTAMP:20260623T093632Z
CREATED:20260515T143254Z
LAST-MODIFIED:20260623T093632Z
UID:29469-1782828000-1782838800@www.loria.fr
SUMMARY:Soutenance de thèse : Benjamin Testart (équipe Mocqua)
DESCRIPTION:Le 30 juin 2026\, Benjamin Testart (Mocqua) soutiendra sa thèse intitulée \n« Évitement de motifs dans les séquences d’inversions »\n« Pattern avoidance in inversion sequences »\n\nRapporteurs :\nEnrica Duchi – Université Paris-Cité\, IRIF\nPhilippe Nadeau – CNRS\, Institut Camille Jordan\n\nExaminateurs :\nPhilippe Chassaing – Université de Lorraine\, IECL\nWenjie Fang – Université Gustave Eiffel\, LIGM\nIrène Marcovici – Université de Rouen Normandie\, LMRS\nVincent Vajnovszki – Université Bourgogne Europe\, LIB\n\nDirecteurs :\nMathilde Bouvel – CNRS\, LORIA\nEmmanuel Jeandel – Université de Lorraine\, LORIA\n\n\nRésumé :\n\nCette thèse est consacrée à l’étude de l’évitement de motifs dans les séquences d’inversions\, et particulièrement à l’aspect énumératif. Les séquences d’inversions apparaissent naturellement comme des encodages de permutations via le code de Lehmer\, mais elles constituent également une structure combinatoire riche à part entière. Alors que les motifs de permutations ont été largement étudiés depuis plusieurs décennies\, l’étude systématique des motifs dans les séquences d’inversions est plus récente et a déjà révélé de nombreuses connexions avec des suites d’entiers bien connues et d’autres objets combinatoires.\nLes deux premiers chapitres étudient le dénombrement des séquences d’inversions évitant un ou deux motifs de longueur trois. En s’appuyant sur des travaux précédents qui ont laissé une vingtaine de cas ouverts\, nous complétons le dénombrement de ces classes en trouvant des formules de comptage pour tous les cas restants. Notre approche repose sur deux techniques : des découpages en deux parties\, et des constructions par arbres de génération.\nLe troisième chapitre se concentre sur les séquences d’inversions évitant le motif 021 ainsi que d’autres motifs supplémentaires. En utilisant un encodage par des chemins de Dyck colorés\, nous montrons que les séquences d’inversions évitant n’importe quel ensemble fini de motifs contenant 021 ont toujours une fonction génératrice algébrique. Ce résultat s’obtient grâce à des liens avec la théorie des langages formels\, en interprétant les classes considérées comme des langages reconnus par des automates à compteur.\nLe dernier chapitre introduit la notion de séquence d’inversions minimale pour un motif. Ces objets forment le plus petit ensemble de séquences d’inversions dont l’évitement est équivalent à l’évitement du motif en question (dans les séquences d’inversions). Nous établissons des propriétés structurelles de ces objets\, en les caractérisant par des conditions satisfaites par leurs occurrences du motif. À partir de ces propriétés\, nous déduisons des bornes sur leur longueur. Pour certains motifs\, nous obtenons des équations fonctionnelles qui permettent de dénombrer les séquences d’inversions minimales\, à travers une bijection avec des arbres croissants.
URL:https://www.loria.fr/event/soutenance-de-these-benjamin_testart/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
END:VCALENDAR