BEGIN:VCALENDAR VERSION:2.0 PRODID:-//LORIA - ECPv6.16.2//NONSGML v1.0//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALNAME:LORIA X-ORIGINAL-URL:https://www.loria.fr X-WR-CALDESC:Events for 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:20200329T010000 END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:20201025T010000 END:STANDARD BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:20210328T010000 END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:20211031T010000 END:STANDARD BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:20220327T010000 END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:20221030T010000 END:STANDARD END:VTIMEZONE BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20211108T183000 DTEND;TZID=Europe/Paris:20211108T203000 DTSTAMP:20260520T152532 CREATED:20211022T132448Z LAST-MODIFIED:20211022T132500Z UID:14138-1636396200-1636403400@www.loria.fr SUMMARY:[#ThéâtreScientifique] Drone Control DESCRIPTION:Et si d’une rencontre entre un chercheur et une autrice naissait une pièce de théâtre sur l’intelligence artificielle ? C’est le concept du Binôme « Drone Control » commandé par l’Université de Lorraine à la compagnie Les sens des mots. \nRésumé \nAlors qu’Antoine cherche à financer ses travaux en spatialisation du son\, il intègre un incubateur de start-up qui le pousse à développer de nouvelles applications de son drone\, Robi. Celui-ci est à la fois son outil mais aussi l’objet qui s’anime chaque jour davantage à ses côtés\, et plus encore depuis que le compagnon d’Antoine l’a quitté pour rejoindre des groupes militants. Mais Robi et sa nouvelle utilisation vont mettre en danger ces groupes militants\, et il n’y aura que David Bowie pour les secourir… \nLe projet \nLa pièce de théâtre Drone Control est née de la rencontre\, en novembre 2020\, entre l’autrice Charlotte Lagrange et Antoine Deleforge\, chercheur en traitement et reconnaissance du son chez Inria / équipe Multispeech\, commune à Inria et au Loria (CNRS\, Inria\, Université de Lorraine). Cette entrevue\, portant sur l’intelligence artificielle et sur la capacité à communiquer des robots\, a donné lieu à l’écriture d’une pièce\, selon un protocole artistique développé par la compagnie Les Sens des Mots\, fondée en 2009 par Thibault Rossigneux. \nIntitulé « Binôme »\, le projet consiste en une rencontre de 50 minutes entre un.e scientifique et un.e auteur.rice\, dont découle l’écriture d’une pièce de théâtre de 30 minutes pour 3 comédien.ne.s. Celle-ci est ensuite mise en lecture\, mise en scène\, et accompagnée d’une création musicale sur-mesure. Chaque représentation de Binôme dure environ 1 heure 15\, et propose à la fois de visionner des extraits de la rencontre\, une lecture de la pièce\, la découverte de la réaction du/de la scientifique\, et une discussion avec le public. \nDepuis 2010\, plus de 42 spectacles ont ainsi été créés en France\, comme à l’étranger\, pour le plaisir de spectateurs toujours plus nombreux. \nEntrée gratuite sur réservation obligatoire\, à partir de 12 ans. \nMerci de vous munir de votre pass sanitaire en cours de validité. \nÉvénement organisé par l’Université de Lorraine – Cultire science et Inria URL:https://www.loria.fr/event/theatre-drone-control/ LOCATION:Centre des congrès Prouvé – Nancy\, 1 Place de la République\, Nancy\, 54000\, France CATEGORIES:Autres,Manifestation ATTACH;FMTTYPE=image/png:https://www.loria.fr/wp-content/uploads/Drone-control-tele-campus.png END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20211109T104500 DTEND;TZID=Europe/Paris:20211109T170000 DTSTAMP:20260520T152532 CREATED:20211102T121517Z LAST-MODIFIED:20211102T121517Z UID:14163-1636454700-1636477200@www.loria.fr SUMMARY:Day on citizen trust and informatics - DigiTrust - OLKi DESCRIPTION:Organizing committee : Enka BLANCHARD (DigiTrust)\, Aurore COINCE (OLKi)\, Maïra NASSAU (DigiTrust) \nContext \nRecent events — from the CoViD-19 pandemic to various electoral scandals — have shown that the public’s trust has major impacts not just on policy-making but on the political effectiveness of said policies. \nOn the technological front\, one way of addressing the issue has been to build systems that do not rely on a central authority\, and where the security depends on decentralised actions by all the users. However\, whether it concerns electronic voting or vaccination status\, technical solutions face an uphill fight to obtain public acceptance. \nThis one-day event brings experts from multiple interrelated fields such as voting systems\, accessibility technologies and cybersecurity. They will exchange insights on the impact of public trust on new technological designs\, as well as the reciprocal. \nLink to the videoconference \nProgram\n10:45 Introduction : Christophe CERISARA (OLKi) and Enka BLANCHARD (DigiTrust) \n11:00-12:00 Opening conference on citizen trust in Taiwan during the Covid-19 situation by Audrey TANG\, Digital Minister of Taiwan \nAudrey Tang is a leading figure in East Asian open-source communities and has been Taiwan’s Digital Minister since 2016\, an interesting position for a self-identified anarchist who challenges traditional hierarchical structures on an daily basis. A central part of their work has been on making governemnental websites more accessible to all netizens and promoting full transparency of governmental data. They’ve been at the core of vTaiwan\, one of the most successful participatory democracy projects ever created which has had tangible impact on Taiwanese policy-making and legislature. \n12:00-13:30 Lunch break \n13:30-15:10 E-democracy and citizen acceptance of technologies \nChaire: Ksenia ERMOSHINA (Centre for Internet and Society) \n– Véronique CORTIER (LORIA) \n– Anna ZIELINSKA (AHP) \n– David MONNIAUX (VERIMAG) [to be confirmed] \n15:15-16:55 Trust and technological support systems \nChaire : Enka BLANCHARD\, LORIA \n– Ted SELKER (UMBC Center for Cybersecurity) \n– Ashley SHEW (Virginia Polytechnic Institute and State University) \n– Eloïse ZEHNDER (2LPN- INRIA) \n16:55-17:00 Conclusion by Enka BLANCHARD URL:https://www.loria.fr/event/day-on-citizen-trust-and-informatics-digitrust-olki/ CATEGORIES:Séminaire END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20211110T183000 DTEND;TZID=Europe/Paris:20211110T203000 DTSTAMP:20260520T152532 CREATED:20211025T152129Z LAST-MODIFIED:20211025T152129Z UID:14144-1636569000-1636576200@www.loria.fr SUMMARY:FutuRobot : percez les secrets de la robotique DESCRIPTION:Les robots ne cessent de susciter fascination et questionnement. Ces alliés grandissants de notre quotidien se trouvent déjà dans de nombreux domaines. Une soirée pour découvrir en quoi ces robots sont si intéressants voire indispensables pour assister l’homme à différentes échelles… \nÉvénement organisé par la délégation Centre-Est CNRS\, le centre Inria Nancy-Grand-Est et l’Université de Lorraine dans le cadre de la série d’événements CNRS FutuRobot. \nEntrée gratuite sur réservation. \nPROGRAMME : \n\n\nBienvenue au pays des microrobots\n\n\n\n\nImaginez un monde où les objets ne tombent pas quand on les lâche\, un monde où pénétrer dans une goutte d’eau est un véritable défi\, où seuls les microscopes permettent de voir les objets. C’est dans ce monde étrange que les microrobots (robots dont la taille est plus petite qu’un millimètre) doivent évoluer. Pourquoi le fait de travailler à une échelle dimensionnelle si petite change autant la manière de concevoir et fabriquer les robots ? Pourquoi une simple miniaturisation des solutions classiquement utilisées à l’échelle macroscopique s’avère-t-elle inefficace ? Vous y percerez les mystères des derniers microrobots actionnés sans contact\, par des forces générées à distance\, développés au sein de l’Institut FEMTO-ST/CNRS. Vous découvrirez comment les lasers peuvent déplacer des objets placés à la surface d’un liquide ou commander l’ouverture d’une pince de 200µm\, ou encore comment des champs électriques permettent de trier des cellules sanguines.\n\n\n\nRobots mous\, robots imprimés : où va t’on ?\n\n\nLes robots sont connus de tous pour être forts\, précis\, rapides quand ils sont utilisés chaque jour pour dans des usines. Aujourd’hui\, on parle de plus en plus de robots souples\, et même mous\, donc à l’opposé de ce qu’ils ont toujours été. Dans le même temps\, on prétend même construire ces robots en les imprimant. Pour quoi faire? Nous allons voir en quoi ces robots peuvent être intéressants voire indispensables pour assister l’homme. Développer de tels robots ne va cependant pas sans mal\, et l’on verra les questions difficiles auxquelles font face aujourd’hui les chercheurs. \n\n\nLes robots humanoïdes apprennent-ils de l’humain ou est-ce l’inverse ?\n\n\nPourquoi construit-on des robots humanoïdes? Quel peut bien être l’avantage d’un système si complexe et couteux à fabriquer? Les chercheurs ont surement beaucoup de raisons de construire et travailler sur des robots humanoïdes. Que ce soit pour tester des technologies\, des modèles\, des algorithmes de contrôle et d’intelligence artificielle\, mais surtout pour comprendre comment l’homme apprend à interagir avec son propre corps ou son environnement. D’énormes progrès ont été faits dans le contrôle du corps complet. Cela permet aujourd’hui de prévoir comment de telles machines complexes seront utilisées\, ou encore comment pourront-elles effectuer des tâches complexes dans le but de les faire à notre place dans des milieux hostiles ou lointains. Vous allez découvrir certaines des avancées qui ont été permises avec l’aide des robots humanoïdes. \n\n\nLes robots peuvent-il apprendre de leurs erreurs ?\n\n\nLes animaux apprennent et s’adaptent. Mais à l’opposé\, les robots semblent condamnés à répéter les mêmes erreurs à l’infini. Comment peut-on permettre à un robot d’apprendre de ses erreurs? pourquoi est-ce si difficile et pourquoi serait-ce utile ? À l’heure où le “deep learning” et l’intelligence artificielle semblent progresser à pas de géants\, nous explorerons les succès et les échecs de l’apprentissage en robotique. Nous illustrerons notamment en s’appuyant sur le problème de l’adaptation aux pannes\, par exemple un robot qui se casserait une patte. \n\n  \nINTERVENANTS : \n\n\n\n\nJean-Baptiste MOURET\, directeur de recherche Inria au Loria (CNRS/INRIA/UL)\nSerena IVALDI\, chargée de recherche Inria au Loria (CNRS/INRIA/UL)\nPierre RENAUD\, Professeur des Universités à l’INSA de Strasbourg\nAude BOLOPION\, chargée de recherche CNRS à l’Institut FEMTO-ST (CNRS/UBFC) URL:https://www.loria.fr/event/futurobot-percez-les-secrets-de-la-robotique/ LOCATION:Centre des congrès Prouvé – Nancy\, 1 Place de la République\, Nancy\, 54000\, France CATEGORIES:Autres,Manifestation ATTACH;FMTTYPE=image/png:https://www.loria.fr/wp-content/uploads/Futurobot_Carre3.png END:VEVENT BEGIN:VEVENT DTSTART;VALUE=DATE:20211115 DTEND;VALUE=DATE:20211117 DTSTAMP:20260520T152532 CREATED:20211005T094501Z LAST-MODIFIED:20211115T140129Z UID:13571-1636934400-1637107199@www.loria.fr SUMMARY:Journées du Groupe de Travail de Géométrie Discrète et Morphologie Mathématique  DESCRIPTION:La journée du Groupe de Travail de Géométrie Discrète et Morphologie Mathématique des groupements de recherche IM et IGRV est l’occasion pour les enseignants-chercheurs\, chercheurs\, doctorants de se rencontrer\, d’échanger sur les travaux les plus récents\, d’initier de nouvelles collaborations sur tous les thèmes de la géométrie discrète et de la morphologie mathématique. \n\nJournées du GT-GDMM : le 15 et 16 Novembre 2021 au Loria.\nOuverture des inscriptions : jusqu’au lundi 15 Octobre 2021.\nProposition d’exposé (Titre et résumé) : avant le 1er Novembre 2021.\n\nLa géométrie discrète\nLe contexte de la géométrie discrète s’intègre dans le cadre général de la modélisation et l’analyse géométrique et topologique d’objets définis sur des structures régulières (ex. des grilles de pixels ou de voxels) ou combinatoires (graphes\, cartes\, etc.). Généralement\, les axiomes et propriétés de la géométrie euclidienne classique ne sont plus valides lorsque l’on considère des ensembles de pixels. La définition de concepts et notions adaptés à des structures discrètes\, mais néanmoins compatibles avec les concepts et notions continus\, est alors requise. L’originalité de cette approche réside dans le fait qu’en exploitant les propriétés du support sur lequel sont décris les objets\, nous pouvons obtenir des algorithmes efficaces\, certifiés et précis pour répondre à des problèmes de caractérisation géométrique ou topologique d’objets discrets (2D\, 3D\, nD\, etc.). Le caractère discret des données à traiter\, et donc l’utilité de l’approche discrète\, se retrouvent dans de nombreux contextes applicatifs (analyse et traitements d’images\, imagerie médicale\, ingénierie des matériaux\, etc.). \nLa morphologie mathématique\nLa morphologie mathématique est une théorie essentiellement non-linéaire\, utilisée en particulier en analyse d’images\, dont le but est l’étude des objets en fonction de leur forme\, de leur taille\, des relations avec leur voisinage (en particulier topologiques)\, de leur texture\, et de leurs niveaux de gris ou de leur couleur. Par les transformations qu’elle propose\, elle se situe à différents niveaux du traitement d’images (filtrage\, segmentation\, mesures\, analyse de texture) et fournit ainsi des outils pour la reconnaissance des formes. La morphologie mathématique\, développée à l’origine pour l’étude des matériaux poreux\, trouve maintenant ses applications dans de nombreux domaines du traitement d’images\, aussi bien 2D que 3D\, en biologie et cytologie quantitative\, en imagerie médicale\, en imagerie aérienne et satellitaire\, en robotique et vision par ordinateur\, en contrôle industriel non destructif\, dans les études sur les documents et les œuvres d’art. Hors du domaine du traitement des images\, on trouve des applications par exemple en analyse de données\, ou encore en théorie des jeux. \nComité d’organisation\nPhuc Ngo\, Isabelle Debled-Rennesson\, Philippe Even\, Eric Domenjoud\, Florian Delconte et Rémi Decelle. URL:https://www.loria.fr/event/journee-du-groupe-de-travail-de-geometrie-discrete-et-morphologie-mathematique/ LOCATION:Loria CATEGORIES:Autres END:VEVENT BEGIN:VEVENT DTSTART;VALUE=DATE:20211118 DTEND;VALUE=DATE:20211119 DTSTAMP:20260520T152532 CREATED:20211006T072626Z LAST-MODIFIED:20211007T154754Z UID:13592-1637193600-1637279999@www.loria.fr SUMMARY:2ème Journée scientifique de la Fédération Charles Hermite « Science des Réseaux » DESCRIPTION:La Science des Réseaux est une discipline scientifique qui se donne pour objet l’étude des relations\, liens et interconnexions entre entités d’un système complexe. Champ interdisciplinaire de recherche\, elle s’applique en physique\, biologie\, épidémiologie\, science de l’information\, science cognitive ou encore réseaux sociaux. \nL’objectif de ces deux journées (7 octobre et 18 novembre) est d’illustrer au travers de quelques focus comment la Science des Réseaux bénéficie des apports méthodologiques issus de la théorie du contrôle\, des mathématiques et des statistiques\, de l’informatique. Ces journées scientifiques sont organisées dans le cadre institutionnel de la Fédération Charles Hermite. \n\n\n\n\n\n\n\nOrganisation scientifique : Antoine Lejay (IECL) – Gilles Millérioux (CRAN) — Pascal Moyal (IECL)\nLieu : Salle de Conférence 2e étage IECL – Nancy\nVoir le programme complet\n\nProgramme du 18 novembre\n\n\n\n\n\n\n\n\n\n10h : Introduction\nAntoine Lejay (IECL) – Gilles Millérioux (CRAN) — Pascal Moyal (IECL) \n\n\n\n\n10h15 : Modelisation of Biological Systems with Boolean Networks\nAthénaïs Vaginay (CRAN\, LORIA)\, Taha Boukhobza (CRAN)\, and Malika Smaı̈l-Tabbone (LORIA) \nRésumé : Boolean Networks (BNs) are a simple formalism used to study biological systems. They play a key role in understanding the dynamics of the studied system\, and in predicting their disruption in case of human diseases. We present case studies of modeling with BN as well as the key principles for their automatic synthesis from knowledge and data about the stucture and dynamics of the systems under study. \n10h45 : Markov modelling for network detection and characterisation\nRadu Stoica (IECL) \nRésumé : Networked system security has become very challenging because of the huge growth of the Internet ecosystem in size and heterogeneity\, opening the door for many large-scale and sophisticated threats that require their monitoring\, detection and mitigation in an autonomous way. The recent interest in both industry and academia towards network softwarization through Network Function Virtualization (NFV) and Software-Defined Networking (SDN) technologies allows us to program network functions implemented in software and deployed in commodity hardware devices\, even dynamically and remotely. We will present our different scientific approaches to illustrate the tight coupling between networks security and network softwarization to increase their automation levels \n11h15 : Évaluation de la confiance entre les utilisateurs dans les systèmes collaboratifs\nClaudia-Lavinia Ignat (Inria/LORIA) \nRésumé : La collaboration à large échelle impliquant une communauté d’utilisateurs est de nos jours possible grâce aux avancées en matière de communication mobile et ubiquitaire et grâce à l’appropriation des outils existants par les utilisateurs. Nous étudions comment évaluer nos collaborateurs dans une telle collaboration à large échelle pour pouvoir choisir nos futurs collaborateurs. Nous avons proposé une métrique de confiance par rapport aux contributions passées des utilisateurs afin de prédire leur comportement futur. Cette métrique repose sur le jeu de la confiance issu de la théorie des jeux\, très utilisé dans le domaine de l’économie comportementale pour étudier la confiance et la collaboration entre humains. En collaboration avec le département de psychologie de l’Université de Wright\, nous avons mené une étude expérimentale basée sur le jeu de la confiance qui montre que la disponibilité des valeurs de confiance peut améliorer le niveau de coopération entre les utilisateurs. \n\n\n\n\n\n\n11h45 : La confiance vs l’assurance : quand l’interdisciplinarité bouscule les approches techniques\nMaryline Laurent (Telecom Paris Sud) \nRésumé : L’objectif de la présentation sera de revenir sur la notion de confiance et d’exposer la vision de la chaire Valeurs et politiques des informations personnelles\, avec la distinction nécessaire entre confiance et assurance. Les différentes composantes de la confiance et de l’assurance seront ensuite développées. \nPause déjeuner \n14h00 : Expression des gènes et réseaux de régulation : de la modélisation mécaniste à l’inférence statistique\nUlysse Herbarch (Inria / IECL) \nRésumé : La dynamique de l’expression des gènes au sein d’une cellule est caractérisée par un réseau d’interactions complexes\, dont les propriétés émergentes sont liées au phénomène de prise de décision cellulaire. Dans cet exposé\, je montrerai comment l’inférence d’un tel réseau à partir de mesures de type « cellules uniques » peut être envisagée comme une procédure de calibration d’un certain modèle stochastique\, lui-même effectivement capable de reproduire ces mesures. \n14h30 : Réseaux multi-échelles en neurosciences\nRadu Ranta (CRAN)\, avec l’ensemble de l’équipe Neurosciences des systèmes et de la cognition \nRésumé : Le cerveau est un réseau de régions plus ou moins spécialisées interconnectées\, régions qui à leur tour sont constituées de neurones interconnectés. Les réseaux en question peuvent être vues comme ayant une base anatomique (connexions physiquement existantes) mais aussi comme des réseaux fonctionnels qui s’activent en fonction d’une tâche donnée (cognition) et/ou de l’état cérébral (sain\, pathologique). A partir des mesures disponibles (signaux électriques)\, nous présenterons quelques méthodes d’estimation de l’activité des noeuds du réseau\, puis des méthodes de construction des graphes fonctionnels basées sur des estimations de connectivité entre ces noeuds. \n15h : Gestion dynamique de la confiance basée sur les phases dans IoT (PDTM: Phase- based dynamic Trust Management for Internet of things)\nRunbo Su (LORIA)\, avec Arbia Rihai Sfar (Military Academy of Tunisia)\, Enrico Natalizio (TII / LORIA)\, Pascal Moyal (IECL) et Ye-Qiong Song (LORIA) \nRésumé : Un modèle de la gestion de la confiance qui permet de maintenir la fiabilité des systèmes IoT et en même temps identifier les attaques de malveillants en calculant les scores de confiance des nœuds de manière diversifiée et dynamique en termes de phases. \n\n\n\n\n\n\n15h30 : Protection de la vie privée dans l’IOT à base de théorie des jeux\nArbia Rihai Sfar (Military Academy of Tunisia) \nRésumé : L’exposé introduit l’approche systémique et les problèmes de sécurité dans les environnements IoT. Ensuite\, les différentes solutions liées à la protection de la vie privée seront présentées. Finalement\, un modèle à base de théorie des jeux sera expliqué\, et les résultats obtenus seront discutés. \n16h : Mots de clôture URL:https://www.loria.fr/event/2-journee-scientifique-de-la-federation-charles-hermite-science-des-reseaux/ LOCATION:IECL\, Institut Élie Cartan de Lorraine CATEGORIES:Autres END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20211119T100000 DTEND;TZID=Europe/Paris:20211119T110000 DTSTAMP:20260520T152532 CREATED:20211118T111915Z LAST-MODIFIED:20211118T111915Z UID:14222-1637316000-1637319600@www.loria.fr SUMMARY:Séminaire "Humanités Numériques et Archives" des Archives Henri-Poincaré DESCRIPTION:“Des outils s’appuyant sur le Web sémantique pour explorer le corpus de la correspondance d’Henri Poincaré”\nConférence de Nicolas Lasolle\nÉvénement en présentiel ; possibilité de participation à distance. Lien d’inscription. \nRésumé \nDe nombreux travaux s’intéressent à la vie et à l’œuvre d’Henri Poincaré\, en particulier par l’étude et la publication du corpus de sa correspondance\, corpus qui se compose d’environ 2100 lettres qui correspondent à des échanges relevant du cadre privé\, académique ou scientifique. Depuis plusieurs années\, des travaux numériques se sont développés pour stocker\, publier et exploiter les données de ce corpus. En particulier\, des technologies du Web sémantique ont été mises en œuvre pour proposer des outils avancés aux utilisateurs.  \nCette communication a pour objectif de présenter des travaux relatifs à la création d’outils dédiés à l’exploration de ce corpus historique. En particulier\, des travaux conjoints entre historiens et informaticiens s’intéressent à la définition et à l’application d’un système de recherche flexible. Celui-ci propose d’aller au-delà des systèmes de recherche actuels qui se cantonnent aux recherches exactes\, et qui n’intègrent pas ou peu des préférences utilisateur. Ce système permet de présenter des résultats présentant des similarités avec ceux correspondant aux critères de recherche et qui peuvent apporter une réponse à la question pour laquelle une requête initiale avait été formulée. Ce mécanisme peut également mettre en évidence de nouvelles connaissances pour le domaine. En effet\, dans le contexte de la correspondance d’Henri Poincaré\, il peut permettre de dégager de nouveaux liens ou d’affiner des liens existants entre des personnes\, des institutions\, des travaux scientifiques\, etc. Ce mécanisme sera illustré au travers de plusieurs exemples issus du corpus de la correspondance d’Henri Poincaré. Il a notamment été intégré à un outil de navigation\, accessible depuis un navigateur qui permet d’explorer visuellement le corpus. Les méthodes et outils proposés peuvent être appliqués pour d’autres corpus\, en particulier pour des projets d’humanités numériques. URL:https://www.loria.fr/event/seminaire-humanites-numeriques-et-archives-des-archives-henri-poincare/ LOCATION:91 AV de la Libération\, Salle internationale CATEGORIES:Conférence END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20211122T103000 DTEND;TZID=Europe/Paris:20211122T120000 DTSTAMP:20260520T152532 CREATED:20211118T104900Z LAST-MODIFIED:20211118T104900Z UID:14220-1637577000-1637582400@www.loria.fr SUMMARY:Soutenance de thèse : Ilias Benjelloun (Synalp) DESCRIPTION:La soutenance d’Ilias Benjelloun (Synalp)\, intitulée « Impact du bruit d’annotation sur l’évaluation de classifieurs »\, se déroulera le Lundi 22 novembre 2021 à 10h30 en salle C005. La présentation sera faite en français. \nRésumé : \n\n\n\nLes récents progrès de l’intelligence artificiel ont permis de construire des systèmes autonomes dans presque tous les secteurs de la société humaine. Des voitures autonomes jusqu’à la police prédictive\, des domaines pouvant impliquer des conséquences critiques commencent à mettre en application cette technologie. Devant cette précipitation\, des questionnements éthiques et légaux apparaissent dans la communauté. Quelles sont les potentielles dérives d’une mauvaise conception d’une IA? Comment s’en protéger? En effet\, celle-ci apprend une tâche en regar- dant comment nous\, humains\, l’accomplissons. Cela signifie que les erreurs que nous commettons peuvent influencer leur apprentissage. Concrètement\, nous annotons manuellement des données\, exemplifiant la tâche que nous voulons que la machine apprenne\, et nous les lui présentons dans l’objectif qu’elle comprenne par elle-même la nature de cette tâche. Ces données contiennent cependant de potentielles erreurs commises lors de l’annotation : on parle de bruit d’annotation. Non seulement ces erreurs perturbent l’apprentissage de la machine\, mais la situation est en réa- lité plus grave. Ces données erronées sont également utilisées pour vérifier si l’apprentissage s’est bien déroulé : l’évaluation du système est ainsi biaisée\, et n’indique pas sa véritable performance. Dans cette thèse\, nous nous concentrons sur l’étude de l’évaluation de systèmes de classification sur un ensemble de test contenant du bruit d’annotation. Nous modélisons le problème d’un point de vue théorique\, et nous montrons en pratique l’impact négatif du bruit d’annotation lors d’une procédure de test\, et les compromis à accepter pour s’en défaire. \n\n\n\nAbstract \nThe recent progress of artificial intelligence allowed to build autonomous systems in al- most every sector of human society. From autonomous cars to predictive policing\, many critical domains are now welcoming machine learning technology. This has risen ethic and legal concern among the scientific community with respect to the danger of misconceptions in an AI. What are the risks? How can we reduce them? It is all the more concerning that recent examples of AI misuse can be found in the news\, such as an autonomous car from Uber company that killed a pedestrian\, or a face recognition systems published online by Google\, that made racist predictions. Indeed\, an AI cannot be perfect : it directly learns from us doing the task\, and that includes our mistakes\, which can impact its learning quality. Concretely\, we manually label data that show how the task must be performed\, and we give them to the machine for it to understand what is the nature of that task. These data contain however potential errors that we made during the labelling : this is named label noise. Label noise degrades the quality of the learning. The problem is even more serious when the testing data we use to make sure the machine learned correctly is also noisy. In that case\, the evaluation is biased\, and we do not see the true performance of the AI. This thesis focuses on studying the evaluation of classification systems on a test set containing label noise. We modelise the problem in a theoretical framework\, and we show in practice the negative impact of label noise during classifier testing\, together with the compromises we must make in order to dispose of it. URL:https://www.loria.fr/event/soutenance-de-these-ilias-benjelloun-synalp/ LOCATION:C005 CATEGORIES:Soutenance END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20211122T140000 DTEND;TZID=Europe/Paris:20211122T160000 DTSTAMP:20260520T152532 CREATED:20211120T112615Z LAST-MODIFIED:20211120T112941Z UID:14232-1637589600-1637596800@www.loria.fr SUMMARY:PhD Defense: Maria Boritchev DESCRIPTION:Maria Boritchev will defend her thesis\, conducted under the supervision of Maxime Amblard and Philippe de Groote: Dialogue Modeling in a Dynamic Framework\, on Monday\, November 22\, at 2 p.m.online (in English).\n  \nAbstract:\nFormal studies of discourse raise numerous interrogations on the nature and the definition of the way consecutive sentences coherently combine with one another. Language is intrinsically dynamic: in its semantics in context (e.g. use of references) and in the interaction (e.g. connections between dialogue acts). The shift from discourse to dialogue brings forward even more specific issues among which the ones related to questions and answers articulation. In order to address these issues\, we start by focusing on questions from a semantic point of view. There are numerous existing formalisms and frameworks for formal semantics of declarative sentences and discourse; dialogue is broadly studied from a linguistic and Natural Language Processing point of view. The goal of our work is to bring classical formal semantics theories to use in a setting oriented towards real-life dialogue. This thesis presents a formal semantics account of dialogue in a type-theoretical dynamic framework. We produce a model of dialogue and in particular of the articulation of questions and answers by mingling Neo-Davidsonian Event Semantics (NDES\, as presented in Champollion\, 2017) with Inquisitive Semantics (IS\, Ciardelli et al\, 2017) in a compositional and dynamic way through the use of Continuation Style Dynamic Semantics (CSDS\, de Groote\, 2006\, extended in Lebedeva\,2012). Our model is rooted in a syntax-semantics interface implementation called Abstract Categorial Grammars (ACG\, de Groote\, 2001). Another way to address semantics of dialogue is through real-life data by putting our formal ideas in perspective by confronting them with field observation. To do so\, we constituted a corpus\, called Dialogues in Games (DinG)\, composed of transcriptions of recordings of people playing the board game Catan (in French). Our study focuses on real-life questions and answers in multilingual (English\, French\, Dutch\, Mexican Spanish\, Northern Italian\, and Mandarin Chinese) oral data has resulted in several annotation schemas\, part of which was applied to DinG.\n \n\nComposition of the jury\n\n\nReviewers:\n\nMme Farah BENAMARA\, Université Paul Sabatier\nM. Jonathan GINZBURG\, Université Paris Diderot-Paris 7 \n\nExaminers:\nMme Ellen BREITHOLTZ\, University of Gothenburg\nMme Iris TARAVELLA\, Université Paris Nanterre\nM. Miguel COUCEIRO\, Université de Lorraine\n\nSupervisors:\nM. Maxime AMBLARD\, Université de Lorraine\nM. Philippe DE GROOTE\, INRIA URL:https://www.loria.fr/event/phd-defense-maria-boritchev/ LOCATION:online CATEGORIES:Soutenance END:VEVENT BEGIN:VEVENT DTSTART;VALUE=DATE:20211123 DTEND;VALUE=DATE:20211124 DTSTAMP:20260520T152532 CREATED:20211115T080204Z LAST-MODIFIED:20211115T080425Z UID:14201-1637625600-1637711999@www.loria.fr SUMMARY:Forum IA en santé - CHRU de Nancy DESCRIPTION:Le prochain Forum nancéien IA en santé du CHRU de Nancy\, “Intelligence Artificielle au coeur des territoires” aura lieu le mardi 23 novembre au Centre des Congrès Prouvé de Nancy. \nProgramme complet et inscriptions \n \n08H30 – 09H00         ACCUEIL DES PARTICIPANTS \n09H00 – 09H15         ALLOCUTIONS D’OUVERTURE\nBernard Dupont\, directeur général du CHRU de Nancy\nJean -Yves Le Déaut\, professeur d’université\, ancien député de Meurthe-et-Moselle\, ancien président de l’Office parlementaire d’évaluation des choix scientifiques et technologiques\nCédric Villani\, député de l’Essonne\, président de l’Office parlementaire scientifique\, conseiller Paris 14\, mathématicien \n09H15 – 09H45         SESSION INAUGURALE Intelligence Artificielle et Santé : quels liens\, quels enjeux ?\nSalima Benhamou (Ph.D)\, économiste\, Département Travail\, Emploi\, Compétences à France Stratégie\, Services du Premier Ministre \n09H45 – 10H15         1re SESSION   |  L’IA\, concrètement\nPrésentation de 2 applications IA développées ou co-développées en milieu hospitalier \n10H20 – 10H40         L’école de l’IA Microsoft powered by Simplon\nAdeline Dupret\, développeur DATA/IA\nCaroline Scheidt\, responsable de l’Ecole IA Microsoft powered by Simplon Grand-Est\nDepuis 2019\, une école IA Microsoft powered by Simplon est ouverte au CHRU de Nancy. Les apprenants de cette 13e école deviennent les premiers techniciens de la data et de l’IA spécialisés dans le secteur de la santé. Unique en France et innovante par sa localisation et sa thématisation sectorielle autour de la santé\, cette école offre des ressources opérationnelles clés pour soutenir la dynamique forte du CHRU fondée sur l’IA et le numérique et répondre aux besoins de l’ensemble du territoire et de ses différents acteurs économiques\, de recherche et de développement. \n10H40 – 11H00         PAUSE \n11H00 – 11H45          TABLE RONDE\nIA en Santé : alliance des dynamiques Hôpital-Territoires\nSophie Feuerstein\, directrice santé\, Conseil Régional Grand-Est\nAlexis Steiner\, chef de projets IA et Numérique\, Conseil Régional Grand-Est\nJean-Charles Dron\, directeur opérationnel e-Meuse santé\, département de la Meuse\nSanté numérique\, digitalisation\, territorialisation\, gouvernance\, économie\, attractivité\, autant d’axes à explorer pour une dynamique plus forte de l’IA au niveau des territoires de santé. \n 11H45 – 12H00         PRÉSENTATION | Projet Logibec : réorientation des urgences sur le territoire\nRetour d’expérience sur le projet pilote Logibec. Basée sur un algorithme médical\, la plateforme de réorientation clinique permet de distinguer les patients pouvant être réorientés vers les cliniques locales partenaires et permettre ainsi aux services d’accueil des urgences de gagner en efficacité.\nPr Tahar Chouied\, médecin urgentiste au CHRU de Nancy\nDr Alexandre Messier\, urgentologue à l’Hôpital du Sacré-Coeur de Montréal \n12H00 – 12H30          CONFÉRENCE |  Logistique hospitalière territoriale : les opportunités de l’IA\nLa maîtrise des flux logistiques constitue un des principaux leviers de régulation des dépenses dans les hôpitaux. A l’heure des organisations et coopération territoriales\, la maitrise des flux logistiques devra s’appuyer sur des outils d’intelligence artificielle qui ont fait leur preuve notamment en milieu industriel.\nAngathan Francis\, responsable de la Stratégie et de la Performance de Livraison chez Amazon Logistics \n12H30 – 13H45         PAUSE DÉJEUNER \n13h45 – 14H15          2e SESSION | IA concrètement\nPrésentation de 2 applications IA développées ou co-développées en milieu hospitalier \n14H15 – 14H45          DÉBAT\nLes entrepôts de données de santé : le bout du tunnel ?\nLes entrepôts de données de santé\, bien que nécessaires à l’essor plus concret de l’IA peinent à se généraliser. Il s’agit dans ce débat d’explorer les freins et les leviers pour un déploiement plus rapide et plus opérationnel de ces plateformes.\nStéphanie Combes\, Directrice Health Data Hub\nDavid Gruson\,Directeur Programme Sante Jouve\, Fondateur ETHIK-IA\nJean-Christophe Calvo\, Chef du Département Territorial de la Transformation Numérique et de l’Ingénierie Biomédicale\, CHRU de Nancy \n14H45 – 15h30          CONCOURS : Mon projet IA en 180 secondes\n5 candidats présentent leur projet innovant alliant santé et intelligence artificielle.\nInspiré de « Ma thèse en 180 secondes »\, le concours « Mon projet IA en 180 secondes » offre l’opportunité aux cliniciens\, chercheurs/ingénieurs de pitcher leur projet de recherche centré sur l’IA en santé. Face à un auditoire de spécialistes mais pas seulement\, chaque porteur de projet doit réaliser en trois minutes\, un exposé clair\, concis et néanmoins convaincant sur son projet de recherche. Un prix de 1 500 € sera remis au candidat le plus convaincant. \n15H30 – 16H00          CONFÉRENCE | Explicabilité de l’IA et Éthique\nMathieu d’Aquin\, professeur d’informatique spécialisé dans l’analyse de données et les technologies sémantiques\, Loria\nL’Intelligence Artificielle connaît un regain de popularité ces dernières années\, en particulier sur la base d’une plus grande capacité des modèles fondés sur les réseaux de neurones artificiels à traiter des problèmes plus complexes en utilisant de plus grands volumes de données. Ces modèles restent néanmoins opaques\, dans le sens où il est difficile de comprendre et de justifier leurs résultats. Sur la base des recherches actuelles de l’IA\, diverses approches sur l’utilisation plus informée de ces modèles neuronaux seront mises en avant ainsi que leur analyse pour en extraire de nouvelles connaissances. \n16H00         Remise de prix “Mon projet IA”   \n16H20          CLÔTURE DU FORUM \nJournée retransmise en direct sur la page Youtube du CHRU de Nancy et animée par Nathalie MILION\, Journaliste France Bleu \n  URL:https://www.loria.fr/event/forum-ia-en-sante-chru-de-nancy/ LOCATION:Centre des congrès Prouvé – Nancy\, 1 Place de la République\, Nancy\, 54000\, France CATEGORIES:Forum ATTACH;FMTTYPE=image/png:https://www.loria.fr/wp-content/uploads/2021-10-couverture-Twitter-IA.png END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20211123T100000 DTEND;TZID=Europe/Paris:20211123T120000 DTSTAMP:20260520T152532 CREATED:20211122T133020Z LAST-MODIFIED:20211122T133128Z UID:14243-1637661600-1637668800@www.loria.fr SUMMARY:Soutenance de thèse : Titouan Carette DESCRIPTION:Titouan Carette soutiendra sa thèse intitulée “Manier le ZX-calcul” le 23 Novembre à 10h en salle A008. \nRésumé \nCette thèse concerne l’application de langages graphiques à l’informatique quantique. Par langages graphiques on entend l’usage de diagrammes\, très similaires aux circuits\, représentant des évolutions de systèmes quantiques. La thèse introduit ces langages dans le formalisme de la théorie des catégories et s’intéresse en particulier à un langage: le ZX-calcul\, ainsi qu’à ses proches parents le ZW-calcul et le ZH-calcul. La notion de flexsymétrie est introduite\, décrivant des diagrammes dont les entrés et sorties sont toutes interchangeables entre elles. La notion est ensuite utilisée pour classifier tous les langages similaires au ZX-calcul. Il est montré que les seuls langages admissibles sont le ZX-calcul\, le ZW-calcul et le ZH-calcul. Ensuite est abordée la question de l’extension de ces langages au cas de systèmes mixtes classiques-quantiques. Une construction catégorique générale est proposée et est utilisée pour étendre les différents langages. Enfin la thèse introduit des notations permettant de représenter de manière compacte des algorithmes quantiques mettant en jeux des diagrammes arbitrairement grands. Afin d’en éprouver l’efficacité\, ces notations sont utilisées pour montrer graphiquement la correction de différents algorithmes quantiques. URL:https://www.loria.fr/event/soutenance-de-these-titouan-carette/ CATEGORIES:Soutenance END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20211130T090000 DTEND;TZID=Europe/Paris:20211130T170000 DTSTAMP:20260520T152532 CREATED:20211104T165309Z LAST-MODIFIED:20211123T153607Z UID:14168-1638262800-1638291600@www.loria.fr SUMMARY:3rd CISPA - LORIA Workshop on Cybersecurity DESCRIPTION:The 3rd Cispa-Loria workshop will take place on 30 November from 9am online.\n\nA day of exchanges with presentations of researchers from CISPA and Loria and brainstorming moments to find joint topics and to make possible collaborations.\n\nProgram:\n\n09: 00 – 09:15 – Opening words by Antoine JOUX and Marine MINIER \n09:15 – 09:55 – How will our cryptographic toolkit and cyber security solutions be impacted by Machine Learning? \nNajwa Aaraj – Chief Researcher at the Cryptography Research Centre at Technology Innovation Institute (TII\, Abu Dhabi\, United Arab Emirates) \nA part of this talk will focus on the impact of quantum computers on cryptographic algorithms and the changes that are required to protect against both passive and active quantum attacks. We cover the new set of post quantum cryptographic (PQC) schemes that are being proposed to protect current and future systems\, the implied security thereof\, as well as their practicality when deployed in real world systems. We also discuss standardization efforts\, industry challenges\, and complexities of the roadmap to transition current cryptographic systems and secure communications solutions to quantum-resistant alternatives.\nWe will also discuss briefly the role of Machine Learning in advancing cyber security solutions\, including (1) cryptographic schemes for privacy preserving technologies; (2) theoretical and implementation-focused (side channel) cryptanalysis techniques; and (3) vulnerability management and automated incident response systems. We cover the role of cryptography in securing Machine Learning models by (1) ensuring confidentiality of both data & model during training and classification; (2) protection of models from being tampered-with or introducing bias for profit or control; (3) protection against model poisoning; and (4) introducing cryptographic randomness in training Deep Neural Networks. \n09:55 – 10:35 – When Fuzzing Meets Crypto – Fuzzing SSL Certificates\nAndreas ZELLER – Professor for Software Engineering at Saarland University and research at CISPA Helmholtz Center for Information Security \nFormatFuzzer is a framework for high-efficiency\, high-quality generation and parsing of binary inputs. It takes a binary template that describes the format of a binary input and generates an executable that produces and parses the given binary format. From a binary template for MP4\, for instance\, FormatFuzzer produces a MP4 generator\, which can also parse and mutate existing MP4s\, even guided by coverage in the target program. We are currently working on binary templates for inputs as complex as X.509/SSL certificates. This allows systematic parsing\, checking\, mutating\, and producing SSL certificates\, including some with subtle semantic flaws\, to thoroughly test SSL infrastructures\, with thousands of valid (or seemingly valid) inputs per second. \n10:35 – 11:10 – CTET+: A Beyond-Birthday-Bound Secure Tweakable Enciphering Scheme Using a Single Pseudorandom Permutation\nVirginie LALLEMAND – CNRS researcher on security by symmetric cryptography\nBenoit COGLIATI – Research Group Leader at the CISPA on security by symmetric cryptography \nIn this talk\, we propose a construction of 2-round tweakable substitution-permutation networks using a single secret S-box. This construction is based on non-linear permutation layers using independent round keys\, and achieves security beyond the birthday bound in the random permutation model. When instantiated with an n-bit block cipher with κ-bit keys\, the resulting tweakable block cipher\, dubbed CTET+\, can be viewed as a tweakable enciphering scheme that encrypts wn-bit messages for any integer w>1 using 5n+κ-bit keys and n-bit tweaks\, providing 2n/3-bit security. Furthermore\, we propose a new tweakable enciphering scheme\, dubbed AES6-CTET+\, which is an actual instantiation of CTET+ using a reduced round AES block cipher as the underlying secret S-box. \n11:10 – 11:30 – Time break \n11:30 – 12:20- Network Agnostic Protocols for Distributed Computations\nJulian LOSS – Tenure-track faculty at CISPA Helmholtz Center for Information Security. \nDistributed tasks such as agreeing on a common output (consensus) or joint computation of a public function on private inputs (multi-party computation) are typically studied in two types of models. The first model is the synchronous model\, where parties have synchronized clocks and messages are delivered within some upper known bound. The second model is the asynchronous model\, where no timing assumptions are made. Using the synchronous model (and cryptographic setup)\, it is possible to design protocols that allow to solve the above tasks among n parties that tolerate up to t