BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.15.20//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:20260507T103000
DTEND;TZID=Europe/Paris:20260507T120000
DTSTAMP:20260509T062245
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:20260506T090000
DTEND;TZID=Europe/Paris:20260506T173000
DTSTAMP:20260509T062245
CREATED:20260316T102304Z
LAST-MODIFIED:20260316T102412Z
UID:29092-1778058000-1778088600@www.loria.fr
SUMMARY:Workshop - Grands modèles de langue : résonance ou raisonnement ?
DESCRIPTION:Grands modèles de langue : résonance ou raisonnement ?\n\n\n\n\n\n\n\nMercredi 6 mai 2026 – 09:00 – 17:30\n\n\n\n\nMSH Lorraine – 91 av. de la Libération – Salle internationale (324) – uniquement en présence\n\n\n\n\n\n\n\nLes grands modèles de langue (LLM) renouvellent en profondeur la question du raisonnement artificiel. En trois ans\, on a pu en effet assister à une progression fulgurante de la qualité des productions des LLM qui\, pour certains\, peuvent accompagner leurs réponses de justifications\, d’argumentations étayées\, voire de preuves formelles. \n\n\nCe workshop propose d’examiner\, au-delà des performances techniques\, les enjeux conceptuels et philosophiques soulevés par ces systèmes. Ces raisonnements sont-ils véritablement nouveaux et produits par des machines\, ou ne sont-ils que la résonance de raisonnements humains mémorisés dans leur base d’apprentissage ? Que signifie « raisonner » pour un modèle statistique ? Peut-on parler de compréhension\, d’inférence ou d’intentionnalité sans sujet pensant ? \n\n\nNous interrogerons les continuités et ruptures entre raisonnement humain et calcul algorithmique\, ainsi que les implications épistémologiques de l’usage croissant des LLM dans la production de connaissances. \n\n\nLe workshop se veut un espace de dialogue interdisciplinaire entre informatique\, philosophie et sciences cognitives. \n\n\n\n\n\nParticipants :\n\n\n\nClémentine Bleuze (Loria\, Université de Lorraine\, Nancy)\nDenis Bonnay (IRePh\, Université Paris Nanterre)\nChristophe Cerisara (Loria\, CNRS\, Nancy)\nMartin Schüle (ZHAW – Université des Sciences Appliquées de Zurich)\n\n\nInscription :\n\n\nLe workshop se déroulera uniquement en présence.\nEntrée libre\, inscription obligatoire avant le 20 avril.\nFormulaire d’inscription ici \n\n\n\n\n\n\nProgramme :\n\n\n\n09:00 Introduction (David Langlois\, Manuel Rebuschi\, Mathieu d’Aquin)\n09:30 Clémentine Bleuze: Discours scientifique sur le « raisonnement » des LLM : impacts sur la recherche et les représentations collectives\n10:15 Martin Schüle: Sur la représentation de la sémantique dans les LLM\n11:00 Pause\n11:15 Table ronde 1\n12:30 pause déjeuner\n14:00 Christophe Cerisara: Raisonnement\, mémorisation et généralisation dans les LLM\n14:45 Denis Bonnay: Thinking whether thinking models think (À quoi les modèles de raisonnement pensent-ils ?)\n15:30 pause\n15:45 Table ronde 2 et conclusions\n17:00 Démos et posters de doctorants\n17:30 fin \nNB. L’ordre des interventions est susceptible d’être modifié \n\n\n\n\n\n\nRésumés :\n\n\n\nClémentine Bleuze\n\nDiscours scientifique sur le « raisonnement » des LLM : impacts sur la recherche et les représentations collectives\nDe quoi parlent les chercheurs et chercheuses en Traitement Automatique des Langues (TAL) lorsqu’ils et elles parlent de « raisonnement » ? En nous appuyant sur un corpus de publications traitant plus particulièrement des grands modèles de langue (LLM)\, nous verrons que ce terme peut évoquer à la fois un certain type de tâches à résoudre\, des capacités de ces modèles\, leurs productions\, ou encore des stratégies de prompting. Dans un second temps\, nous exploiterons des indices lexico-syntaxiques de ce même corpus pour rendre compte de l’emploi de concepts liés au raisonnement (tels que la « compréhension »\, le « jugement »\, etc.). Ceci nous amènera finalement à questionner le caractère anthropomorphisant du vocabulaire employé actuellement en TAL\, vis-à-vis de modèles probabilistes dépourvus de sentience. Comment trancher entre usages métaphoriques bel et bien ancrés dans le langage technique\, et expressions trompeuses pour décrire la réalité des LLM ?\n\n\nDenis Bonnay\n\nThinking whether thinking models think (À quoi les modèles de raisonnement pensent-ils ?)\nRésumé: L’arrivée des modèles de raisonnement a suscité de nombreuses interrogations s’agissant aussi bien des performances qui sont les leurs que de savoir ce que font réellement ces modèles. Dans cette intervention\, je voudrais m’intéresser aux conditions auxquelles il est pertinent de dire qu’ils « réfléchissent ». Je suggère que (1) la question gagne à être abordée dans une perspective fonctionnaliste\,  que (2) une telle perspective invite à relativiser l’importance de certains critères souvent tenus pour acquis dans les discussions actuelles tels que la fidélité des traces de raisonnement\, et enfin que (3) sur cette base\, pourrions avoir davantage de raisons de dire que ces systèmes « réfléchissent » qu’on ne le suppose généralement.\n\n\nChristophe Cerisara \n\nRaisonnement\, mémorisation et généralisation dans les LLM\nLes LLM ne raisonnent pas comme les humains. Le terme « raisonnement »\, tel que couramment appliqué aux LLM\, recouvre différentes notions: on peut distinguer les Chain of Thoughts (CoT) issues du pretraining\, les CoT apprises de manières supervisées\, les CoT apprises par renforcement\, mais aussi la décomposition d’une tâche complexe en séquence de tâches plus simples\, le raisonnement spatial\, temporel\, compositionnel\, etc. Je présenterai plus particulièrement des travaux de l’état de l’art concernant la non-interprétabilité de la CoT\, son rôle en tant qu’artefact technique pour augmenter les resources de calcul disponibles au LLM pour construire sa réponse\, la source possible dans le corpus d’apprentissage de ces capacités de raisonnement\, et les méthodes pour obtenir de meilleures CoT.\n\n\nMartin Schüle \n\nSur la représentation de la sémantique dans les LLM\nLes grands modèles de langage peuvent-ils « comprendre » ? Si la compréhension implique une certaine saisie du sens\, il nous faut clarifier ce que le « sens » signifie pour un LLM. J’examine comment le sens peut être représenté dans un LLM et je situe la discussion philosophique autour du concept de sens dans le contexte des débuts de la philosophie analytique\, telle qu’elle a été développée par Frege\, Russell\, Quine et d’autres.\n\n\n\n\n\n\nManifestation organisée par :  \n\nGroupe LLM & Raisonnement (AHP-Loria)\n\ncoordonnée par : \n\nMathieu d’Aquin (Loria)\nDavid Langlois (Loria)\nManuel Rebuschi (AHP-PReST)\n\nAvec le soutien de :  \n\nAHP-PReST\nInsight\nLoria\nPôle scientifique AM2I (Université de Lorraine)
URL:https://www.loria.fr/event/workshop-grands-modeles-de-langue-resonance-ou-raisonnement/
LOCATION:MSH Lorraine – 91 av. de la Libération – Salle internationale (324) – uniquement en présence
CATEGORIES:Workshop
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260505T201500
DTEND;TZID=Europe/Paris:20260505T220000
DTSTAMP:20260509T062245
CREATED:20260504T083043Z
LAST-MODIFIED:20260504T083043Z
UID:29397-1778012100-1778018400@www.loria.fr
SUMMARY:Soirée Ciné Débat : Dalloway
DESCRIPTION:𝐋𝐞𝐬 𝐂𝐥𝐮𝐛 𝐎𝐫𝐢𝐨𝐧 𝐑𝐄𝐒𝐀𝐈𝐀 𝐞𝐭 𝐓𝐀𝐋𝐎𝐒 𝐨𝐧𝐭 𝐥𝐞 𝐩𝐥𝐚𝐢𝐬𝐢𝐫 𝐝𝐞 𝐯𝐨𝐮𝐬 𝐜𝐨𝐧𝐯𝐢𝐞𝐫 𝐚̀ 𝐮𝐧𝐞 𝐬𝐨𝐢𝐫𝐞́𝐞 𝐂𝐢𝐧𝐞́’𝐝𝐞́𝐛𝐚𝐭 𝐮𝐧𝐢𝐪𝐮𝐞 ! \nRendez-vous 𝐥𝐞 𝐦𝐚𝐫𝐝𝐢 𝟓 𝐦𝐚𝐢\, 𝐚̀ 𝐩𝐚𝐫𝐭𝐢𝐫 𝐝𝐞 𝟐𝟎𝐡𝟏𝟓\, au 𝐂𝐚𝐦𝐞́𝐨 𝐂𝐨𝐦𝐦𝐚𝐧𝐝𝐞𝐫𝐢𝐞 𝐝𝐞 𝐍𝐚𝐧𝐜𝐲. \nAu programme : projection du film Dalloway\, réalisé par Yann Gozlan (2025)\, suivi d’un temps d’échange pour discuter de la production artistique à l’ère de l’IA\, de ses dérives réelles et potentielles\, aux croisements du traitement du langage naturel\, de la cybersécurité\, de la psychiatrie et du droit d’auteur. \nAvec : Clémentine Bleuze\, doctorante dans l’équipe Sémagrmame du Loria\, spécialisée en LLM. \nGabriel Sauger\, docteur en informatique\, spécialisé en cybersécurité. \nSixtine Bolâtre\, médecin\, spécialisée en psychiatrie. \n✍️ L’évènement est ouvert à toutes et tous\, avec une inscription via ce lien. \nLe prix du billet est à la charge des participant.e.s. \nAu plaisir de vous y retrouver nombreuses et nombreux !
URL:https://www.loria.fr/event/soiree-cine-debat-dalloway/
LOCATION:Caméo Commanderie\, 16 rue de la Commanderie\, Nancy\, 54000\, France
CATEGORIES:Événement grand public
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260428T130000
DTEND;TZID=Europe/Paris:20260428T140000
DTSTAMP:20260509T062245
CREATED:20260410T104503Z
LAST-MODIFIED:20260410T104503Z
UID:29219-1777381200-1777384800@www.loria.fr
SUMMARY:Loria Security Seminar
DESCRIPTION:The next SSL seminar will take place on April 28th in the Amphitheater Gilles Kahn at 1:00pm.\n\n\nPierrick Gaudry\, Emmanuel Thomé\, and Paul Zimmermann (Caramba team)\, will give a talk about\nFactoring and solving discrete logarithms\, 15 years after RSA-768.\n\n\n\n\n\n\n\n\n\n\nAbstract:\nIn December 2009\, the factorization of RSA-768 was announced.\nThis milestone\, to which we participated\, was then published at Crypto\nand the article recently received a Test-of-Time award.\nThis is a good opportunity to look at what happened since then in the\narea of the Number Field Sieve (NFS) algorithm. We will take a biased\npoint of view\, looking in particular at the Cado-nfs software\, which was\na young project in 2009 and the code was not used for the 768-bit\nrecord. It has now become the reference implementation\, and was used to\nset the current records for both factoring (250 decimal digits) and\ndiscrete logarithm in finite fields (240 digits).\nWe will tell a few stories of our journey through NFS and computing\nrecords. Theoretical questions in number theory meet deep algorithmic\nquestions to form the basis of the cado-nfs software\, which would not\nsurvive without a lot of software engineering.\n\n\n\n\n\nMore information: https://seminaire-securite.loria.fr/
URL:https://www.loria.fr/event/loria-security-semainar/
LOCATION:Amphithéâtre du Loria
CATEGORIES:school
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260427T000000
DTEND;TZID=Europe/Paris:20260427T000000
DTSTAMP:20260509T062245
CREATED:20260127T151554Z
LAST-MODIFIED:20260330T114727Z
UID:28900-1777248000-1777248000@www.loria.fr
SUMMARY:Soutenance de thèse de Mickaëlla GRONDIN-VERDON
DESCRIPTION:
URL:https://www.loria.fr/event/soutenance-de-these-de-mickaella_grondin-verdon/
LOCATION:C005\, Loria
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260420T140000
DTEND;TZID=Europe/Paris:20260420T170000
DTSTAMP:20260509T062245
CREATED:20260415T072351Z
LAST-MODIFIED:20260415T072351Z
UID:29238-1776693600-1776704400@www.loria.fr
SUMMARY:Soutenance de thèse : Hee-Soo Choi (Sémagramme)
DESCRIPTION:Hee-Soo Choi\, doctorante à l’ATILF et dans l’équipe Sémagramme\, soutiendra sa thèse le lundi 20 avril 2026 à 14 heures en salle A008. \nSa présentation est intitulée « Ressources Lexicales et TAL : de l’enrichissement de réseaux lexico-sémantiques du français à la génération de plongements de graphe pour la désambiguïsation lexicale ». \n\nRésumé :\n\nHistoriquement\, les ressources lexicales symboliques\, telles que les dictionnaires et les réseaux lexico-sémantiques\, constituaient les fondations des systèmes de Traitement Automatique des Langues (TAL).\nCependant\, l’essor de l’apprentissage profond et des grands modèles de langue a provoqué un changement de paradigme majeur vers des représentations implicites et numériques\, apprises à partir de grandes quantités de données.\nDans cette thèse\, nous nous proposons d’étudier les interactions entre les ressources lexicales et le TAL.\nNos travaux s’articulent autour deux axes majeurs : explorer comment les techniques de TAL peuvent contribuer à automatiser et enrichir les ressources lexicales\, et inversement\, examiner comment l’intégration de ces ressources peut améliorer les systèmes automatiques.\nDans le premier axe « TAL pour les ressources lexicales »\, nous nous intéressons à l’enrichissement de réseaux lexico-sémantiques du français par un système de prédiction de liens.\nDans le second axe « Ressources lexicales pour le TAL »\, nous étudions l’intégration de plongements de graphe dans un système de désambiguïsation lexicale d’exemples lexicographique du français\, avec une attention particulière à la question de l’évaluation.\n\n\nComposition du jury :\n\nRapporteur·ices :\n\nPhilippe Langlais – RALI\, Université de Montréal\nPascale Sébillot – IRISA\, INSA Rennes\n\nExaminateur·ices :\n\nLucie Barque –  LLF\, CNRS\, Université Sorbonne Paris Nord\nClaire Gardent – LORIA\, CNRS\, Nancy\nMathieu Lafourcade – LIRMM\, Université Montpellier-II\, Montpellier\n\nEncadrant·es:\n\nMathieu Constant – ATILF\, CNRS\, Université de Lorraine\, Nancy\nKarën Fort – LORIA\, CNRS\, Université de Lorraine\, Nancy\nBruno Guillaume – LORIA\, Inria\, Nancy\, France
URL:https://www.loria.fr/event/soutenance-de-these-hee-soo-choi-semagramme/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260417T090000
DTEND;TZID=Europe/Paris:20260417T120000
DTSTAMP:20260509T062245
CREATED:20260127T151823Z
LAST-MODIFIED:20260217T100008Z
UID:28904-1776416400-1776427200@www.loria.fr
SUMMARY:Soutenance de thèse de Anna Nikiforovskaja
DESCRIPTION:Vendredi 17 avril à 9h00 aura lieu la soutenance de thèse de Anna Nikiforovskaja\, au Loria\, en salle A008. \nSujet de thèse :\n“ Multilingual KG-to-text Generation: From Data Creation To Human Evaluation “\nJury :\nRapporteurs : Pierre Zweigenbaum\, DR CNRS LISN\, Paris Saclay\,\nSina Zarriess\, PR\, University of Bielefeld\, Allemagne\nExaminateurs : Saad Malahmood\, AI Lead and NLG Expert at Shopware\nDimitra Gkatzia\, Associate Professor\, Edinburgh Napier University\nDirectrice de thèse : Claire Gardent\, Directrice de recherche\, CNRS\, LORIA\, France
URL:https://www.loria.fr/event/soutenance-de-these-de-anna_nikiforovskaja/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260403T140000
DTEND;TZID=Europe/Paris:20260403T173000
DTSTAMP:20260509T062245
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;VALUE=DATE:20260401
DTEND;VALUE=DATE:20260402
DTSTAMP:20260509T062245
CREATED:20260323T131213Z
LAST-MODIFIED:20260323T140432Z
UID:29123-1775001600-1775087999@www.loria.fr
SUMMARY:Journée NSI-SNT
DESCRIPTION:La prochaine journée NSI aura lieu au Loria le mercredi 1er avril 2026.\n\n\n\nIl s’agit d’un événement à destination des enseignants de NSI-SNT mais aussi de tous les collègues du second degré ou du supérieur intéressés par l’enseignement et les sciences numériques. Deux conférences invitées\, ainsi que des ateliers visant à approfondir certaines thématiques liées à la didactique des sciences numériques seront proposés.\n\n\nPlus d’informations et programme
URL:https://www.loria.fr/event/journee-nsi-snt-2026/
LOCATION:Loria
CATEGORIES:Autres
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260325T100000
DTEND;TZID=Europe/Paris:20260329T120000
DTSTAMP:20260509T062245
CREATED:20260317T113517Z
LAST-MODIFIED:20260317T113739Z
UID:29105-1774432800-1774785600@www.loria.fr
SUMMARY:Dans les pas de Champollion - Conférence de François Desset\, archéologue et linguiste
DESCRIPTION:Dans les pas de Champollion : le déchiffrement récent de l’écriture élamite linéaire (Iran\, IIIᵉ millénaire av. J.-C.)\nConférence donnée par François Desset\, archéologue oriental\, spécialiste des écritures du Proche-Orient ancien (Université de Liège ; Université de Téhéran ; Archéorient\, Lyon). \n📅 Mercredi 25 mars\n🕙 10h\n📍 Salle A008\, bâtiment Ada Lovelace. (Loria / Centre Inria de l’Université de Lorraine) \nRésumé : Découverte en 1903 à Suse\, dans le sud-ouest de l’Iran\, l’écriture élamite linéaire est longtemps restée indéchiffrée. Avec les hiéroglyphes égyptiens\, le cunéiforme mésopotamien et l’écriture de l’Indus\, elle fait partie des plus anciens systèmes d’écriture connus au IIIᵉ millénaire avant notre ère. \nCette conférence présente le déchiffrement récemment publié de cette écriture originale et en expose le système. Contrairement aux systèmes égyptien et mésopotamien contemporains\, qui combinent des notations phonétiques et logographiques\, l’élamite linéaire constitue le plus ancien système d’écriture connu reposant sur un principe uniquement phonétique. Il s’agit en effet d’un alpha-syllabaire utilisé pour transcrire la langue élamite\, un isolat linguistique encore très mal compris aujourd’hui. \nLa conférence sera donnée en français\, avec un support écrit en anglais. \n**************************** \n  \nConference given by François Desset\, archaeologist and epigraphist\, specialist of ancient Near Eastern writing systems (University of Liège; University of Tehran; Archéorient\, Lyon). It is an honor and a real opportunity to welcome him in our premises. \n📅 Wednesday\, March 25 \n🕙 10:00 \n📍 Room A008 \nTitle: In Champollion’s footsteps: the recent decipherment of Linear Elamite writing (Iran\, 3rd millennium BCE) \nAbstract: Discovered in 1903 in Susa\, in southwestern Iran\, the Linear Elamite script long remained undeciphered. Along with Egyptian hieroglyphs\, Mesopotamian cuneiform\, and the Indus script\, it is one of the oldest known writing systems from the 3rd millennium BCE. \nThis lecture presents the recently published decipherment of this original script and explains its system. Unlike the contemporary Egyptian and Mesopotamian systems\, which combine phonetic and logographic notations\, Linear Elamite represents the oldest known writing system based on a purely phonetic principle. It is an alpha-syllabary used to transcribe the Elamite language\, a linguistic isolate that is still very poorly understood today. \nThe conference will be given in French\, with slides in English.
URL:https://www.loria.fr/event/dans-les-pas-de-champollion-conference-de-francois-desset-archeologue-et-linguiste/
LOCATION:A008
CATEGORIES:Conférence
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260324T110000
DTEND;TZID=Europe/Paris:20260324T130000
DTSTAMP:20260509T062245
CREATED:20260217T100934Z
LAST-MODIFIED:20260217T100934Z
UID:28953-1774350000-1774357200@www.loria.fr
SUMMARY:Le Procès du Robot - Théâtre Scientifique
DESCRIPTION:Le 24 mars\, de 11h à 13h\, assistez à la représentation de la pièce de théâtre scientifique Le Procès du Robot\, à Télécom Physique Strasbourg. \nLes inscriptions sont ouvertes ! L’événement est gratuit et ouvert à toutes et tous. \nÀ la croisée du théâtre d’improvisation et de la médiation scientifique\, ce format original\, animé par la compagnie Crache Texte\, plonge le public la veille d’un procès hors norme et l’invite à enquêter sur les enjeux bien réels de l’intelligence artificielle et de la robotique. \n\n\n📍 Lieu : Télécom Physique Strasbourg\, Grand amphi 207\n[Pôle API – Parc d’Innovation – 300 Bd Sébastien Brant – 67412 ILLKIRCH]\n📅 Date : 24 mars\n⏰ Horaire : 11h – 13h\n✅​ Inscrivez-vous sur ce lien \n\nSynopsis\nDans un futur proche\, l’agence de livraison La Cigogne exploite une flotte de 60 drones autonomes. Il y a un an\, l’un d’eux commence à dysfonctionner : il ne suit plus les règles prévues et effectue ses livraisons selon ses propres critères. Peu à peu\, ce comportement se propage à l’ensemble de la flotte. Les conséquences sont lourdes : plus de 200 personnes subissent des préjudices financiers et moraux\, notamment liés à la divulgation d’informations personnelles\, avec un impact sur leur vie privée et professionnelle. Le lendemain doit s’ouvrir le procès du robot à l’origine de cette contamination. Mais avant cela\, il faut comprendre : que s’est-il réellement passé ? Qui porte la responsabilité ? Et ce scénario relève-t-il de la fiction… ou d’un futur plausible ? \nLa pièce se déroule la veille du procès. Sur scène\, les comédiens et comédiennes de la compagnie Crache Texte incarnent des journalistes chargés de mener l’enquête. À travers leurs investigations\, ils retracent les événements qui ont conduit à la situation actuelle et interrogent des experts scientifiques pour éclairer les faits. \n Intelligence artificielle : des technologies déjà omniprésentes\nObjets connectés\, drones\, robots intelligents\, applications mobiles\, voitures autonomes… L’intelligence artificielle fait déjà partie de notre quotidien. Mais jusqu’où peuvent aller ces technologies ? Peut-on leur faire confiance ? Comment garantir leur fiabilité\, leur sécurité et le respect des données personnelles ? \nÀ travers cette enquête théâtrale\, Le Procès du Robot permet d’aborder ces questions sous un angle original et interactif\, en donnant au public des clés de compréhension pour mieux appréhender les enjeux scientifiques\, techniques et sociétaux de l’IA. \nTrois scientifiques seront sur scène pour participer à la représentation : \n\nSam Bigeard\, ingénieur Inria en traitement automatique des langues. Il travaille sur les systèmes capables de comprendre le langage humain : moteurs de recherche\, sous-titrage automatique ou assistants conversationnels comme ChatGPT. Ses recherches portent notamment sur la représentation des langues minoritaires dans les technologies d’IA.\nAntoine Deleforge\, chercheur Inria. Ses recherches portent sur l’apprentissage automatique\, le traitement du signal audio\, la séparation et la localisation des sources sonores\, l’analyse informatique des scènes auditives et l’audition robotique.\nRomain Serizel\, professeur à l’Université de Lorraine. Ses travaux portent sur les communications vocales robustes et la détection et la classification des sons ambiants\, des domaines essentiels pour les interactions entre humains et machines intelligentes.\n\nSam Bigeard et Romain Serizel sont tous les deux membres de l’équipe-projet Multispeech du Centre Inria de l’Université de Lorraine et du Loria (CNRS\, Université de Lorraine). Antoine Deleforge est membre de l’équipe-projet Macaron de l’antenne Inria de l’Université de Strasbourg et de l’IRMA (CNRS\, Université de Strasbourg). \n👉 Venez assister à l’enquête menée la veille du Procès du Robot et interroger\, aux côtés de chercheurs et de comédiens\, l’avenir de l’intelligence artificielle. \nCette représentation est organisée par le Centre Inria de l’Université de Lorraine\, le Loria (CNRS\, Université de Lorraine)\, soutenue par Alsace Digitale et financée par le cluster IA Grand Est ENACT. \nPlus d’infos sur le site du Cluster IA ENACT : https://cluster-ia-enact.ai/event/le-proces-du-robot-2026-03-24/
URL:https://www.loria.fr/event/le-proces-du-robot-strasbourg/
LOCATION:Télécom Physique Strasbourg\, Grand amphi 207\, Illkirch
CATEGORIES:Spectacle
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260320T133000
DTEND;TZID=Europe/Paris:20260321T173000
DTSTAMP:20260509T062245
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:20260509T062245
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:20260319T090000
DTEND;TZID=Europe/Paris:20260319T170000
DTSTAMP:20260509T062245
CREATED:20260319T144934Z
LAST-MODIFIED:20260319T145024Z
UID:29108-1773910800-1773939600@www.loria.fr
SUMMARY:Sciences\, un métier de femmes
DESCRIPTION:Organisée par l’association Femmes & Sciences en partenariat avec l’Université de Lorraine\, la deuxième édition de la journée « Sciences\, un métier de femmes » se tiendra le 19 mars 2026 à Nancy\, à la Faculté des sciences et technologies. L’événement réunira 250 lycéennes issues de 13 établissements lorrains afin de leur faire découvrir la diversité des carrières scientifiques et les encourager à envisager des études dans ces domaines. \nConférences\, rencontres et immersion dans les laboratoires\nLa journée s’articule autour de plusieurs temps forts. Elle débute par des conférences inspirantes avec l’intervention de la marraine Souad Boutegrabet et celle de la sociologue Eve Ballorain\, spécialiste des questions de parité et d’égalité\, pour renforcer la confiance en soi et amorcer une réflexion sur les stéréotypes de genre. \nLes participantes prennent ensuite part à des échanges en petits groupes sous forme de speed-meetings\, qui leur permettent de dialoguer avec des ambassadrices issues de différents domaines scientifiques\, dans le secteur public comme dans le secteur privé et à différents niveaux de qualification. \nLa journée se poursuit par des visites immersives de laboratoires\, offrant aux lycéennes l’occasion de découvrir la recherche scientifique en train de se faire sur plusieurs sites de l’Université de Lorraine\, notamment les campus Artem\, Brabois et la Faculté des sciences et technologies. Ces visites impliquent plusieurs organismes et structures de recherche\, dont le Loria.
URL:https://www.loria.fr/event/sciences-un-metier-de-femmes/
LOCATION:Amphi 7\, Bâtiment Victor Grignard
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260318T183000
DTEND;TZID=Europe/Paris:20260318T203000
DTSTAMP:20260509T062245
CREATED:20260225T105003Z
LAST-MODIFIED:20260225T105003Z
UID:28982-1773858600-1773865800@www.loria.fr
SUMMARY:Semaine du cerveau - conférence-débat
DESCRIPTION:Dans le cadre de la semaine du cerveau\, du 16 au 22 mars 2026\, la Société des Neurosciences organise une CONFÉRENCE – DÉBAT présentée par Laurent BOUGRAIN\, maître de conférences à l’Université de Lorraine et chercheur au LORIA (CNRS/Université de Lorraine).\nNeuroQuiz : que peut-on faire avec des interfaces cerveau-ordinateur ?\nLes interfaces cerveau-ordinateur relèvent-elles de la science-fiction ou font-elles déjà partie de notre réalité ?\nVenez confronter vos idées reçues et découvrir de manière interactive\, ce que ces technologies permettent de faire : leurs véritables capacités\, leurs limites et les applications concrètes qui pourraient transformer notre quotidien.\n\n\nMercredi 18 mars à 18h30 – au Crédit Mutuel des Enseignants – sur inscription – \nEn savoir plus sur la Semaine du Cerveau et le programme en Lorraine : https://www.semaineducerveau.fr/programme-manifestations/?wpv_view_count=5712&wpv-relationship-filter=589&wpv-wpcf-event-theme-list=&wpv-wpcf-event-type=&wpv-wpcf-event-date-debut=&wpv-wpcf-event-public-list=
URL:https://www.loria.fr/event/semaine-du-cerveau/
LOCATION:Crédit Mutuel des Enseignants – 31 Rue Gustave Simon\, 54000 Nancy
CATEGORIES:Conférence,Projection
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260317T140000
DTEND;TZID=Europe/Paris:20260317T160000
DTSTAMP:20260509T062245
CREATED:20260312T085719Z
LAST-MODIFIED:20260312T090218Z
UID:29061-1773756000-1773763200@www.loria.fr
SUMMARY:Soutenance HDR Étienne Corman
DESCRIPTION:La soutenance de HDR de Étienne Corman aura lieu au Loria le mardi 17 mars à 14h dans l’amphithéâtre Gilles Kahn.\nSon habilitation est intitulée\n« Exploring Surface Seamless Mappings Toward Hexahedral Meshing ».\nLa soutenance se fera en anglais.\n\nIl exposera ses travaux sur la génération automatique de maillages quadrilatéraux et hexaédriques à l’aide de paramétrisations sans couture. Cette méthode\, provenant de l’informatique graphique\, tente d’aligner des surfaces ou des volumes avec la grille régulière. Cette approche promet d’automatiser des tâches de remaillages complexes et fastidieuses tout en améliorant la qualité des maillages. Cependant\, la route est encore longue avant de parvenir à un algorithme utilisable de façon industrielle. Ses travaux de recherche mettent en lumière les difficultés de généraliser les méthodes de remaillage quadrilatéral à la dimension supérieure.\n\nComposition du jury :\n– Mathieu Desbrun\, Directeur de Recherche\, Centre INRIA de Saclay\n– Marcel Campen\, Professeur\, Osnabrück University\n– Jean-François Remacle\, Professeur\, Université Catholique de Louvain\n– Jeanne Pellerin\, R&D team leader HDR\, TotalEnergies\n– Marco Livesu\, Directeur de Recherche\, National Research Council of Italy\n– Dmitry Sokolov\, Professeur\, Université de Lorraine\n\n\n\n\n\n\n.\n.\n.\n.\n\n\n\n\n\nEtienne Corman is pleased to invite you to his HDR defense\, which will take place on Tuesday\, March 17th at 2:00 PM in the Gilles Kahn Amphitheater.\nHis habilitation is titled:\n« Exploring Surface Seamless Mappings Toward Hexahedral Meshing ».\nThe defense will be conducted in English.\nHe will discuss his work on the automatic generation of quadrilateral and hexahedral meshes using seamless parameterizations. This method\, inspired by computer graphics\, aims to align surfaces or volumes with a regular grid. It holds the promise of automating complex and tedious remeshing tasks while improving mesh quality. However\, significant challenges remain before achieving an industrially viable algorithm. His research highlights the difficulties in generalizing quadrilateral remeshing methods to higher dimensions.\n\nThe jury:\n– Mathieu Desbrun\, Senior Researcher\, Centre INRIA de Saclay\n– Marcel Campen\, Professor\, Osnabrück University\n– Jean-François Remacle\, Professor\, Université Catholique de Louvain\n– Jeanne Pellerin\, R&D team leader HDR\, TotalEnergies\n– Marco Livesu\, Senior Researcher\, National Research Council of Italy\n– Dmitry Sokolov\, Professor\, Université de Lorraine
URL:https://www.loria.fr/event/soutenance-hdr-etienne-corman/
LOCATION:Loria (Amphi Gilles Kahn)
CATEGORIES:HDR
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260317T140000
DTEND;TZID=Europe/Paris:20260317T160000
DTSTAMP:20260509T062245
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:20260509T062245
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:20260509T062245
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:20260312T130000
DTEND;TZID=Europe/Paris:20260312T140000
DTSTAMP:20260509T062245
CREATED:20260227T083157Z
LAST-MODIFIED:20260227T083157Z
UID:28999-1773320400-1773324000@www.loria.fr
SUMMARY:Présentation du challenge Revell'East
DESCRIPTION:Le challenge Revell’East vous sera présenté le 12 mars par Anne Coreau\, directrice Innovation Territoriale Grand Est Orange\n➡ à l’Agora du Loria\, de 13h à 14h. \nQu’est-ce que le challenge Revell’East ?\nC’est un challenge d’intelligence collective pour les femmes du Grand Est et leurs équipes\, ayant pour but de favoriser l’innovation\, la créativité et le goût d’entreprendre dans la Tech. Coopération et co-apprentissage sont au cœur de cette journée d’émulation et de rencontres. \nFruit d’une collaboration entre Orange\, EST’elles Executive\, l’ICN et Alsace Digitale\, Revell’East est un challenge d’intelligence collective dans le domaine de la Tech qui se déroulera le 9 avril simultanément à l’ICN à Nancy et chez Semia/Digital Village à Strasbourg.  \n\nA qui s’adresse-t-il ?\n​Conjuguée au féminin\, cette journée vise à imaginer\, concevoir et prototyper de nouveaux produits ou services. Cependant\, l’événement est ouvert à tous : même si les porteurs de projet doivent être des femmes\, les équipes sont mixtes ! \nVous pouvez donc participer à ce challenge : \n✔soit en tant que porteuse de projet \n✔soit en tant que facilitateur/coach qui viendront en appui pour aider les équipes à avancer et sont garants du bon déroulement des projets. \n2 lieux pour un événement\n📍À Nancy\, l’événement se déroulera à ARTEM\, dans les locaux de l’ICN\, 2 Place de Padoue\, Nancy. \n📍à Strasbourg\, il aura lieu dans les locaux de Semia/Digital Village\, 9 Rue de la Krutenau\, 67000 Strasbourg \nPour vous inscrire :  \n\nédition de Nancy \nédition de Strasbourg
URL:https://www.loria.fr/event/presentation_challenge_revell_east/
LOCATION:Agora
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260310T140000
DTEND;TZID=Europe/Paris:20260310T150000
DTSTAMP:20260509T062245
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:20260509T062245
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:20260509T062245
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:20260303T093000
DTEND;TZID=Europe/Paris:20260303T093000
DTSTAMP:20260509T062245
CREATED:20260127T151226Z
LAST-MODIFIED:20260226T093052Z
UID:28898-1772530200-1772530200@www.loria.fr
SUMMARY:Soutenance de thèse de Florian MOSER
DESCRIPTION:« Formal Methods for Internet Voting ».\nLa soutenance se déroulera le mardi 3 mars 2026 à 9h30 en A008. La présentation sera en anglais.\nElle sera suivie d’un pot en salle club aux alentours de midi. \nUne visioconférence sera également disponible via le lien suivant :\nhttps://famosergmbh-807.my.webex.com/famosergmbh-807.my/j.php?MTID=m73a3f97ce318919f8c0df02f6dbbb816 \n\nLe jury sera composé de :\n– Ioana Boureanu\, University of Surrey (rapporteuse)\n– Olivier Pereira\, University of Louvain (rapporteur)\n– Thomas Haines\, University of Maryland (examinateur)\n– Emmanuel Thomé\, CNRS (examinateur)\n– Elizabeth Quaglia\, University of London (examinatrice)\n– Veronique Cortier\, CNRS (directrice de thèse)\n– Alexandre Debant\, INRIA (directeur de thèse)\n– Melanie Volkamer\, Karlsruhe Institute of Technology (invitée) \nRésumé :\nLe vote par internet fait référence aux élections effectuées via\ninternet\, où les électeurs utilisent leurs propres appareils personnels\npour exprimer leur vote. Un tel système\, bien que fondamentalement\ndifférent des élections sur papier\, doit fournir les mêmes garanties de\nsécurité que les systèmes électoraux traditionnels. Cela inclut la\nvérifiabilité de l’intégrité du résultat de l’élection\, tout en\npréservant le secret de vote. Dans la première partie de la thèse\, nous\nexplorons les mécanismes de sécurité employés par l’industrie. Dans la\ndeuxième partie de la thèse\, nous proposons un nouveau mécanisme\npermettant aux électeurs de voter en toute confidentialité\, même si leur\npropre appareil est compromis. Dans la troisième partie de la thèse\,\nnous présentons un framework permettant d’obtenir des preuves formelles\nde sécurité pour des protocoles de vote sur internet. Nous avons\nappliqué avec succès le framework de preuve à plusieurs protocoles de la\nlittérature et de l’industrie\, y compris Belenios\, Swiss Post\, et notre\npropre proposition de vote par codes courts de la deuxième partie de la\nthèse.
URL:https://www.loria.fr/event/soutenance-de-these-de-florian_moser/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260219T103000
DTEND;TZID=Europe/Paris:20260219T123000
DTSTAMP:20260509T062245
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:20260509T062245
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:20260211T110000
DTEND;TZID=Europe/Paris:20260212T170000
DTSTAMP:20260509T062245
CREATED:20260127T150806Z
LAST-MODIFIED:20260212T121424Z
UID:28892-1770807600-1770915600@www.loria.fr
SUMMARY:Visite des étudiant·es de l'ENS Paris SACLAY
DESCRIPTION:Le Loria est très heureux d’accueillir des étudiantes et les étudiants de l’ENS Paris Saclay pour deux journées d’échanges et de découvertes.\n\nL’occasion pour 21 jeunes de L3 Double diplôme mathématique et informatique de découvrir les réalités et la variété des domaines de la recherche informatique et le fonctionnement d’un laboratoire via une immersion au sein des équipes.\n\n\nDifférents exposés et visites rythment ces deux journées de rencontres : \nMercredi 11/02 :\n\n11h45-12h45: Présentation de l’INRIA et du Loria\n\npar Isabelle Chrisment\, directrice du Centre Inria de l’Université de Lorraine & Abdelkader Lahmadi\, responsable du département D3\, Réseaux\, systèmes et services\, au Loria\n\n\n13h00-14h00: Repas à la cantine du laboratoire\n14h00-16h00: Visites des équipes\n\n14h00-14h40: LARSEN\, MOCQUA (quantique)\, MosAIk\, PESTO\n14h40-15h20: LORELEY\, CARAMBA\, SEMAGRAMME\, MOSEL-VERIDIS\n15h20-16h00: MOCQUA (quantique)\, Hucebot\, PIXEL\, TYPES\n\n\n16h00-16h30: Pause café\n16h30-17h10: Visites des équipes\n\n16h30-17h10: CARAMBA\, CAPSID\, MosAIk\, CARBONE\n\n\n\nJeudi 12/02 :\n\n09h15-11h15: Visites des équipes\n\n09h15-09h55: PESTO\, LARSEN\, LORELEY\, TYPES\n09h55-10h35: GAMBLE\, SEMAGRAMME\, RESIST\, MOSEL-VERIDIS\n10h35-11h15: GAMBLE\, RESIST\, MOCQUA(systèmes dynamiques)\, MosAIk\n\n\n11h30-13h00: Visites des plateformes\n13h00-14h30: Buffet\n14h30-15h50: Visites des équipes\n\n14h30-15h10: NEURORHYTHMS\, CARAMBA\, MOSEL-VERIDIS\, CARBONE\n15h10-15h50: PIXEL\, Hucebot\, PESTO\, CAPSID\n\n\n15h50-16h15: Pause café\n16h15-17h15: Exposé plénier\n\n15 ans de factorisation de RSA\, par Emmanuel Thomé\n\n\n\nListes équipes visitées\n\nCAPSID: Algorithmes de calcul pour les structures et les interactions des protéines\nCARAMBA: Cryptologie\, arithmétique : matériel et logiciel\nCARBONE: Études avancées sur les programmes malveillants et leur écosystème\nGAMBLE: Geometric Algorithms & Models Beyond the Linear and Euclidean Realm\nHucebot: Robotique centrée sur l’humain\nLARSEN: Autonomie et interaction au long cours pour des robots en environnements potentiellement sensorisés\nLORELEY: Systèmes collaboratifs distribués de confiance et à grande échelle\nMOCQUA: Modèles de calcul classiques et quantique\nMosAIk: différentes perspectives sur l’IA\nNEURORHYTHMS: Analyse et modélisation des systèmes neuronaux par une approche de neurosciences systémiques\nPESTO: Techniques de preuve pour les protocoles de sécurité\nPIXEL: Géométrie et lumière\nRESIST: Supervision des réseaux et des services dynamiques\nSEMAGRAMME: Logique Linéaire\, Réseaux de Démonstration et Grammaires Catégorielles\nTYPES: Logique\, Théorie de la démonstration et programmation\nMOSEL-VERIDIS: Méthodes formelles et applications\n\n \nMerci à tous les étudiants présents et à leurs enseignants\, aux équipes du Loria et de l’INRIA et aux organisateurs : Didier Galmiche (équipe TYPES)\, Dominique Larchey-Wendling (équipe TYPES)\, Stephan Merz (équipe VeriDis)\, Sophie Touret (équipe VeriDis)\, et Alexandre Debant (équipe Pesto) pour leur implication qui a contribué la réussite de ces journées. \n\nPlus d’infos sur le département d’enseignement et de recherche en informatique de l’ENS Paris Saclay : https://informatique.ens-paris-saclay.fr/
URL:https://www.loria.fr/event/visite-ens-paris-saclay/
LOCATION:A008
CATEGORIES:Conférence,Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260206T150000
DTEND;TZID=Europe/Paris:20260206T180000
DTSTAMP:20260509T062245
CREATED:20260127T151131Z
LAST-MODIFIED:20260127T160721Z
UID:28896-1770390000-1770400800@www.loria.fr
SUMMARY:Soutenance de thèse de Gabriel SAUGER
DESCRIPTION:« Targeted Evasion Attacks Against Machine-Learning-Based Binary Code Analysis« .\n\nLa soutenance aura lieu le vendredi 6 février à 15h00 en salle A008. La présentation sera en anglais.\nElle sera suivie d’un pot\, également en A008.\n\nRésumé :\n\nL’analyse de code binaire basée sur l’apprentissage automatique est devenue un pilier essentiel de la cybersécurité moderne\, en automatisant de manière efficace la détection de similarité de codes compilés. \nPouvoir décider si deux morceaux de code sont similaires possède de nombreuses applications\, telles que la découverte de vulnérabilités ou la classification de logiciels malveillants (malware). \nCependant\, ces modèles reposent souvent sur des motifs syntaxiques et structurels fragiles plutôt que sur la véritable sémantique des programmes\, les rendant vulnérables aux manipulations adverses. \nCette thèse évalue la robustesse des modèles de détection de similarité de code binaire (Binary Code Similarity Detection\, BCSD) face à des exemples adverses. \nNous présentons Kelpie\, un framework générant des exécutables perturbés trompant les classificateurs de code binaire. \nKelpie est capable d’appliquer des perturbations sémantiquement valides en boîte noire\, sans requêtes vers le classificateur cible à un binaire source\, de manière à ce qu’il ressemble syntaxiquement à un autre binaire cible. \nEn combinant une étape d’imitation du graphe de flot de contrôle et une étape d’alignement de la distribution d’instructions basic-block à basic-block\, Kelpie parvient à tromper les classificateurs les plus avancés. \nAu travers d’expériences couvrant plusieurs familles de modèles et jeux de données\, nous démontrons que Kelpie dégrade systématiquement les performances de classification\, révélant des biais fondamentaux dans les représentations apprises par les modèles. Nous menons également des analyses d’interprétabilité et des études de cas concrètes\, montrant comment de telles transformations adverses peuvent dissimuler des vulnérabilités ou des charges malveillantes au sein de binaires en apparence bénins. \nEnfin\, ce travail propose des pistes concrètes pour renforcer la robustesse des modèles d’apprentissage automatique dédiés à l’analyse binaire\, notamment par l’entraînement adverse et l’intégration de représentations symboliques du code. \nAu-delà de la mise en évidence des faiblesses actuelles\, le framework proposé contribue à la conception de systèmes d’apprentissage plus fiables pour la cybersécurité logicielle. \n\nComposition du jury :\n\n\nRapporteurs : Shyhtsun Felix Wu (National Cheng Kung University)\, Valérie Viet Triem Tong (Centrale Supélec)\nExaminateurs : Marine Minier (Université de Lorraine)\,  Sazzadur Rahaman (University of Arizona)\nInvité : Olivier Festor (Université de Lorraine)\nEncadrant : Jean-Yves Marion (Université de Lorraine)\n\n\n\n————\n\n« Targeted Evasion Attacks Against Machine-Learning-Based Binary Code Analysis« .\nThe defense will take place on February 6th at 3:00 p.m. in room A008. The presentation will be in english. \nIt will be followed by a reception\, also in A008. \n\nAbstract :\n\nMachine-learning-based binary code analysis has become a cornerstone of modern software security\, enabling efficient automatic similarity detection directly from compiled executables. \nThis enables solutions to downstream tasks such as vulnerability discovery and malware classification. \nYet\, these models often rely on fragile syntactic and structural patterns rather than true program semantics\, making them vulnerable to adversarial manipulation. \nThis thesis investigates the robustness of Binary Code Similarity Detection (BCSD) models under adversarial conditions. \nWe introduce Kelpie\, a novel two-stage adversarial framework that generates semantically valid binary perturbations in a black-box setting and without querying the target model. \n\nKelpie combines control-flow graph mimicry and instruction-distribution alignment to produce binaries that retain their functionality while syntactically mimicking another target binary\, deceiving state-of-the-art classifiers. \nThrough extensive experiments across multiple model families and datasets\, we demonstrate that Kelpie consistently degrades similarity and classification performance\, revealing inherent biases in learned representations. \nWe further conduct interpretability analyses and real-world case studies\, showing how adversarial transformations can conceal vulnerabilities or malicious payloads inside benign binaries. \nFinally\, this work outlines concrete directions for improving the robustness of machine-learning models for binary code analysis\, including adversarial training and symbolic feature integration. \nBeyond exposing weaknesses\, the proposed framework contributes to building more reliable learning-based systems for software security. \n\n\n\nJury composition :\n\n\nReviewers : Shyhtsun Felix Wu (National Cheng Kung University)\, Valérie Viet Triem Tong (Centrale Supélec)\nExaminers : Marine Minier (Université de Lorraine)\, Sazzadur Rahaman (University of Arizona)\n\nInvited : Olivier Festor (Université de Lorraine)\n\nSupervisor : Jean-Yves Marion (Université de Lorraine)
URL:https://www.loria.fr/event/soutenance-de-these-de-gabriel_sauger/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260206T133000
DTEND;TZID=Europe/Paris:20260206T173000
DTSTAMP:20260509T062245
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:20260203T160000
DTEND;TZID=Europe/Paris:20260203T183000
DTSTAMP:20260509T062245
CREATED:20260115T144633Z
LAST-MODIFIED:20260115T144911Z
UID:28838-1770134400-1770143400@www.loria.fr
SUMMARY:Soutenance de thèse de Valentin D. Richard
DESCRIPTION:Valentin D. Richard (Sémagramme)\, défendra sa thèse intitulée \n“Presuppositional and Dynamic Aspects of Questions“.\nLa soutenance aura lieu le 3 Février à 16h à Agnietenkapel. (Amsterdam)\n\nJury :\nLucas Champollion : New York University\nMaria Aloni : Universiteit van Amsterdam\nRobert van Rooij : Universiteit van Amsterdam\nMaxime Amblard : Université de Lorraine\nClaire Gardent : CNRS\n\nEncadrants :\nPhilippe De Groote : Inria\nReinhard Muskens : Universiteit van Amsterdam\nFloris Roelofsen : Universiteit van Amsterdam\n\n\n 
URL:https://www.loria.fr/event/soutenance-de-these-valentin_d_richard/
LOCATION:Amsterdam
CATEGORIES:Soutenance
END:VEVENT
END:VCALENDAR