BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:LORIA
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART: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
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20220704
DTEND;VALUE=DATE:20220709
DTSTAMP:20220517T152309Z
CREATED:20220517T152309Z
LAST-MODIFIED:20220517T152309Z
UID:16162-1656892800-1657324799@www.loria.fr
SUMMARY:Summer School - Cyber in Nancy
DESCRIPTION:L’école d’été en sécurité informatique « Cyber in Nancy » est un événement du GDR Sécurité Informatique du CNRS. L’école sera organisée du 4 au 8 juillet 2022 à Nancy. \nL’objectif de la formation est de dispenser un enseignement pointu sur la thématique de la cybersécurité\, sous forme de cours et de travaux pratiques. Le public visé est celui des étudiants (en master et en thèse)\, jeunes chercheurs et industriels. Outre le savoir acquis au cours d’une telle école\, les participants pourront également profiter de cette semaine pour nouer de nouveaux contacts. \nCette année\, les cours et travaux pratiques aborderont des thématiques variées telles que les attaques par canaux cachés\, les méthodes formelles pour la sécurité\, la cryptanalyse\, le fuzzing\, le vote électronique et la virologie. Un concours type « capture the flag » sera également organisé. Le programme complet est disponible sur le site web de l’école : https://cyber-in-nancy.loria.fr/program/. \n== L’inscription est gratuite mais obligatoire\, le nombre de place étant limité. Voir https://cyber-in-nancy.loria.fr/registration/ \nOrganisateurs :\nLucca Hirschi (Inria) et Virginie Lallemand (CNRS) \n============ English version ======================== \nDear all\, \nThe summer school « Cyber in Nancy » is the 7th edition of the “Cyber In ..” Cybersecurity Doctoral School of the French “GDR Sécurité Informatique“ network. This edition takes place in Nancy\, France\, July 4-8 2022. \nThe school is aimed at Master/PhD students\, early career researchers and security experts from the industry. Attendees will have the opportunity to study various topics of cybersecurity through lectures\, keynotes and practical sessions. \nThis year\, the summer school will cover various topics such as side-channel attacks\, formal methods\, cryptanalysis\, fuzzing\, e-voting and virology. A Capture The Flag challenge will also be held. The detailed program is available at: https://cyber-in-nancy.loria.fr/program/. \n== Registration is free but mandatory. The number of participants is limited. Please see https://cyber-in-nancy.loria.fr/program/. \nOrganizing committee:\nLucca Hirschi (Inria) and Virginie Lallemand (CNRS)
URL:https://www.loria.fr/event/summer-school-cyber-in-nancy/
LOCATION:Loria
CATEGORIES:school
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220704T090000
DTEND;TZID=Europe/Paris:20220704T170000
DTSTAMP:20220117T094433Z
CREATED:20211215T221656Z
LAST-MODIFIED:20220117T094433Z
UID:14598-1656925200-1656954000@www.loria.fr
SUMMARY:Assises universitaires droit et cybersécurité
DESCRIPTION:Rendez-vous le 4 juillet 2022 de 9h à 17h au Centre de Congrès Prouvé de Nancy pour l’événement phare de la Grande Région sur la cybersécurité\, destiné aux acteurs académiques et professionnels du droit et de la cybersécurité. \nOrganisée par la Faculté de Droit de Nancy (Université de Lorraine) et le Loria (CNRS\, Inria\, Université de Lorraine)\, cette rencontre interdisciplinaire à la croisée du droit et de l’informatique sera l’occasion de dresser l’état de l’art de diverses thématiques autour de tables-rondes\, conférences et ateliers. \nProgramme complet et inscriptions : assisescyber.loria.fr\nDémocratie et libertés individuelles\, attaques informatiques\, vote électronique\, atteintes aux structures publiques et privées… venez débattre de ces sujets d’actualité avec nos experts. \nGrand témoin des assises : Gérald Bronner\, membre de l’Institut de médecine\, de l’Institut des technologies et de l’Institut universitaire de France\, président de la commission « Les Lumières à l’ère du numérique » installée par le Président de la République. \nAvec notamment : \n\nGénéral de division Marc Boget\, Commandant de la Gendarmerie dans le cyberespace.\nThierry Delville\, vice-president de Capgemini.\nYves Le Floch\, vice-président de Capgemini.\nNicolas Guidoux\, sous-directeur adjoint de la lutte contre la cybercriminalité à la Direction Centrale de la Police Judiciaire.\nJean-Martin Jaspers\, Préfet\, Délégué ministériel à l’intelligence artificielle.\nArnaud Jules\, directeur des programmes sécurité Orange Défense.\nBertrand Pailhès\, directeur des technologies et de l’innovation à la CNIL.\nYves Verhoeven\, sous-directeur « stratégie » de l’ANSSI.\n\nEntrée libre.\nManifestation soumise aux règles sanitaires en vigueur. Présentation du pass sanitaire obligatoire.
URL:https://www.loria.fr/event/assises-universitaires-droit-et-cybersecurite/
LOCATION:Centre de congrès Prouvé
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220705T100000
DTEND;TZID=Europe/Paris:20220705T120000
DTSTAMP:20220705T142948Z
CREATED:20220705T142948Z
LAST-MODIFIED:20220705T142948Z
UID:16376-1657015200-1657022400@www.loria.fr
SUMMARY:PhD Defense: Zhao Zhang (Bird)
DESCRIPTION:Zhao Zhang will defend his thesis on Tuesday\, 5th July at 10am in room A006. \nHis presentation will be in English. \nRésumé : \n\nOver the past couple of decades\, there has been an increasing adoption of Internet technology in the e-learning domain\, associated with the availability of an increasing number of educational resources. Eﬀective systems are thus needed to help learners to ﬁnd useful and adequate resources\, among which recommender systems play an important role. In particular\, learning path recommender systems\, that recommend sequences of educational resources\, are highly valuable to improve learners’ learning experiences. Under this context\, this PhD Thesis focuses on the ﬁeld of learning path recommender systems and the associated oﬄine evaluation of these systems.\n\nThis PhD Thesis views the learning path recommendation task as a sequential decision problem and considers the partially observable Markov decision process (POMDP) as an adequate approach.\n\nIn the ﬁeld of education\, the learners’ memory strength is a very important factor and several models of learners’ memory strength have been proposed in the literature and used to promote review in recommendations. However\, little work has been conducted for POMDP-based recommendations\, and the models proposed are complex and data-intensive. This PhD Thesis proposes POMDP-based recommendation models that manage learners’ memory strength\, while limiting the increase in complexity and data required.\n\nUnder the premise that recommending learners useful and eﬀective learning paths is becoming more and more popular\, the evaluation of the eﬀectiveness these recommended learning paths is still a challenging task\, that is not often addressed in the literature. Online evaluation is highly popular but it relies on the path recommendations to actual learners\, which may have dramatic implications if the recommendations are not accurate. Oﬄine evaluation relies on static datasets of learners’ learning activities and simulates learning paths recommendations. Although easier to run\, it is diﬃcult to accurately evaluate the eﬀectiveness of a learning path recommendation. This tends to justify the lack of literature on this topic. To tackle this issue\, this PhD Thesis also proposes oﬄine evaluation measures\, that are designed to be simple to be used in most of the application cases.\n\nThe recommendation models and evaluation measures the we propose are evaluated on two real learning datasets. The experiments conﬁrm that the recommendation models proposed outperform the models from the literature\, with a limited increase in complexity\, including for a medium-size dataset. In addition\, the measures proposed actually allow to characterise and diﬀerentiate the algorithms.\n\n\nJury : \nRapporteures :\nMarie-Hélène Abel\, UTC Heudiasyc\nSylvie Calabretto\, INSA Lyon LIRIS\n\nExaminateurs :\nNicolas Gutowski\, LERIA\nDavy Monticolo\, U. Lorraine ERPI\n\nDirectrices de thèse :\nArmelle Brun\, U. Lorraine LORIA\nAnne Boyer\, U. Lorraine LORIA
URL:https://www.loria.fr/event/phd-defense-zhao-zhang-bird-2/
LOCATION:A006
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220705T133000
DTEND;TZID=Europe/Paris:20220705T150000
DTSTAMP:20220703T192613Z
CREATED:20220703T192613Z
LAST-MODIFIED:20220703T192613Z
UID:16356-1657027800-1657033200@www.loria.fr
SUMMARY:PhD defense: Rémi Decelle (Adagio)
DESCRIPTION:Rémi Decelle (Adagio) will defend his thesis on Tuesday\, 5th July at 1:30 pm in room B013. \nHis presentation will be in French and is entitled « Éléments pour l’analyse et le traitement d’images : application à l’estimation de la qualité du bois ».\n \nRésumé : Dans le contexte du changement climatique et de son atténuation\, du développement de la bioéconomie circulaire\, et d’une pression accrue qui en découle sur la ressource en bois\, un des axes de recherche prioritaire est l’optimisation de la transformation de cette ressource qui peut se faire à différents niveaux.\nL’objectif est d’extraire des informations sur la qualité du bois à partir de l’analyse de sections transversales du grumes ou billons de bois en forêt ou en scierie.\nPour estimer cette qualité\, trois caractéristiques visibles peuvent être extraites : le couple aubier/duramen\, le couple moelle/centroïde et les informations relatives aux cernes (largeur moyenne\, etc.). \nDans un premier temps\, nous nous intéressons à la segmentation du duramen. Nous aborderons cette segmentation à travers des réseaux de neurones convolutifs et des couches d’attention. Nous proposons une nouvelle couche d’attention pour les réseaux de neurones utilisant la morphologie mathématique moins souvent utilisée. Les couches d’attention ont permis aux réseaux d’être plus performants en se focalisant sur les informations les plus pertinentes. \nDans le deuxième temps\, l’estimation de la position de la moelle est abordée. Nous proposons une nouvelle approche originale basée sur l’algorithme des colonies de fourmis pour estimer la position de la moelle. L’utilisation de cet algorithme permet de s’abstraire d’une étape habituelle\, à savoir l’accumulation des normales aux tangentes des cernes. \nDans une dernière partie\, nous présenterons un travail en géométrie discrète : un filtre directionnel. Il estime les segments les plus longs en tout point d’un ensemble connexe. Ce travail a pour objectif d’être appliqué dans l’estimation des caractéristiques des cernes. \nMembres du jury :\n\nDirectrices de thèse :\nIsabelle DEBLED-RENNESSON Professeure\, LORIA\, Université de Lorraine\nFleur LONGUETAUD Chargée de Recherche\, Silva\, Université de Lorraine \n\nRapporteur et Rapporteuse :\nFabien FESCHET Professeur\, LIMOS\, Université de Clermont Auvergne\nLaure TOUGNE Professeure\, LIRIS\, Université Lumière Lyon 2 \nExaminateurs:\nPhilippe BORIANNE Ingénieur de Recherche\, Cirad\nErwan KERRIEN Chercheur\, LORIA\, Université de Lorraine \nInvités/Invitées :\nBertrand KERAUTRET Professeur des universités\, LIRIS\, Université Lumière Lyon 2\nFrédéric MOTHE Chargé de Recherche\, Silva\, Université de Lorraine\nPhuc NGO Maître de Conférences\, LORIA\, Université de Lorraine
URL:https://www.loria.fr/event/phd-defense-remi-decelle-adagio/
LOCATION:B013
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220707T093000
DTEND;TZID=Europe/Paris:20220707T110000
DTSTAMP:20220703T192854Z
CREATED:20220703T192854Z
LAST-MODIFIED:20220703T192854Z
UID:16358-1657186200-1657191600@www.loria.fr
SUMMARY:PhD defense: Pierre-Marie Junges (Resist)
DESCRIPTION:Pierre-Marie Junges (Resist) will defend his thesis on Thursday\, 7th July at 9.30am in room A008.\nHis presentation will be in French and is entitled « Évaluation à l’échelle de l’Internet de la sécurité des objets connectés ».\n\nRésumé:\n\nL’usage des objets de l’Internet des Objets (IdO) dans nos environnements personnel ou professionnel facilite nos interactions du quotidien\, mais ces derniers souffrent souvent de problèmes de sécurité. L’enjeu de cette thèse est d’évaluer la sécurité des objets IdO à l’échelle de l’Internet selon plusieurs axes. Les travaux proposés doivent satisfaire plusieurs contraintes comme le passage à l’échelle\, la gestion de l’hétérogénéité des objets IdO\, ou dans le cas d’une analyse de trafic réseau\, l’impossibilité d’intercepter les communications sans-fil d’objets IdO. Dans un premier temps\, nous nous sommes intéressés aux risques de fuite de données utilisateur introduits par les box domotiques. Dans une seconde contribution\, nous évaluons le niveau de sécurité des firmwares d’objets IdO à l’aide d’une analyse hybride de firmwares combinant une analyse statique et dynamique. Contrairement aux solutions existantes\, notre objectif n’est pas de détecter de nouvelles vulnérabilités\, mais plutôt d’analyser la composition des binaires présents dans les firmwares\, notamment par rapport à la présence de vulnérabilités connues ou à l’utilisation de versions de binaires obsolètes. À partir des informations extraites de cette analyse de firmwares\, nous définissons une méthode de fingerprinting active permettant à un attaquant d’inférer\, à partir des résultats supposés d’un scan de ports\, des propriétés précises sur un objet IdO connecté. Enfin\, nous nous sommes intéressés aux cyberattaques ciblant les objets IdO et avons défini un pot de miel à forte interaction basé sur une méthode d’émulation utilisant des firmwares d’objest IdO. Le déploiement d’un pot de miel est difficile à cause de la contrainte de furtivité que les méthodes existantes d’émulation d’objets IdO n’intègrent pas.
URL:https://www.loria.fr/event/phd-defense-pierre-marie-junges-resist/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220707T140000
DTEND;TZID=Europe/Paris:20220707T153000
DTSTAMP:20220705T142734Z
CREATED:20220705T142734Z
LAST-MODIFIED:20220705T142734Z
UID:16374-1657202400-1657207800@www.loria.fr
SUMMARY:PhD defense: Ajinkya Kulkarni (Multispeech)
DESCRIPTION:Ajinkya Kulkarni (Multispeech) will defend his thesis on Thursday 7th July at 2pm in room C103. \nHis presentation will be in English. \nAbstract:\n\nRecently\, text-to-speech (TTS) synthesis has gained immense success in the human-computer interaction domain. Current TTS systems are monotonous due to the absence of expressivity. Expressivity in speech generally refers to suprasegmental speech characteristics represented by emotions\, speaking styles\, and the relationship between speech and gestures\, facial expressions\, etc. It seems likely that expressive speech synthesis provides the ability to improve the user experience with machines greatly. The development of an expressive TTS system heavily relies on the speech data used in training the system. The thesis aims at developing an expressive TTS system in a speaker’s voice for which only neutral speech data is available. The main focus of the thesis is to investigate deep learning approaches for exploring the disentanglement of speaker information and expressivity in a multispeaker TTS setting. The scope of the work incorporates expressivity as an emotion attribute with well-defined emotion classes.\n\nJury :\nRapporteures :\nYannis Stylianou Professeur – University of Crete\nDamien Lolive Maitre de Conférences HDR – Université de Rennes 1\n\nExaminateurs :\nMarie Tahon Maitre de Conférences – Université du Mans\nAxel Roebel Directeur de Recherches IRCAM\n\nDirectrices de thèse :\nDenis Jouvet Directeur de Recherches Inria\nVincent Colotte Maitre de Conf ́erences – Universit ́e de Lorraine
URL:https://www.loria.fr/event/phd-defense-ajinkya-kulkarni-multispeech/
LOCATION:C103
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220711T090000
DTEND;TZID=Europe/Paris:20220711T143000
DTSTAMP:20220704T075754Z
CREATED:20220704T075606Z
LAST-MODIFIED:20220704T075754Z
UID:16361-1657530000-1657549800@www.loria.fr
SUMMARY:Day of the Department 1 / Journée des doctorants du département 1
DESCRIPTION:9:00 – 9:30 Café\n9:30 – 10:30\n\nNariman Khaledian\, Tangram: Capturing Contact in Mitral Valve Dynamic Closure with Fluid-Structure Interaction Simulation. Slides\nDavid Desobry\, Pixel: Quadrilateral meshing for large deformations. Slides\nAna Rodriguez Cordero\, Caramba: Differential cryptanalysis in block ciphers. Slides\n\n\n10:30 – 11:00 Break\n11:00 – 12:00\n\nRadhouane Jilani\, Tangram : Simulation prédictive pour la neuroradiologie interventionnelle. Slides\nTom Masini\, ABC : Dimension de Natarajan à marge des PMC. Slides\nBastien Laboureix\, Adagio : Connexité des hyperplans arithmétiques. Slides\n\n\n12:20 – 13:30 Lunch\n13:30 – 14:30\n\nYoann Coudert-Osmont\, Pixel : Closed space-filling curves with controlled orientation for 3D printing. Slides\nYoussef Assis\, Tangram : Aneurysm detection using deep learning. Slides\nLeo Valque\, Gamble : Rounding 3D polygonal meshes. Slides\n\n\n\nNariman Khaledian\, Tangram. Capturing Contact in Mitral Valve Dynamic Closure with Fluid-Structure Interaction Simulation.Realistic fluid-structure interaction (FSI) simulation of the mitral valve opens the way toward planning for surgical repair. In the literature\, blood leakage is identified by measuring the flow rate\, but detailed information about closure efficiency is missing. We present in this paper an FSI model that improves the detection of blood leakage by building a map of contact.Methods – Our model is based on the immersed boundary method that captures a map of contact and perfect closure of the mitral valve\, without the presence of orifice holes\, which often appear with existing methods. We also identified important factors influencing convergence issues.Results – The method is demonstrated in three typical clinical situations: mitral valve with leakage\, bulging\, and healthy. In addition to the classical ways of evaluating MV closure\, such as stress distribution and flow rate\, the contact map provides easy detection of leakage with identification of the sources of leakage and a quality assessment of the closure.Conclusions – Our method significantly improves the quality of the simulation and allows the identification of regurgitation as well as a spatial evaluation of the quality of valve closure. Comparably fast simulation\, ability to simulate large deformation\, and capturing detailed contact are the main aspects of the study.Ongoing work – Currently\, we are focused on implementing more complex material characteristics in the model to simulate a more realistic behavior of the mitral valve motion. Implementation of real mitral valve geometry based on medical imaging is another ongoing work that we are currently focused on.David Desobry\, Pixel. Quadrilateral meshing for large deformations.We present a fully automatic method to produce quadrilateral meshes that stay valid despite deformations during a numerical simulation. Our approach is based on the Quadcover algorithm\, used in computer graphics to generate high quality quad meshes. Frame field based algorithm like Quadcover are currently not used for simulations of high deformation because the quadrilateral meshes generated have no reason to remain of sufficient quality when we deform their geometry. We explain in this talk how we can take into account deformations that we already computed to produce quad meshes adapted to these coming geometrical changes.Ana Rodriguez Cordero\, Caramba. Differential cryptanalysis in block ciphersIn symmetric cryptography\, block ciphers are widely used to secure the exchange of messages between parties. Cryptanalysis is responsible for testing the security of these ciphers to ensure that communications are secure. During this talk we will see what block ciphers are and how to study their security against differential attacks.Radhouane Jilani\, Tangram. Simulation prédictive pour la neuroradiologie interventionnelle.Les AVC ischémiques tuent chaque année plusieurs millions de personnes dans le monde. La thrombectomie manuelle\, consistant à amarrer le caillot sanguin pour déboucher l’artère est l’un des traitements les plus sûrs et les plus efficaces actuels. Elle nécessite la navigation d’un cathéter dans l’arbre vasculaire du patient jusqu’à atteindre le caillot\, ce qui est un geste difficile. L’objectif de ma thèse est le développement d’une simulation précise et interactive qui aide à la planification d’une telle opération. Ainsi\, il est crucial de modéliser avec précision le cathéter\, son environnement et leurs interactions. Le modèle de cathéter de cosserat sera utilisé car il offre le meilleur compromis entre temps de calcul et précision. Les vaisseaux seront modélisés implicitement et un nouvel algorithme de gestion des contacts sera développé. Après une introduction à ma thèse et à l’état de l’art\, je présenterai trois simulations qui reproduisent une expérience réelle de déploiement de cathéter.Tom Masini\, ABC. Dimension de Natarajan à marge des PMC.Nous nous intéressons à l’utilisation des dimensions combinatoires pour majorer la probabilité d’erreur des classifieurs multi-classes à marge. Dans ce contexte\, la dimension combinatoire de référence est la gamma-dimension. Cependant\, son utilisation pâ tit de l’absence d’un bon résultat structurel. Nous proposons de contourner cette difficulté en substituant à cette dimension la dimension de Natarajan à marge. Pour illustrer le potentiel de cette démarche\, nous étudions le cas particulier des perceptrons multi-couches.Bastien Laboureix\, Adagio. Connexité des hyperplans arithmétiques.Quand vous étiez petits\, on vous a dit que les droites étaient continues et n’avaient pas d’épaisseur. Mais\, en prenant une image numérique de droite et en zoomant au maximum\, on observe plutô t un amas de pixel qu’une forme rectiligne continue. Et si nous étudiions ces droites numériques\, discrètes\, plutô t que leurs homologues euclidiennes ? Et si nous nous intéressions à une nouvelle géométrie ? Car\, au-delà des droites\, on peut regarder des segments\, des polygones\, voire monter en dimension et étudier des plans\, des sphères\, des hyperplans. Evidemment\, la géométrie euclidienne ne s’applique pas sur les pixels : plus de division\, adieu les limites\, tout n’est plus qu’arithmétique ! RecommenÃ§ons donc la géométrie depuis le début\, via un problème simple sur les plans !Yoann Coudert-Osmont\, Pixel. Closed space-filling curves with controlled orientation for 3D printing.We explore the optimization of closed space-filling curves under orientation objectives. By solidifying material along the closed curve\, solid layers of 3D prints can be manufactured in a single continuous extrusion motion. The control over orientation enables the deposition to align with specific directions in different areas\, or to produce a locally uniform distribution of orientations\, patterning the solidified volume in a precisely controlled manner. Our optimization framework proceeds in two steps. First\, we cast a combinatorial problem\, optimizing Hamiltonian cycles within a specially constructed graph. We rely on a stochastic optimization process based on local operators that modify a cycle while preserving its Hamiltonian property. Second\, we use the result to initialize a geometric optimizer that improves the smoothness and uniform coverage of the cycle while further optimizing for alignment and orientation objectives.Youssef Assis\, Tangram. Aneurysm detection using deep learning.The detection of intracranial aneurysms from Magnetic Resonance Angiography (MRA) 3D images is a rapidly growing problem of clinical importance\, which is not only time-consuming for radiologists but also extremely difficult to automate. To overcome data scarcity and class imbalance problems related to aneurysm data\, state-of-the-art methods are model-centric approaches\, which are focused on network architecture and loss functions\, but only achieve fair sensitivity with a high false positives rate. Our work mainly follows a data-centric approach\, where we exploit the maximum of our weak annotations\, a small-patch approach was combined with an adapted data sampling strategy\, taking into account the specificities of aneurysms. Moreover\, we investigated the impact of various network architectures for aneurysm detection\, and compared them using performance metrics that are more relevant to object detection.Leo Valque\, Gamble. Rounding polygonal meshesTo build a 3D mesh\, Boolean operations are often used. But the resulting points have rational coordinates and each term of the rational requires greater precision\, so you will probably need to round the coordinates of those points. However\, rounding can create intersections and corrupt your mesh. I will present our new algorithm to solve this problem in 3D and the first results of its implementation. \nWeb page of the department’s seminar
URL:https://www.loria.fr/event/day-of-the-department-1-journee-des-doctorants-du-departement-1/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220715T183000
DTEND;TZID=Europe/Paris:20220716T200000
DTSTAMP:20220705T152812Z
CREATED:20220705T152812Z
LAST-MODIFIED:20220705T152812Z
UID:16378-1657909800-1658001600@www.loria.fr
SUMMARY:Bot4human au Festival d'Avignon !
DESCRIPTION:Les 15 et 16 juillet à l’occasion du Festival d’Avignon découvrez le spectacle BOT4HUMAN réalisé par les élèves de l’Atelier Artem « We are the robots » dans le cadre d’AIRES NUMÉRIQUES #3 proposé par le Grenier à Sel. \nÀ la fois micro-enquête sociologique menée par des robots auprès du public et fiction théâtrale mêlant humains et machines\, Bot4Human interroge dans une fiction documentée ce que pourrait être un futur peuplé de robots sociaux. \nConçu comme un espace de travail transdisciplinaire\, entre composition théâtrale et programmation robotique\, ce spectacle – dans lequel humains et robots se partagent la scène – aborde les sujets de l’anthropomorphisme\, de l’intelligence artificielle\, du rôle du roboticien et de son « pouvoir d’agir ». Autant de questionnements sociétaux soulevés par cette robolution déjà en marche. \nBot4Human est un projet conçu et joué par des étudiantes et étudiants de l’Alliance Artem qui regroupe l’école des Mines de Nancy\, ICN Business School et l’Ecole nationale supérieure d’art et de design de Nancy dans le cadre de l’atelier Artem « We are the robots » piloté par Patrick Hénaff\, professeur des universités à Mines Nancy et chercheur au Loria. \nA l’occasion du Festival d’Avignon\, le Grenier à Sel propose 10 jours de programmation dédiée aux formes immersives et numériques dans le spectacle vivant et les arts visuels. A travers des spectacles\, des performances\, des rencontres et des ateliers\, AIRES NUMÉRIQUES #3 vous invite à découvrir des artistes défricheurs d’innovation. Le spectacle BOT4HUMAN a été sélectionné dans ce cadre par le Grenier à Sel pour participer au Festival d’Avignon. \nUn projet conçu et joué par des étudiants de l’atelier Artem « We are the robots »\n« We Are the Robots » est un espace transdisciplinaire entre composition artistique et programmation robotique où chaque spécialité des écoles de l’Alliance Artem a son rôle et son importance. \nDans cet atelier\, l’objectif est de concevoir une « performance art vivant » ouune installation dans laquelle compétences techniques et visions artistiques se nourrissent et se complètent. \nLe processus technique (conception\, codage des robots) est considéré comme un matériau artistique au même titre qu’un texte\, qu’une dramaturgie\, qu’une scénographie\, etc. Le spectacle BOT4HUMAN a été créé dans le cadre de cet atelier. \n\nInformations pratiques\nDates : le 15 juillet à 18h30 et le 16 juillet à 14h30 \nTarifs : 6 € / réduit 4 € / carte OFF 4 € / pro 4 € \nPublic : à partir de 8 ans \nDurée : 30 minutes \n\nMise en scène : Raphaël Gouisset \nPilotage du projet : \n\nPatrick Hénaff\, professeur Université de Lorraine à Mines Nancy et chercheur au Loria.\nAlain Dutech\, chargé de recherche Inria au Loria.
URL:https://www.loria.fr/event/bot4human-au-festival-davignon/
ATTACH;FMTTYPE=image/jpeg:https://www.loria.fr/wp-content/uploads/AIRES-NUMERIQUES-VISUEL-scaled.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20220829
DTEND;VALUE=DATE:20220903
DTSTAMP:20220413T150717Z
CREATED:20220413T150701Z
LAST-MODIFIED:20220413T150717Z
UID:15751-1661731200-1662163199@www.loria.fr
SUMMARY:European Summer School on AI : Trusted AI and Sustainable AI
DESCRIPTION:The Second Inria-DFKI European Summer School on AI (IDESSAI 2022) entitled Trusted AI and Sustainable AI will take place at the University of Saarland\, from August 29 to September 2\, 2022. \n\nRegistration deadline: May 9\, 2022\nMore information: https://idessai.eu/\n\nSPEAKERS \nCross-track\n \n\nTitouan Vayer (ENS Lyon) – Less is more? How compressive learning and sketching for large-scale machine works\nMichael Luck (King’s College London) – Artificial Intelligence: Towards safety and trust\n\nTrusted AI Track: \n\nMartin Georg Fränzle (University of Oldenburg) – AI components for high integrity\, safety-critical cyber-physical systems: chances and risks\nAndré Meyer-Vitali (DFKI) – Trustworthy hybrid team decision support\nCaterina Urban (Inria) – Formal methods for machine learning\nFreddy Lecue (Thales & Inria) – Explainable AI: a focus on machine learning and knowledge graph-based approaches\nOana Goga (CNRS – LIG) – Security and privacy issues with social computing and online advertising\n\nSustainable AI Track: \n\nSilviu-Ioan Filip (Inria) – Tools for DNN quantization\nOlivier Sentieys (Inria) – Deploying DNNs on FPGAs\nChristoph Lüth (DFKI Bremen) – An introduction to the RISC-V ISA\nRichard Membarth (DFKI Saarbrücken & TH Ilmenau) – Code optimization via specialization\nAnne-Laure Ligozat (ENSIIE) – Energy consumption and CO2 emissions – Part 1\nDanilo Carastan dos Santos (Inria) – Energy consumption and CO2 emissions – Part 2\nDaniel Beutel (Adap) – An Introduction to federated learning with Flower\n\nTo ensure a good balance in the number of participants and instructors and maximize the chances of interaction\, the number of attendees is limited to 50 per track. Applicants will be selected on the grounds of diversity and benefit gained from attending the selected track. \nORGANIZERS \nCo-organized by: Inria\, DFKI
URL:https://www.loria.fr/event/european-summer-school-on-ai-trusted-ai-and-sustainable-ai/
LOCATION:University of Saarland
CATEGORIES:school
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20220908
DTEND;VALUE=DATE:20220910
DTSTAMP:20220823T155817Z
CREATED:20220823T155817Z
LAST-MODIFIED:20220823T155817Z
UID:16459-1662595200-1662767999@www.loria.fr
SUMMARY:GEN10 : le Loria à Grand Est Numérique !
DESCRIPTION:La dixième édition du salon Grand Est Numérique aura lieu les 8 et 9 septembre au Centre des Congrès Robert Schuman de Metz. \nRencontrez nos chercheurs et les startups issues des travaux de nos équipes ! \nRendez-vous sur le stand F1-F2 Loria – Inria et découvrez nos technologies de rupture en cybersécurité\, intelligence artificielle\, drones… \n\nLe 8 septembre\, avec Cyber-Detect\, Abbrevio et Arrandi.\nLe 9 septembre\, avec Alerion\, Cybi et Myrill.\n\nAvec des thématiques variées allant de la transition digitale aux langages de développement\, #GEN est devenu un événement incontournable pour tous les professionnels novices ou aguerris du numérique dans le Grand Est\, l’objectif étant de positionner l’événement dans le top 5 des évènements business & tech français et de faire rayonner les compétences de notre territoire au national. \nLa 9e édition de #GEN a attiré plus de 3200 professionnels. #GEN2022 se déroulera les 08 et 09 septembre 2022 au Centre des Congrès Robert Schuman de Metz. Entre la création de contacts\, les ateliers\, les pitchs startups\, les conférences\, #GEN permet des échanges concrets entre professionnels pour faire évoluer leur parcours. \nPlus d’informations et inscriptions sur le site de GEN.
URL:https://www.loria.fr/event/gen10-le-loria-a-grand-est-numerique/
LOCATION:Centre des Congrès Robert Schuman\, Metz
CATEGORIES:Forum
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220908T093000
DTEND;TZID=Europe/Paris:20220908T113000
DTSTAMP:20220902T142825Z
CREATED:20220902T141352Z
LAST-MODIFIED:20220902T142825Z
UID:16751-1662629400-1662636600@www.loria.fr
SUMMARY:Soutenance de thèse : Pierre Lermusiaux (VeriDis)
DESCRIPTION:Pierre Lermusiaux (VeriDis) soutiendra sa thèse intitulée « Analyse statique de transformations pour l’élimination de motifs« \, effectuée sous la direction de Pierre-Étienne Moreau et Horatiu Cirstea. La soutenance aura lieu le jeudi 8 septembre à 9h30 en salle A008 au Loria. \nRésumé :\n\nLa transformation de programmes est une pratique très courante dans le domaine des sciences informatiques. De la compilation à la génération de test en passant par de nombreuses approches d’analyse de codes et de vérification formelle des programmes\, c’est un procédé qui est à la fois omniprésent et crucial au bon fonctionnement des programmes et systèmes informatiques. Cette thèse propose une étude formelle des procédures de transformation de programmes dans le but d’exprimer et de garantir des propriétés syntaxiques sur le comportement et les résultats d’une telle transformation. \nDans le contexte de la vérification formelle des programmes\, il est en effet souvent nécessaire de pouvoir caractériser la forme des termes obtenus par réduction suivant une telle transformation. En s’inspirant du modèle de passes de compilation\, qui décrivent un séquençage de la compilation d’un programme en étapes de transformation minimales n’affectant qu’un petit nombre des constructions du langage\, on introduit\, dans cette thèse\, un formalisme basé sur les notions de filtrage par motif et de réécriture permettant de décrire certaines propriétés couramment induites par ce type de transformations. \nLe formalisme proposé se repose sur un système d’annotations des symboles de fonction décrivant une spécification du comportement attendu des fonctions associées. On présente alors une méthode d’analyse statique permettant de vérifier que les transformations étudiées\, exprimées par un système de réécriture\, satisfont en effet ces spécifications. \n\n\nMembres du jury :\n\nDirecteur de thèse :\n\n\nPierre-Étienne Moreau\, Université de Lorraine\nHoratiu Cirstea\, Université de Lorraine\n\n\nRapporteurs :\n\n\nOlga Kouchnarenko\, Unversité de Franche-Comté\nThomas Genet\, Université de Rennes\n\n\nExaminateurs :\n\n\n\n\nMaribel Fernandez\, King’s College\nMarc Pantel\, ENSEEIHT
URL:https://www.loria.fr/event/soutenance-de-these-pierre-lermusiaux-veridis/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20220909
DTEND;VALUE=DATE:20220910
DTSTAMP:20220830T154526Z
CREATED:20220830T154526Z
LAST-MODIFIED:20220830T154526Z
UID:16479-1662681600-1662767999@www.loria.fr
SUMMARY:Le Loria au Livre sur la Place !
DESCRIPTION:Pour la 17e année consécutive\, le stand collégial des Sciences sur la Place reconduit sa présence au salon littéraire nancéien du Livre sur la Place qui se tiendra du 9 au 11 septembre 2022\, place de la Carrière à Nancy. Comme à chaque édition\, des causeries et spectacles scientifiques seront au programme !\nLes objectifs du stand et des événements sont de :\n\npermettre la rencontre entre les auteurs scientifiques et le grand public & faire connaître la production d’ouvrages à caractère scientifique\nsusciter l’intérêt pour les sciences\nfaire connaître les organismes publics et leur multidisciplinarité\nvendre des ouvrages parus dans les 2 dernières années en langue française\n\nLe vote électronique se fait une place sur le stand ! \n\n\nVéronique Cortier (Pesto) et Pierrick Gaudry (Caramba) sont les auteurs de l’ouvrage « Le Vote électronique. Les défis du secret et de la transparence » avec une préface de Gérard Berry. Ils seront présents sur le stand le vendredi 9 septembre de 14 h à 19 h pour une séance de dédicaces.\n\n\nLa pièce de théâtre Drone Control au programme des spectacles scientifiques !\nRobi le robot\, Antoine Deleforge (Multispeech) et la Compagnie « Les Sens des Mots » seront de retour pour une représentation grand public de « Drone Control » au jardin botanique de Villers-Lès-Nancy\, le dimanche 11 septembre à 15 h.\n\nRetrouvez plus d’informations sur le spectacle et réservez dès maintenant votre place !\n\n\n\n\nAntoine Deleforge sera également présent au temps de dédicace dimanche 11 septembre de 10 h à 14 h sous le chapiteau du Livre sur la Place pour faire découvrir l’ouvrage associé à la pièce « Binôme 3\, le poète et le savant (Éd. Les solitaires intempestifs)« .
URL:https://www.loria.fr/event/le-loria-au-livre-sur-la-place/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220911T150000
DTEND;TZID=Europe/Paris:20220911T150000
DTSTAMP:20220901T134801Z
CREATED:20220901T134625Z
LAST-MODIFIED:20220901T134801Z
UID:16532-1662908400-1662908400@www.loria.fr
SUMMARY:Drone control\, une pièce de théâtre de Charlotte Lagrange
DESCRIPTION:« Drone control » est une pièce de théâtre écrite dans le cadre du projet « binôme\, le poète et le savant » et présentée par la compagnie « Le sens des mots« . Elle a été créée par Charlotte Lagrange suite à sa rencontre avec Antoine Deleforge\, chercheur en traitement et reconnaissance du son chez Inria\, dans l’équipe Multispeech\, commune à Inria et au Loria (Université de Lorraine\, CNRS\, Inria). \n\nThéâtre scientifique proposé dans le cadre du livre sur la place 2022.\nGratuit\nÀ partir de 12 ans\nInscrivez-vous sur ce lien.\n\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. Un drone qu’il a surnommé Robi\, parce qu’il est 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 … \n 
URL:https://www.loria.fr/event/drone-control-une-piece-de-theatre-de-charlotte-lagrange/
LOCATION:Jardin botanique Jean-Marie Pelt\, 100 Rue du Jardin-Botanique\, Villers-lès-Nancy\, 54600\, France
CATEGORIES:Spectacle
ATTACH;FMTTYPE=image/jpeg:https://www.loria.fr/wp-content/uploads/2022_09_11-Drone-control_horizontal.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20220912
DTEND;VALUE=DATE:20220916
DTSTAMP:20220907T191157Z
CREATED:20211013T093608Z
LAST-MODIFIED:20220907T191157Z
UID:13930-1662940800-1663286399@www.loria.fr
SUMMARY:ICCBR 2022 - 30th International Conference on Case-Based Reasoning
DESCRIPTION:The International Conference on Case-Based Reasoning (ICCBR) is the premier\, annual meeting of the CBR community and the leading international conference on this topic. Researchers will present the latest results of their work and discuss future directions for the field. \nGLOBAL CHALLENGES FOR CBR is this year’s conference theme\, to direct the community’s attention to the pressing issues that impact us all\, such as sustainability\, climate change and global health crises.    This year we pose the question: “What can CBR do to meet these challenges?”  Accordingly\, this year’s conference welcomes and encourages submissions and participation from members of the AI and CBR communities – whether they be researchers\, policy makers or practitioners — on these global challenges.  In this respect\, we look forward to  a variety of submissions; they could be position papers or roadmapping proposals\, as well as traditional basic or applied research papers. \nWELCOME TO FRANCE!  The 2022 edition will be located in Nancy\, France. The program will include keynote addresses\, a main technical track\, a workshop program\, a doctoral consortium\, and other events\, with several connections to this theme. We warmly welcome participation from all researchers and practitioners who have interest in case-based reasoning\, including those who are working on related topics but have not previously attended ICCBR. \nEXCITING KEYNOTES.  Invited keynotes will be given by Prof Cynthia Rudin (Duke University\, USA)\, Prof Sutanu Chakraborti (Indian Institute of Technology-Madras\, India) and Prof Xiaohong Gao (Middlesex University\, UK) \nSEVERAL WORKSHOPS will be held alongside ICCBR. Check the workshop list page for more information! \nDon’t hesitate to participate to the Explainable AI Challenge! \nMore information : iccbr2022.loria.fr
URL:https://www.loria.fr/event/iccbr-2022-30th-international-conference-on-case-based-reasoning/
LOCATION:Loria
CATEGORIES:Conférence
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220927T100000
DTEND;TZID=Europe/Paris:20220927T120000
DTSTAMP:20220920T133049Z
CREATED:20220920T133049Z
LAST-MODIFIED:20220920T133049Z
UID:17011-1664272800-1664280000@www.loria.fr
SUMMARY:Soutenance de thèse de Laure Crochepierre
DESCRIPTION:Laure Crochepierre soutiendra sa thèse intitulée « Apprentissage automatique interactif pour les opérateurs du réseau électrique« \, réalisée sous la direction de Lydia Boudjeloud-Assala et la supervision de Vincent Barbesant (RTE)\, le mardi 27 septembre 2022 à 10h00  à Centrale Supelec Metz.\n\nRésumé :\nDans le contexte de la transition énergétique et de l’augmentation des interconnexions entre les réseaux de transport d’électricité en Europe\, les opérateurs du réseau français doivent désormais faire face à davantage de fluctuations et des dynamiques nouvelles sur le réseau. Pour garantir la sûreté de ce réseau\, les opérateurs s’appuient sur des logiciels informatiques permettant de réaliser des simulations\, ou de suivre l’évolution d’indicateurs créés manuellement par des experts grâce à leur connaissance du fonctionnement du réseau. Le gestionnaire de réseau de transport d’électricité français RTE (Réseau de Transport d’Electricité) s’intéresse notamment aux développements d’outils permettant d’assister les opérateurs dans leur tâche de surveillance des transits sur les lignes électriques. Les transits sont en effet des grandeurs particulièrement importantes pour maintenir le réseau dans un état de sécurité\, garantissant la sûreté du matériel et des personnes. Cependant\, les indicateurs utilisés ne sont pas faciles à mettre à jour du fait de l’expertise nécessaire pour les construire et les analyser. Pour répondre à la problématique énoncée\, cette thèse a pour objet la construction d’indicateurs\, sous la forme d’expressions symboliques\, permettant d’estimer les transits sur les lignes électriques. Le problème est étudié sous l’angle de la Régression Symbolique et investigué à la fois par des approches génétiques d’Evolution Grammaticale et d’Apprentissage par Renforcement dans lesquelles la connaissance experte\, explicite et implicite\, est prise en compte. Les connaissances explicites sur la physique et l’expertise du domaine électrique sont représentées sous la forme d’une grammaire non-contextuelle délimitant l’espace fonctionnel à partir duquel l’expression est créée. Une première approche d’Evolution Grammaticale Interactive propose d’améliorer incrémentalement les expressions trouvées par la mise à jour d’une grammaire entre les apprentissages évolutionnaires. Les expressions obtenues sur des données réelles issues de l’historique du réseau sont validées par une évaluation de métriques d’apprentissages\, complétée par une évaluation de leur interprétabilité. Dans un second temps\, nous proposons une approche par renforcement pour chercher dans un espace délimité par une grammaire non-contextuelle afin de construire une expression symbolique pertinente pour des applications comportant des contraintes physiques. Cette méthode est validée sur des données de l’état de l’art de la régression symbolique\, ainsi qu’un jeu de données comportant des contraintes physiques pour en évaluer l’interprétabilité. De plus\, afin de tirer parti des complémentarités entre les capacités des algorithmes d’apprentissage automatique et de l’expertise des opérateurs du réseau\, des algorithmes interactifs de Régression Symbolique sont proposés et intégrés dans des plateformes interactives. L’interactivité est employée à la fois pour mettre à jour la connaissance représentée sous forme grammaticale\, analyser\, interagir avec et commenter les solutions proposées par les différentes approches. Ces algorithmes et interfaces interactifs ont également pour but de prendre en compte de la connaissance implicite\, plus difficile à formaliser\, grâce à l’utilisation de mécanismes d’interactions basés sur des suggestions et des préférences de l’utilisateur.\n\n\nJury :\n\n\nDirectrice de thèse : Mme Lydia Boudjeloud-Assala\, MCF\, HDR\, Université de Lorraine\nRapporteurs : Mme Laure Berti-Equille\, DR Institut de Recherche pour le Développement\nM. Antoine Cornuéjols\, Pr Agroparistech\nExaminateurs : Mme Marianne Clausel\, Pr Université de Lorraine\nM. Matthieu Geist\, Pr Université de Lorraine – Google Brain\nM. Christian Derquenne\, Dr  EDF\nInvités : M. Vincent Barbesant\, RTE\nM. Antoine Marot\, RTE\nM. Benjamin Donnot\, Dr RTE
URL:https://www.loria.fr/event/soutenance-de-these-de-laure-crochepierre/
LOCATION:CentraleSupélec Metz\, 2\, rue Edouard Belin\, Metz\, France
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220930T180000
DTEND;TZID=Europe/Paris:20220930T180000
DTSTAMP:20220919T070955Z
CREATED:20220901T142336Z
LAST-MODIFIED:20220919T070955Z
UID:16577-1664560800-1664560800@www.loria.fr
SUMMARY:Nuit des chercheur.e.s
DESCRIPTION:Et si nous proposions aux chercheur·e·s de sortir de leurs labos ? Le temps d’une soirée\, le campus se pare d’animations\, théâtre\, visites\, concert… et vous invite à faire leur connaissance.  \n\n\n\n\nConversations nocturnes\, laboratoire d’improvisation\, théâtre\, speed searching\, happening\, concert… 70 chercheur·e·s s’impliquent dans la Nuit européenne des chercheur·e·s à Nancy. Le cadre convivial de l’évènement se prête particulièrement au partage des recherches qu’ils mènent. \nDe nombreux membres du laboratoire participent ! \n\nLe miroir virtuel\, avec Karën Fort (Sémagramme)\nRecoller les morceaux\, avec Guilhem Gamard et Emmanuel Jeandel (Mocqua)\nBig Bang numérique\, avec Bruno Lévy et Pierre Boldrini (Pixel)\nQuadriller le monde\, avec Guillaume Coiffier\, Justine Basselin et Dmitry Sokolov (Pixel)\nSignal perdu\, avec Laure Buhry\, Laurent Bougrain\, Laëtitia Raison-Aubry et Gabriela Herrera (NeuroRhythms).\nL’oeil du peintre\, avec Gilles Simon (Tangram)\nSe frayer un chemin\, avec Erwan Kerrien (Tangram)\nEn équilibre\, avec Dmitry Sokolov (Pixel)\nQuand le langage dysfonctionne\, avec Maxime Amblard (Sémagramme)\n\n\n\n\nVendredi 30 septembre de 18h à minuit \nCampus Lettres et Sciences Humaines\, Nancy  \nGratuit et ouvert à tou·te·s \nCliquez ici pour découvrir le programme complet \n\nL’ÉVÉNEMENT\nDepuis 14 ans\, la Nuit européenne des chercheur·e·s se déroule chaque dernier vendredi du mois de septembre\, de 18h à minuit. Elle invite le public à rencontrer les chercheur·se·s dans l’ambiance conviviale et esthétique d’espaces scénographiés où la place de chaque image\, objet\, manipulation\, vidéo est pensé. Les chercheur·se·s y parlent de leurs recherches en cours en veillant à l’accessibilité de leur discours pour le plus grand nombre. \n 
URL:https://www.loria.fr/event/nuit-des-chercheur-e-s/
LOCATION:Campus Lettres et Sciences Humaines\, Nancy\, 23\, boulevard Albert 1er\, Nancy\, 54000\, France
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20221007T100000
DTEND;TZID=Europe/Paris:20221007T120000
DTSTAMP:20221004T063505Z
CREATED:20221004T063505Z
LAST-MODIFIED:20221004T063505Z
UID:17044-1665136800-1665144000@www.loria.fr
SUMMARY:PHD Defense: Nicolas Lasolle (K)
DESCRIPTION:Nicolas Lasolle (K Team) will defend his thesis on Friday\, 7th October at 10 am at Loria. \nHis thesis is entitled « Un système d’interrogation flexible pour le Web sémantique : application à la correspondance d’Henri Poincaré ». \nRésumé \nDe nombreux travaux historiques portent sur la vie et l’œuvre scientifique d’Henri Poincaré (1854-1912)\, notamment au travers de l’étude et de la publication du corpus de sa correspondance. Des travaux numériques s’appuyant sur le Web sémantique visent à offrir de nouveaux outils aux chercheurs étudiant ce corpus. Un constat est qu’il est parfois difficile pour les historiens de formuler des requêtes pour retrouver des données intéressantes. Ce travail de recherche propose un système d’interrogation capable de guider les utilisateurs en leur suggérant de nouveaux critères de recherches. Ces suggestions s’appuient sur des règles exploitant les connaissances historiques du corpus. Au travers de l’utilisation de ce système\, réutilisable dans d’autres contextes\, ces travaux s’interrogent également sur l’évolution des pratiques de recherche en histoire\, et tendent à illustrer comment un tel système d’interrogation flexible peut encourager la découverte de connaissances. \nAbstract \nNumerous historical works are devoted to the life and the scientific work of Henri Poincaré (1854-1912)\, in particular through the study and the publication of his correspondence. Digital work based on Semantic Web intends to offer new tools for researchers studying this corpus. One observation is that it is sometimes difficult for historians to formulate queries to find relevant data. This research work proposes a query system guiding users by suggesting new search criteria. These suggestions are based on rules exploiting corpus historical knowledge. Through the use of this system\, which can be reused in other contexts\, this work also questions the evolution of research practices in history and aims at illustrating how such a flexible query system can stimulate knowledge discovery.
URL:https://www.loria.fr/event/phd-defense-nicolas-lasolle-k/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20221007T150000
DTEND;TZID=Europe/Paris:20221007T170000
DTSTAMP:20221005T093914Z
CREATED:20221005T085359Z
LAST-MODIFIED:20221005T093914Z
UID:17055-1665154800-1665162000@www.loria.fr
SUMMARY:PHD Defense: Hans-Jörg Schurr (Veridis)
DESCRIPTION:Hans-Jörg Schurr (Veridis Team) will defend his thesis on Friday\, 7th October at 3pm at Loria. His thesis is entitled « Stronger SMT Solvers for Proof Assistants: Proofs\, Quantifier Simplification\, Strategy Schedules ». \nAbstract:\nThis thesis presents three contributions that have the same underlying\nmotivation: to improve the utility of SMT solvers as backends for proof\nassistants. SMT solvers are automated theorem provers that combine\npropositional reasoning with theories.  Proof assistants are tools\nthat empower users to write formally checked proofs. To help the user\,\nproof assistants can provide automation by integrating with automated\ntheorem provers. \nProof assistants typically accept only proofs that are constructed in\nthe trusted kernel of the assistant.  The first contribution addresses\nthe reconstruction of SMT proofs in a proof assistant.  We present the\nAlethe proof format for SMT solvers.  It improves and unifies previous\nwork on proof generation from SMT solvers.  The vast majority of these\nimprovements were informed by the experience provided by a concrete effort\nof reconstructing Alethe proofs in the proof assistant Isabelle. \nSMT problems generated by proof assistants usually really heavily\non quantifiers.  Since SMT solvers excel on quantifier free problems\,\nthey use quantifier instantation to generate quantifier free formulas.\nThe second contribution improves quantifier instantiation. It is a\nunification-based method that augments the problem with shallow quantified\nformulas obtained from assertions with nested quantifiers. These\nnew formulas help unlocking the regular instantiation techniques\, but\nparsimony is necessary since they might also be misguiding.  The method\nallows the solver to prove more formulas\, faster. \nThe heuristics of an SMT solvers can be parameterized.  A specific\nparameterization of the entire solver is called a strategy\, and the best\nstrategy usually differs from problem to problem. The third contribution\nis a toolbox to work with strategy schedules.  A key component of the\ntoolbox is a tool that uses integer programming to generate strategy\nschedules.  Beyond this tool\, the toolbox also contains tools for\nsimulating and analyzing schedules. We used the toolbox to select\nstrategies that solve many problems generated by Isabelle. \nJury:\n\nDirecteurs de thèse : Stephan MERZ (Université de Lorraine\, Inria)\, Pascal FONTAINE (Université de Liège)\, Jasmin BLANCHETTE (Vrije Universiteit Amsterdam)\nRapporteurs : Frédéric BLANQUI (Université Paris Saclay\, Inria)\, Elaine PIMENTEL (University College London)\nExaminateurs : Chantal KELLER (Université Paris Saclay\, LMF)\, Christophe RINGEISSEN (Université de Lorraine\, Inria)\, Cesare TINELLI (The University of Iowa)
URL:https://www.loria.fr/event/phd-defense-hans-jorg-schurr-veridis/
LOCATION:Loria
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20221007T180000
DTEND;TZID=Europe/Paris:20221007T200000
DTSTAMP:20220915T100342Z
CREATED:20220915T100342Z
LAST-MODIFIED:20220915T100342Z
UID:16994-1665165600-1665172800@www.loria.fr
SUMMARY:L’humain\, au cœur de l’informatique : Une visite insolite CNRS
DESCRIPTION:Du 7 au 17 octobre\, le CNRS ouvre les portes de ses laboratoires\, observatoires\, plateformes scientifiques et sites de recherche en France métropolitaine. Les Visites insolites permettront à plus de 1 000 personnes de plonger au cœur de la recherche et de découvrir des installations ou expériences exceptionnelles\, en tête à tête avec les scientifiques. \nDans le Grand Est 18 laboratoires\, dont le Loria\, vous proposent des visites exceptionnelles. Candidatez dès maintenant et jusqu’au 23 septembre ! \nVisitez le Loria\nL’humain\, au cœur de l’informatique\nDécouvrez les coulisses de recherches en informatique où l’interaction humain-machine apporte des solutions innovantes en matière de santé. Accompagnés de spécialistes\, découvrez et essayez deux plateformes étonnantes : l’une permettant de visualiser l’activité de votre cerveau ; l’autre\, capable de transformer un simple texte en mouvements de lèvres sur un personnage virtuel… \n\n7/10 de 18 h à 20 h\n\n+ Plus d’informations sur ce lien
URL:https://www.loria.fr/event/lhumain-au-coeur-de-linformatique-une-visite-insolite-cnrs/
LOCATION:Loria
CATEGORIES:Autres
ATTACH;FMTTYPE=image/png:https://www.loria.fr/wp-content/uploads/Visite-insolite-2022.png
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20221010
DTEND;VALUE=DATE:20221013
DTSTAMP:20220711T152612Z
CREATED:20220711T152612Z
LAST-MODIFIED:20220711T152612Z
UID:16395-1665360000-1665619199@www.loria.fr
SUMMARY:Journées du GT Calculabilités 2022
DESCRIPTION:Les journées du groupe de travail Calculabilités auront lieu au Loria du 10 au 12 octobre 2022\, en salle C005. \nCes journées ont pour but de rassembler des chercheurs de France et d’ailleurs autour de la notion de calculabilité au sens très large du terme. Cela inclut notamment : \n\nCalculabilité classique (réductions\, degrés\, méthodes de priorité\, etc.)\nAutres modèles de calculs : modèles géométriques (pavages\, machines à signaux)\, modèles algébriques (Abstract State Machines)\, modèles dynamiques et distribués (automates cellulaires\, protocoles de population\, tas de sable\, etc)\, calcul à temps continu\, calcul à temps ordinal\, calcul sur les structures infinies (réels\, ordres)\nApplications et interactions de la calculabilité avec les domaines suivants: mathématiques constructives/calculables\, cryptologie\, virologie\, théorie de l’information et de l’aléatoire (complexité de Kolmogorov)\, complexité algorithmique\, théorie des modèles\, théorie de la preuve et mathématiques à rebours\, théorie des ensembles (modèles intérieurs\, forcing\, théorie descriptive\, détermination)\, théorie des domaines.\n\nPlus d’informations sur gtc2022.sciencesconf.org
URL:https://www.loria.fr/event/journees-du-gt-calculabilites-2022/
LOCATION:C005
CATEGORIES:Conférence
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20221011T140000
DTEND;TZID=Europe/Paris:20221011T170000
DTSTAMP:20221010T074456Z
CREATED:20221010T074456Z
LAST-MODIFIED:20221010T074456Z
UID:17078-1665496800-1665507600@www.loria.fr
SUMMARY:PhD Defense: Abir Laraba (Resist)
DESCRIPTION:Abir Laraba will defend her thesis on Tuesday\, 11th October at 2 pm in room A008. \nHer thesis is entitled « Protocol Abuse Mitigation In SDN Programmable Data Planes ». \n\nAbstract:\n\nThe emergence of the Software-Defined Networking paradigm has supported the development of new network monitoring scheme thanks to network programmability. The first purpose of SDN is to centralize the network intelligence at the control plane with a stateless data plane (i.e.\, network elements\, switches). As a result\, the network monitoring functions require the help of the remote controller or the extension of existing data plane protocols. In recent years\, efforts have been made to make the data plane more programmable and stateful\, permitting customized functions deployment and offloading many applications to network elements (e.g.\,forwarding devices). For example\, the data plane programmability can be enabled by the P4 language that defines how packets are processed in a switch pipeline and supports stateful packet processing. However\, P4 does not provide intuitive stateful abstractions to model behavioral attacks. Therefore\, rethinking on the general abstractions to model and track a complex and stateful behavior in the data plane is necessary. To exploit the opportunities offered by a programmable data plane\, including stateful and real-time packet processing\, we need models which are simple enough to be deployed on a programmable switch with respect to the existing primitives that remain limited and\, at the same time\, capable of capturing a complex behavior.\n\n\nMeantime\, attackers exploit vulnerabilities present in protocols used in the core of the Internet\, such as TCP and DNS. However\, the proposed solutions to detect these attacks require modifying the protocol implementation at the end-hosts or having a negative impact on benign flows. Therefore\, patching at the scale of the Internet would require much time for deployment\, such as in the case of DNSSEC. In this thesis\, we address these shortcomings by designing a security function (i.e.\, an attack mitigation approach) that can be deployed in an SDN programmable data plane. We propose an abstraction based on an Extended Finite State Machine (EFSM) to model an attack behavior. To detect sophisticated attacks such as multi-step attacks\, we extend it with Petri Net to synchronize the detection of a set of attack steps. We present how these models can be mapped to P4 primitives so that we can detect and react against an attack within the network. We present three attacks from Layer-3\, Layer-4\, and Layer-7 of the OSI model\, namely the ECN protocol abuse\, the Optimistic ACK attack\, and the recent DNS multi-step cache poisoning attack. Our approach does not require modifying protocol implementation at the end hosts. Besides\, our solution leverages programmable data planes\, enabling flow tracking and reaction against attacks in real-time within the network
URL:https://www.loria.fr/event/phd-defense-abir-laraba-resist/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20221013
DTEND;VALUE=DATE:20221014
DTSTAMP:20221007T133803Z
CREATED:20221004T073715Z
LAST-MODIFIED:20221007T133803Z
UID:17048-1665619200-1665705599@www.loria.fr
SUMMARY:Journée thématique - IA pour la découverte scientifique
DESCRIPTION:La journée « IA pour la découverte scientifique » aura lieu au Loria le jeudi 13 octobre 2022. \nCette journée inclura des présentations de chercheurs de diverses disciplines et des moments d’échanges entre chercheurs. \n9h00 – Introduction\n9h15 – Présentations (Modérateur : Mathieu d’Aquin\, LORIA)\n \n\nAlexandre Nominé (IJL) – L’IA pour la découverte d’alliages de haute entropie\nLaurent Chaput (LEMTA) – Ab initio calculations of thermal properties: trying to find new materials\nEmilie Gaudry (IJL) – Adsorption properties of complex surfaces by a combination of density functional theory and machine learning\n\n10h45 – Pause / échanges\n11h15 – Présentations (Modérateur : Romain Postoyan\, CRAN)\n \n\nHaochuan Chen (LPCT) – Chasing collective variables using temporal data-driven strategies\nNathalie Leblond et Sophie Payot-Lacroix (DynAmic) – De la microbiologie à l’informatique… un pas à franchir ?\nMartin Laviale (LIEC) – IA pour l’écologie\n\n12h45 – Repas\n14h – Présentations (Modérateur : Marianne Clausel\, IECL)\n \n\nJulien Ruelle (UMR SILVA) – Analyse multi-échelle de la structure du bois en association avec sa formation dans l’arbre\nSophie Béreau-Gnabo (BETA) – Predicting financial fragility: The need for hybrid approaches\nHervé Panetto (CRAN) – AI for the industry of the future\n\n15h30 – Pause / échanges\n16h – Table ronde
URL:https://www.loria.fr/event/journee-thematique-ia-pour-la-decouverte-scientifique/
LOCATION:A008
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20221013
DTEND;VALUE=DATE:20221015
DTSTAMP:20221010T183407Z
CREATED:20221004T075319Z
LAST-MODIFIED:20221010T183407Z
UID:17051-1665619200-1665791999@www.loria.fr
SUMMARY:Fête de la science : Le Loria au Village des Sciences de la FST !
DESCRIPTION:À l’occasion de la Fête de la Science\, la Faculté des Sciences et Technologies organise un village des Sciences sur le campus de la Faculté les 14 et 15 octobre 2022 sur le campus des Aiguillettes à Vandoeuvre-les-Nancy. \n\nVendredi 14 octobre 2022 de 9h à 16h\, \nLes animations seront dédiées aux élèves scolarisés du primaire au lycée.\nSamedi 15 octobre 2022 de 13h à 18h\,\nLe village des Sciences sera ouvert au grand public.\n\nLes doctorant.e.s et chercheur.e.s du Loria seront présents ! Retrouvez-les lors de la pièce de théâtre scientifique Le procès du robot et dans les ateliers suivants : \n\n\n\n\nMAQUETTES VIRTUELLES : PRÉVISION ET URBANISME 2.0\, avec Justine Basselin et Guillaume Coiffier (Pixel).\nDémonstrations et maquettes 3D sur la reconstruction de modèles 3D de villes à partir d’acquisitions aériennes.\n\n\n\n\nAPPRIVOISE TON ROBOT\, avec Alexis Scheuer (Larsen)\nVenez expérimenter et programmer facilement un robot à deux roues.\nL’INFORMATIQUE\, C’EST LUDIQUE !\, avec Marie Duflot-Kremer (Mosel-Veridis)\nAtelier d’initiation aux notions basiques de l’informatique par des activités ludiques… sans utiliser d’ordinateur.\n\n\n\n\n\n\n\n\nDES BONBONS POUR COMPRENDRE LES PROTOCOLES DE SÉCURITÉ\, avec Elise Klein\, Maïwenn Racouchot et Quentin Yang.\nAtelier débranché pour simuler et expliquer au public le fonctionnement et les propriétés des protocoles de sécurité.\n\nPour voir le programme complet\, rendez-vous sur le site de la Faculté des Sciences et Technologies !
URL:https://www.loria.fr/event/fete-de-la-science-le-loria-au-village-des-sciences-de-la-fst/
LOCATION:Faculté des Sciences et Technologies\, Campus Aiguillettes\, Vandœuvre-lès-Nancy\, 54506\, France
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20221015T154500
DTEND;TZID=Europe/Paris:20221015T173000
DTSTAMP:20221010T183200Z
CREATED:20220505T162939Z
LAST-MODIFIED:20221010T183200Z
UID:16118-1665848700-1665855000@www.loria.fr
SUMMARY:Le procès du robot : une pièce de théâtre scientifique hors norme !
DESCRIPTION:[Dans un futur proche… ] L’agence La Cigogne est une entreprise de livraison qui dispose d’une flotte de 60 drones livreurs… L’un d’eux s’autonomise et se met à livrer selon ses propres critères. Fiction ou scénario possible ? Robotique\, protection des données\, éthique… Participez au procès du robot et débattez avec des experts sur les enjeux de l’intelligence artificielle.  \n? Entrée libre. À partir de12 ans. \n? Inscription obligatoire sur ce lien \nSynopsis : \nObjets connectés\, drones\, robots intelligents\, applications mobiles\, voitures autonomes… l’intelligence artificielle et la robotique nous entourent et font partie de notre quotidien. Mais jusqu’où peuvent aller ces nouvelles technologies ? Quelles relations l’être humain entretient-il avec les robots ? Quels défis reste-t-il à relever pour l’intelligence artificielle ?  \nRegards croisés entre une juriste\, un chercheur spécialiste de la robotique et de l’apprentissage par renforcement et un enseignant-chercheur en humanités numériques. Ils seront accompagnés d’une troupe de théâtre pour nous aider à déjouer les idées reçues. \nIntervenants : \n\nAline Wagner\, juriste Inria\nAlain Dutech\, chercheur Inria au LORIA\nSamuel Nowakowski\, maître de conférences Université de Lorraine\, LORIA\nComédiens de la Compagnie « Crache-Texte »\n\nÉvénement organisé par Inria et le Loria (CNRS\, Inria\, Université de Lorraine)\, en partenariat avec la Faculté des Sciences et Technologies et la compagnie Crache Texte\, dans le cadre de la Fête de la science 2022.
URL:https://www.loria.fr/event/le-proces-du-robot-une-piece-de-theatre-scientifique-hors-norme/
LOCATION:Faculté des Sciences et Technologies\, Campus Aiguillettes\, Vandœuvre-lès-Nancy\, 54506\, France
CATEGORIES:Manifestation
ATTACH;FMTTYPE=image/png:https://www.loria.fr/wp-content/uploads/2022_10_15-Procès-du-robot_carré-RS.png
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20221018
DTEND;VALUE=DATE:20221019
DTSTAMP:20221010T094310Z
CREATED:20221005T143131Z
LAST-MODIFIED:20221010T094310Z
UID:17061-1666051200-1666137599@www.loria.fr
SUMMARY:CISPA - LORIA seminar
DESCRIPTION:The 5th CISPA-LORIA workshop will take place on 18th of October 2022 from 9:30 at CISPA in Sarrebrücken\, Germany. For this time\, the topic of quantum cryptography will be in the spotlight\, complemented by a talk about fuzzing. \nA day of exchange with presentations of researchers from CISPA and LORIA and brainstorming and coffee moments to find joint topics and to make possible collaborations. \nProgram: \n09:30 – 10:00: Welcome \n10:00 – 11:30: Sebastian Schinzel (Distinguished Lecture Series)\, Münster \n11:30 – 11:45: Coffee Break \n11:45 – 12:30: Giulio Malavolta\, Max Planck Institute for Security and Privacy\, Bochum \n12:30 – 13:30: Lunch Time \n13:30 – 14:15: Dominic Steinhöfel\, CISPA : “Input Invariants” \n14:15 – 15:00: Xavier Bonnetain\, CR Inria\, LORIA – “Quantum period finding against symmetric primitives” \n15:00 – 15:15: Coffee Time \n15:15 – 16:00: Rémi Badonnel\, Professeur\, LORIA – “Automating Security Management for the Cyber-Space” \n16:00 – 16:45: Marine Minier\, Professor LORIA – “Differential analysis of a cipher using Constraint Programming” \n16:45 – 17:00: Conclusion by Antoine Joux and Marine Minier
URL:https://www.loria.fr/event/cispa-loria-seminar-2/
LOCATION:CISPA\, Sarrebruck\, Sarrebruck\, Allemagne
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20221020T140000
DTEND;TZID=Europe/Paris:20221020T170000
DTSTAMP:20221014T072047Z
CREATED:20221014T072047Z
LAST-MODIFIED:20221014T072047Z
UID:17094-1666274400-1666285200@www.loria.fr
SUMMARY:PhD defense: Anna Liednikova (Synalp)
DESCRIPTION:Anna Liednikova (Synalp team) will defend her thesis on Thursday\, October 20th at 2 pm in room C005.\nHer thesis is entitled Human-Machine Dialogue in the Medical Field. Using Dialogue to Collect Important Patient Information.\n\nJury composition\n\n– Reviewers :\nAnne Vilnat\, Professor\, Université Paris-Saclay\, France\nSandra Bringay\, Professor\, Université Paul-Valéry Montpellier 3\, France\n– Examiners :\nYannick Toussaint\, Professor\, Université de Lorraine\, France\n– Thesis Director :\nClaire Gardent\, Research Director\, CNRS\, LORIA\, France\n– Invited :\nPhilippe Jolivet\, CEO et co-founder d’ALIAE\, France\n\nAbstract:\n\nHealthcare dialogue systems are developed to automate and simplify routine tasks such as collecting patient information or making an appointment. Often\, these models are trained to mimic doctor-patient interaction as their constant availability is a key feature for patients\, in particular with chronic conditions. Chronic patients regularly visit their doctor and are asked to repeatedly fill in standardized questionnaires\, which may trigger repetitive\, incorrect input. In collaboration with the ALIAE company\, we focus on developing novel dialogue models which can maintain a conversation with the patient while collecting both specific answers to a set of pre-defined questions and serendipitous information about the patient condition that we conjecture\, may be useful for the patient treatment. Specifically\, we propose a dialogue system and automatic questionnaire filling pipeline that should complement existing routine between doctors and patients.\n    \nThis thesis makes three main contributions. We first propose an approach to flexibly guide the user through a pre-defined medical decision tree using naturally written user input. This allows the health-bot to collect  answers to a set of pre-defined questions. To improve user engagement\, increase the probability of all  required medical topics being addressed and allow for further information about the patient condition to be collected\, we then  extend this initial model  by  integrating additional bots designed to handle health-related follow-up questions and maintain small talk. Finally\, we introduce novel zero-shot Question Answering models and pre-processing techniques so that standard\, clinical questionnaires can be automatically filled in based on the content of collected human-bot dialogues.
URL:https://www.loria.fr/event/phd-defense-anna-liednikova-synalp/
LOCATION:C005
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20221022T140000
DTEND;TZID=Europe/Paris:20221022T170000
DTSTAMP:20221020T125310Z
CREATED:20221020T125310Z
LAST-MODIFIED:20221020T125310Z
UID:17105-1666447200-1666458000@www.loria.fr
SUMMARY:Atelier Turing Tumble à la Ludothèque de Nancy
DESCRIPTION:Rendez-vous à la Ludothèque de Nancy le samedi 22 octobre de 14 h à 17 h pour un atelier Turing Tumble. \nEt si pour apprendre à programmer\, il suffisait d’aimer jouer aux billes? Résolvez des défis et regardez votre « ordinateur » s’animer pour  exécuter vos programmes. \nAnimation à partir de 8 ans\, présentée par Sophie Tourret\, chercheuse Inria et Marie Duflot-Kremer\, enseignante-chercheuse Université de Lorraine au Loria (CNRS\, Inria\, Université de Lorraine). \nInfos pratiques : \n\nLudothèque Saint-Nicolas\nCentre commercial Saint-Sébastien de Nancy\, 1er étage.\nEntrée libre.
URL:https://www.loria.fr/event/atelier-turing-tumble-a-la-ludotheque-de-nancy/
LOCATION:Ludothèque Saint Nicolas\, Nancy
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20221027T150000
DTEND;TZID=Europe/Paris:20221027T170000
DTSTAMP:20221004T063701Z
CREATED:20221004T063701Z
LAST-MODIFIED:20221004T063701Z
UID:17046-1666882800-1666890000@www.loria.fr
SUMMARY:Department 4 seminar: Mario Giulianelli
DESCRIPTION:Next Department 4 seminar will take place on Thursday\, 27th October at 3 pm in room A008. \nDate: Thursday\, 27th October 2022 at 15:00\nPlace: LORIA\, room A008\nSpeaker: Mario Giulianelli\, University of Amsterdam \nTitle: An information-theoretic framework for grounded dialogue modelling \nAbstract: What are the decision making processes by which humans choose\nwords to achieve goals in their environment? Can we replicate them in a\ncomputer system? These are the core questions of grounded dialogue\nmodelling\, the study of interactive language use in context. We will\nstart by looking at a few examples of grounded\, goal-oriented dialogues.\nThen we will present a formal framework that incorporates fundamental\nnotions of linguistic interaction — such as goals\, costs\, utility\, and\ncontext — into an information theoretic model of communication. Using\nvisually grounded referential dialogues as a case study\, we will show\nhow these notions can be modelled with state-of-the-art computational\ntechniques\, and how they explain human strategies of language production\nin terms of communicative efficiency and effectiveness. We will conclude\nby discussing the impact of our framework on language technologies\,\nfocusing in particular on the evaluation and development of natural\nlanguage generation systems.
URL:https://www.loria.fr/event/department-4-seminar-mario-giulianelli/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20221102T133000
DTEND;TZID=Europe/Paris:20221102T143000
DTSTAMP:20221021T094035Z
CREATED:20221021T094035Z
LAST-MODIFIED:20221021T094035Z
UID:17109-1667395800-1667399400@www.loria.fr
SUMMARY:Colloquium du Loria - Ilaria Tiddi
DESCRIPTION:Next Colloquium Loria will take place on Wednesday\, November 2nd at 1:30 pm in the amphitheater.\n\nWe will have the pleasure to welcome Ilaria Tiddi\, Assistant Professor in Hybrid Intelligence at the Knowledge in AI (KAI) group of the Vrije Universiteit of Amsterdam\, with a presentation (in English) entitled « Hybrid Intelligence: vision\, challenges and future directions ». \n\n\nAbstract: Hybrid Intelligence is an emerging field of research that combines human and artificial intelligent systems to create a more collaborative\, interactive\, and holistic notion of intelligence. In Hybrid Intelligence\, the emphasis is on adaptive\, collaborative\, responsible\, interactive and human-centered intelligent systems\, that assist us\, leverage our strengths and compensate for human weaknesses.  This new field of study is being driven by rapid advances in Artificial Intelligence (AI)\, but it fundamentally necessitates collaboration and interaction with many other fields investigating human-AI interactions. In this talk\, I will present the Hybrid Intelligence\, its vision\, current developments and challenges for future directions.\n\n\nBio: Ilaria Tiddi is an Assistant Professor in Hybrid Intelligence at the Knowledge in AI (KAI) group of the Vrije Universiteit of Amsterdam (NL). Her research focuses on creating systems that generate complex narratives through a combination of machine learning\, semantic technologies\, open data and cognitive theories\, mostly applied in e-Science and robotics scenarios. She is Editor-in-Chief of the CEUR-WS publication series and Program Chair of the next Hybrid-Human Artificial Intelligence conference (HHAI2023). Since 2014\, she has organized a number of workshop series (Recoding Black Mirror\, Application of Semantic Web Technologies in Robotics\, Linked Data 4 Knowledge Discovery) and was OC member of the major venues in the KR field (ISWC/ESWC\, WWW\, CIKM).\n\n\n\n\nPeople from outside the laboratory must register by sending an email to marie.baron (at) loria.fr before October 31st.
URL:https://www.loria.fr/event/colloquium-du-loria-ilaria-tiddi/
LOCATION:Amphithéâtre du Loria
CATEGORIES:Colloquium Loria
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20221102T160000
DTEND;TZID=Europe/Paris:20221102T180000
DTSTAMP:20221024T084448Z
CREATED:20221024T084448Z
LAST-MODIFIED:20221024T084448Z
UID:17120-1667404800-1667412000@www.loria.fr
SUMMARY:Projection-débat : des machines intelligentes aux machines pensantes
DESCRIPTION:La projection-débat “Des machines intelligentes aux machines pensantes” sera présentée lors de la manifestation « Robots » organisée au Féru des Sciences à Jarville (54). \nRetrouvez Jessica Colombel\, doctorante en robotique (équipe Larsen\, Inria – Loria) et Nicolas Dupuy (Université de Lorraine)\, pour la projection débat “Des machines intelligentes aux machines pensantes” le mercredi 2 novembre de 16 h à 18 h. \nIntelligence artificielle\, robots… des mots qui ont aujourd’hui une forte résonance auprès d’un public de plus en plus connecté. Souvent rêvée\, parfois crainte\, l’interface humain-machine est un vaste sujet de recherche tant d’un point de vue scientifique que sociologique et philosophique. Cette interaction entre l’humain et la machine a fortement évolué au cours de ces dernières décennies pour maintenant entrer dans notre quotidien. À travers la (re)découverte de films emblématiques de la science-fiction des années 50 à aujourd’hui\, nous vous proposons une approche cinématographique du lien entre l’Homme et les machines (intelligentes) et plus particulièrement les robots. \nPlus d’informations sur l’événement « Robots » sur le site du Féru des Sciences. \nUne animation proposée par Inria & le Loria et labellisée Open du Numérique \nAccès libre et gratuit pour toutes et tous.
URL:https://www.loria.fr/event/projection-debat-des-machines-intelligentes-aux-machines-pensantes-2/
LOCATION:Féru des sciences\, 1 Av. du Général de Gaulle\, 54140 Jarville la Malgrange\, France
CATEGORIES:Manifestation
END:VEVENT
END:VCALENDAR