BEGIN:VCALENDAR VERSION:2.0 PRODID:-//LORIA - ECPv6.17.4.1//NONSGML v1.0//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALNAME:LORIA X-ORIGINAL-URL:https://www.loria.fr X-WR-CALDESC:Évènements pour LORIA REFRESH-INTERVAL;VALUE=DURATION:PT1H X-Robots-Tag:noindex X-PUBLISHED-TTL:PT1H BEGIN:VTIMEZONE TZID:Europe/Paris BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART: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 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;TZID=Europe/Paris:20220428T140000 DTEND;TZID=Europe/Paris:20220428T160000 DTSTAMP:20220506T141529Z CREATED:20220421T152124Z LAST-MODIFIED:20220506T141529Z UID:15912-1651154400-1651161600@www.loria.fr SUMMARY:Les entretiens intelligence artificielle et cyber-sécurité : « Crise de l'expression au public en ligne et responsabilité civile » (Plateformes numériques) DESCRIPTION:Le 1er séminaire du Cycle de séminaires interdisciplinaires 2021-2022 Pôle SJPEG\, Pôle AM2I\, Pôle CLCS s’intitule : \n« Crise de l’expression au public en ligne et responsabilité civile » (Plateformes numériques). \nIl sera donné par Basile DARMOIS\, Docteur en droit privé\, le 28 avril 2022 de 14 h à 16 h au LORIA (C005). \n\nAbstract du cycle de séminaires :\nLes intelligences artificielles et la cyber-sécurité soulèvent des questions mobilisant les méthodes propres à chacune des disciplines\, dans des perspectives qui leurs sont propres. Ces questions sont ainsi propices à l’émergence de projets interdisciplinaires\, sans qu’aucun des chercheurs impliqués ne soit réduit au rôle de prestataire de service. Il convient donc\, par l’échange autour d’un animateur\, de partager ce qui\, dans les intelligences artificielles et la cyber-sécurité\, suscite de véritables sujets de recherche à la croisée de plusieurs disciplines. L’objet de ces séminaires internes à nos laboratoires est de favoriser la présentation\, en termes intelligibles\, par un chercheur d’une discipline des aspects sur lesquels il travaille déjà et ceux sur lesquels il souhaiterait travailler en collaboration avec d’autres chercheurs d’autres disciplines. \nVoici la liste de tous les séminaires de printemps 2022 qui auront lieu au Loria et sur Teams : \n\n28/04 : « Crise de l’expression au public en ligne et responsabilité civile » (Plateformes numériques)\n05/05 : « Traitement automatique des langues : éléments choisis »\n12/05 : « Données de santé et cybersécurité »\n19/05 : « IA et propriété intellectuelle »\n02/06 : « Blockchain et droits fondamentaux »\n09/06 : « Making ML Models fairer through explanations and reinforcement »\n\nVoir toute la programmation. URL:https://www.loria.fr/event/les-entretiens-intelligence-artificielle-et-cyber-securite-1/ LOCATION:C005 CATEGORIES:Séminaire END:VEVENT BEGIN:VEVENT DTSTART;VALUE=DATE:20220428 DTEND;VALUE=DATE:20220429 DTSTAMP:20220413T105910Z CREATED:20220324T100236Z LAST-MODIFIED:20220413T105910Z UID:15475-1651104000-1651190399@www.loria.fr SUMMARY:4th Cispa-Loria workshop - Formal Methods DESCRIPTION:In 2019\, a cooperation between CISPA and LORIA (French Research Center for Cyber Security) started to improve the French-German collaboration in the field of cybersecurity. To strengthen the cross-border exchange\, several interesting virtual workshops between CISPA and LORIA took place already. \nThe 4th Cispa-Loria workshop will take place on 28 April from 9am in the Loria amphitheatre. For this time\, the Formal Methods will be in the spotlight. \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\nProgramme disponible sur ce lien.\nRegistrations via this link until 20th of April 2022.\nLanguage: The whole workshop will take place in English.\nPhD students: Of course this workshop is also addressing PhD students!\nMore about the partnership between CISPA and Loria on this link. URL:https://www.loria.fr/event/4th-cispa-loria-workshop-formal-methods/ LOCATION:Loria CATEGORIES:Séminaire END:VEVENT BEGIN:VEVENT DTSTART;VALUE=DATE:20220427 DTEND;VALUE=DATE:20220428 DTSTAMP:20220406T091633Z CREATED:20220406T090844Z LAST-MODIFIED:20220406T091633Z UID:15601-1651017600-1651103999@www.loria.fr SUMMARY:Journée SNT-NSI 2022 DESCRIPTION:La Journée SNT-NSI-2022 aura lieu mercredi 27 avril 2022 au Loria. Interventions\, exposés\, conférences ponctueront cette journée ainsi que des ateliers\, visant à approfondir certaines thématiques liées au numérique. \nMerci de vous inscrire ICI\, si possible avant le 15 avril 2022. \nProgramme \n8h45-9h00 : Accueil et présentation de la journée \n9h00-10h00 :  »L’intelligence artificielle : un outil de tous les jours qui doit devenir meilleur »\, par Mathieu d’Aquin\, Professeur d’informatique à l’Université de Lorraine. \n10h00-10h25 : « Présentation du projet ‘1 scientifique – 1 classe : Chiche’ « \, par Marie Duflot-Kremer\, maîtresse de conférences en informatique à l’Université de Lorraine\, Erwan Kerrien\, chercheur Inria\, et Véronique Poirel\, Chargée de médiation scientifique\, Inria. \n10h25-10h55 : Pause café \n10h55-12h55 : Ateliers – Session 1 \n13h-14h : Pause déjeuner \n14h-15h45 : Ateliers – Session 2 \n15h45-16h15 : Pause café \n16h15-16h35 : « Sciences Numériques et Technologie (SNT) et Numérique et Sciences Informatiques (NSI)\, point sur l’académie de Nancy-Metz »\, par Mohammed Hayouni\, IPR. \n16h35-17h30 : ‘Table ronde sur les formations informatiques postbac à l’Université de Lorraine et sur les pré-requis attendus à la sortie de terminale\, présence d’enseignants du BUT informatique et MMI de Nancy-Charlemagne\, de la licence informatique et double licence de la FST\, de la licence MIASHS de l’IDMC. \n17h30 : Fin de la journée \n\nPendant les pauses\, présentation du jeu immersif Inside\, développé sur Oculus par Inria :\nPlongé dans un ordinateur (une tour de gamer) à l’aide d’un casque Oculus Quest2\, le joueur doit manipuler des mémoires qui contiennent chacune une information relative à un inventeur ou une invention. Objectif du jeu : réussir à associer chaque inventeur à son invention et les sauvegarder dans le disque dur avant l’extinction du PC\, malgré quelques virus qui perturbent le joueur durant sa découverte des mémoires et ses tentatives d’association.\nDescriptifs des ateliers \nAtelier 1 : Blockly : prise en main de l’API – David LANGLOIS – session 1 \n\nBlockly est un ensemble de fonctionnalités javascript (API) permettant de manipuler des blocs graphiques pour rédiger des algorithmes. Les algorithmes peuvent alors être exécutés pour modifier un « monde » (par exemple: dépacer un robot dans un labyrinthe). Plusieurs applications web basées sur blockly existent (commehttps://blockly-games.appspot.com/turtle?lang=fr)\, qui permettent de découvrir les bases de l’algorithmique en résolvant des défis. L’atelier consiste à découvrir l’API afin de créer ses propres applications. Au cours de l’atelier\, le lien avec les programmes informatiques du lycée sera fait. Notamment\, on s’intéressera à l’articulation entre l’univers fermé des blocs graphiques de scratch\, et celui ouvert de blockly. On verra en quoi derrière blockly se cache un langage de programmation écrit\, du XML\, du javascript. Blockly peut-il être utilisé comme un retour aux sources (le scratch du collège) avec une prise de recul suite à la formation du lycée? L’atelier est destiné à des participants maîtrisant les bases de javascript.\nAtelier 2 : SNT : robot Micro-Bit et activités Python\, échanges autour de la progression – Jérome METZLER – session 1 et/ou 2 \n\nL’atelier devrait être présenté en trois grandes parties. Une première partie\, axée sur le thème « Informatique embarquée et objets connectés »\, avec assemblage puis programmation d’un petit robot imprimé en 3D\, construit autour d’un Micro-Bit et piloté lui-même par un autre Micro-Bit.\nUne deuxième partie\, à la thématique plus large et ouverte sur les six autres thèmes de l’enseignement de seconde\, avec présentation de six activités relativement simples de programmation Python à faire avec les élèves en classe.\nUne troisième partie\, avec une ouverture plus générale sur l’ensemble du programme\, où une idée de progression réalisée sera présentée\, et surtout où les échanges et les discussions devraient permettre de pouvoir améliorer les progressions de chacun d’entre nous.\nAtelier 3 : Moteurs physiques\, jeux vidéos et simulateurs de comportement – Vincent THOMAS – session 1 (ou 2) \n\n\nDe nombreuses applications numériques utilisent des moteurs physiques que ce soit pour avoir des réactions réalistes dans des jeux (déplacements dans Super Mario\, simulation de l’inertie du joueur dans les FPS\, …)\, pour proposer des simulateurs (pédagogiques comme algodoo ou professionnels) ou pour aider le développement d’animations 3D (moteur dans Blender\, …). Cet atelier cherchera à faire le lien entre la physique et l’informatique. (1) Dans un premier temps\, nous écrirons ensemble un moteur physique très simple constitué de quelques instructions (en Python avec la librairie pygame) et basé sur la mécanique du point (système masse-ressort). (2) Nous verrons ensuite comment l’étendre pour en faire un moteur de jeu vidéo. (3) Puis\, nous tirerons parti des lois de la physique pour aborder le domaine de l’Intelligence artificielle et simuler des comportements de foule inspirés de la biologie (boids et flocking) et utilisés dans de nombreux domaines (Dimensionnement de bâtiments\, Effets spéciaux\, …). \n\n\nLiens avec NSI :\n\nProjet étudiant: création de jeux vidéos temps réel (affichage\, lois d’évolution\, …)\, simulation de phénomènes physiques de première/terminale (chute des corps\, système ressorts\, …).\nTerminale: modélisation orientée objet (mais pas central à l’atelier).\n\nPage web de l’atelier : https://members.loria.fr/VThomas/mediation/ISN_moteur_2017/ (on reprendra ces éléments ensemble lors de l’atelier)\nAtelier 4 : Labyrinthe et recherche de chemins – Vincent THOMAS – session 2 (ou 1) \n\nLes labyrinthes sont intéressants à étudier car ils constituent des cas typiques de problème de prise de décision dans lesquels un agent intelligent doit savoir raisonner sur le long terme: en effet\, pour décider quel couloir emprunter\, il faut déjà savoir ce qu’il sera possible de faire au bout des différents couloirs.\nAu cours de cet atelier\, on programmera ensemble (en python) l’algorithme de Lee\, un algorithme très simple permettant de construire le chemin le plus court dans un labyrinthe. En fonction du temps et des envies\, on pourra regarder les principes de l’algorithme classique A* qui permet d’améliorer grandement la recherche en utilisant une connaissance du problème et/ou étendre ces algorithmes pour construire des agents intelligents capable de raisonner sur le long terme dans des contextes divers (jeux\, robots\, …).\nLien avec NSI :\n\nProjet étudiant: l’IA dans les jeux\, planification et recherche de chemin.\nPremière: représentation des données\, parcours de tableaux\, algorithme glouton.\nTerminale: structures de données (graphe et pile)\, algorithmique (récursivité\, programmation dynamique).\n\nPage web de l’atelier : https://members.loria.fr/VThomas/mediation/ISN_2018_labyrinthe/ (on reprendra ces éléments ensemble lors de l’atelier)\nAtelier 5 : Programmer en python côté serveur\, un outil au service du programme. – Manuel BRICARD – session 1 et/ou 2 \n\nL’atelier n’est pas la répétition de celui proposé en 2019. Cette année j’essaierai de montrer\, à travers des exemples\, comment il est possible d’utiliser la programmation côté serveur comme un fil rouge permettant d’aborder diverses parties du programme de 1ère NSI\, généralement sous forme de projets/DM.\nAtelier 6 : Images statistiques. – Erwan KERRIEN – session 1 et/ou 2 \n\nL’image est un objet extrêmement difficile à définir et plusieurs paradigmes existent pour en aborder le traitement et l’analyse. L’un d’entre eux est de considérer l’ensemble des pixels d’une image comme des échantillons aléatoires qu’on peut alors chercher à décrire par les statistiques.\nL’objectif premier de l’atelier est une introduction à l’analyse et au traitement d’images sous ce point de vue.\nL’atelier est mené en se basant sur un notebook python. Un premier objectif secondaire est de présenter un certain nombre de modules python et de fonctions permettant de faire des calculs statistiques.\nLes résultats sont affichés\, parfois avec une possibilité d’interaction vie des objets graphiques. Un deuxième objectif secondaire est donc de fournir une introduction à ces fonctionnalités\, sur la base d’exemples permettant de débuter sur de bonnes bases l’écriture de ce genre de cellules.\nLes supports de l’atelier\, à télécharger\, ainsi que les prérequis à installer sont disponibles sur https://gitlab.com/ekerrien/nsi2022\nAtelier 7 : Sensibiliser ses élèves aux données personnelles – Yannick PARMENTIER – session 1 et/ou 2 \n\nDans cet atelier\, nous proposons de recourir à un jeu de rôles pour sensibiliser les élèves au concept de données personnelles\, afin qu’il.elle.s en saisissent les enjeux (utilisations et besoin de protection notamment). Pour cela\, nous utiliserons les ressources proposées par l’association l’Arbre Des Connaissances\, notamment leur activité en lien avec le Règlement Général de Protection des Données de l’Union Européenne. Si le temps le permet\, nous poursuivrons sur un jeu en ligne permettant d’illustrer les « fuites » de données personnelles. Pour finir\, nous proposerons une activité de programmation pouvant être utilisée comme support à la définition du concept de donnée personnelle\, et basée sur les intégrammes. Le contenu de cet atelier pourrait être exploité dans le cadre de l’enseignement sur les données structurées et leur traitement en SNT.\nAtelier 8 : Dessin vectoriel et Programmation Web – Laurent DUPONT – session 1 ou/et 2 \n\n\nLes images utilisées en informatique\, notamment sur le web\, sont essentiellement de deux types\, l’un dit « bitmap »\, l’autre dit « vectoriel ». Les deux se caractérisent par la manière dont l’information est stockée. Pour le premier\, la couleur (et implicitement la position) de chaque point de l’image est stocké ; pour le deuxième\, ce sont les formes géométriques dessinées dans l’image (et leur couleur) qui sont stockées. Le premier type est très adapté pour les photographies et se décline sous de nombreux formats dont les plus connus sont jpeg\, png\, bmp. Le deuxième type est lui adapté aux logos et aux images « similaires » ; il se décline notamment sous les formats ai\, svg\, pdf. Dans la programmation web actuelle\, le format vectoriel est de plus en plus utilisé pour ses propriétés de taille (réduite) et de mise à l’échelle (zoom sans effet de pixelisation). De plus\, l’animation de telles images\, la gestion des évènements associés\, peut se faire aisément en javascript en manipulant des formes géométriques\, ou directement en CSS puisque le fichier svg s’intègre au DOM (Document Object Model) contenant la structure de la page HTML. L’exploitation des fichiers svg permettra d’illustrer la structure d’arbre (format d’enregistrement des données – Terminale)\, la programmation web (2e -1ere) en abordant les interactions entre html\, css\, javascript et svg. Cela pourra être l’occasion de proposer un projet exploitant ces différents aspects du programme. \n\n\nPrérequis : quelques connaissances en html/css/javascript\nAtelier 9 : Les mots de Maupassant – Abdellatif KBIDA – session 1 et/ou 2 \n\nDans le cadre de cet atelier nous évoquerons un domaine particulier de l’IA : le machine learning ou apprentissage automatique. À partir d’un corpus de textes de Maupassant\, l’objectif est d’écrire un script Python capable de produire de courtes phrases « intelligibles » à la « manière » de Maupassant. Lors de la première phase d’apprentissage non-supervisé des items des programmes de SNT et NSI seront exploités tels que :\n\nStructure de données (en particulier les dictionnaires)\nRecherche dans des données structurées ou non et mise en forme des informations produites\nImportation d’une table depuis un fichier csv\, json …\n\nLors de la deuxième phase\, celle d’un apprentissage supervisé\, la mise en place d’une interface homme machine web développée en Python/html/css sera présentée. Il est possible d’accompagner ce projet de recherches\, d’exposés et de débat autour de l’intelligence artificielle afin de démystifier de fausses idées que pourraient avoir les élèves sur ce sujet.\nCe projet a été en partie expérimenté et développé lors de la dernière session de TPE 2018/2019.\nAtelier 10 : Dessine moi des pixels ! – Sylvain CONTASSOT – session 2 \n\nNous décrirons les deux grands types d’images numériques et leurs propriétés mathématiques ainsi que les représentations des couleurs. Ensuite\, nous nous pencherons sur les algorithmes pour tracer des objets géométriques simples tels que des rectangles pleins\, des segments quelconques\, des disques et des cercles. Enfin\, si le temps nous le permet\, nous aborderons la notion de lissage ou d’anti-crénelage (anti-aliasing). Cet atelier est en lien avec la partie algorithmique et projet du programme de NSI.\nAtelier 11 : IA et lapins … – Maxime AMBLARD – session 2 \n\n\nL’informatique est loin de se faire uniquement avec des ordinateurs. Cette activité inspirée de problèmes d’IA est basée sur des lapins\, des formules magiques et des carottes. Elle met en avant les notions de grammaires formelles et de systèmes de réécriture. Nous montrerons que les lapins sont le chainon manquant entre informatique et linguistique ! Cette mise en situation montre comment des algorithmes dynamiques permettent de reconnaître des phrases du français. \n\n\nLien avec le programme de NSI :\n\nhistoire de l’informatique : liens entre informatique et langage\nstructure de données : structure d’arbre\nalgorithme dynamique\nthématique pouvant être utilisée pour les projets vers l’interdisciplinarité (français).\n\nAtelier 12 : Finir chaque thème de SNT par une énigme. – Christophe MAURY – session 2 \n\nA la fin de chaque thème\, mobiliser les connaissances\, les techniques et éventuellement des bouts de codes afin de résoudre une énigme. Construire une séquence d’une heure trente\, pouvant également servir à l’évaluation\, avec une pointe de recherche\, une touche d’escape-game et l’encodage et le traitement des données.\nL’atelier proposera de traiter deux énigmes :\n\nUne sur le thème « Données structurées »\nUne sur le thème « Photographie numérique »\n\nMais permettra un espace d’échange où seront proposées des pistes pour les autres thèmes.\nAtelier 13 : Résoudre une enquête de police avec des bases de données – Marie DUFLOT-KREMER et Florian DELCONTE – session 1 et/ou 2 \n\nCet atelier illustrera\, à l’aide de deux activités\, l’une branchée et l’autre débranchée\, l’intérêt et le fonctionnement des bases de données. Elles sont partout et permettent\, en structurant les données\, d’y accéder de manière rapide et efficace. Dans un premier temps nous pourrons toucher des bases de données et les manipuler pour les interroger. Nous verrons ensuite comment présenter sur un exemple ludique les bases de données et un langage de requêtes.\nCet atelier est en lien avec le thème « les données structurées et leur traitement » de SNT\nAtelier 14 : Turing Tumble – Phuc NGO et Guilhem GAMARD – session 2 \n\nL’objectif de cet atelier est de présenter un jeu mécanique à visée pédagogique (https://www.turingtumble.com/). Il s’agit d’un jeu de construction simulant un ordinateur mécanique alimenté par des billes pour résoudre des énigmes logiques. De nombreuses activités en lien avec des concepts de la programmation et la notion de machine de Turing ont été conçues et sont disponibles dans un manuel en ligne. Explorer ensemble quelques-unes de ces activités sera l’occasion d’échanger sur les possibilités de mise en œuvre en classe et les liens avec les programmes de SNT et NSI.\n  URL:https://www.loria.fr/event/idees-journee-snt-nsi-2022/ LOCATION:Loria CATEGORIES:Séminaire END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20220411T170000 DTEND;TZID=Europe/Paris:20220411T190000 DTSTAMP:20220406T151549Z CREATED:20220406T151532Z LAST-MODIFIED:20220406T151549Z UID:15605-1649696400-1649703600@www.loria.fr SUMMARY:Philosophical aspects of computer sciences : Ethics\, Norms & Responsibility DESCRIPTION:LUE OLKi Project presents it’s 4th seminar about Philosophical aspects of computer sciences.\nKaroline Reinhardt\, researcher at the Eberhard Karls Universität Tübingen\, Internationales Zentrum für Ethik/IZEW\, will give a talk entitled « Dimensions of trust in AI Ethics« .\n\n\nThe event will take place online.\nBoth the lecture and the discussion will be in English.\nTo contact the organisation team\, please fill this form.\n\n\n\nAbstract\n\nDue to the extensive progress of research in Artificial Intelligence  (AI) as well as its deployment and application\, the public debate on  AI systems has also gained momentum in recent years. With the  publication of the Ethics Guidelines for Trustworthy AI (2019)\,  notions of trust and trustworthiness gained particular attention  within AI ethics-debates: Despite an apparent consensus that AI should  be trustworthy\, it is less clear what trust and trustworthiness entail  in the field of AI. In this paper\, I give a detailed overview on the  notion of trust employed in AI Ethics Guidelines thus far.\nBased on  that\, I assess their overlaps and their omissions from the perspective  of practical philosophy. I argue that\, currently\, AI Ethics tends to  overload the notion of trustworthiness. It thus runs the risk of  becoming a buzzword that cannot be operationalized into a working  concept for AI research. What is needed\, however\, is an approach that  is also informed with findings of the research on trust in other  fields\, for instance\, in social sciences and humanities\, especially in  the field of practical philosophy. In this paper I sketch out which  insights from political philosophy and social philosophy might be  particularly helpful here. The concept of « insitutionalised mistrust »  will play a special role here. URL:https://www.loria.fr/event/philosophical-aspects-of-computer-sciences-ethics-norms-responsibility/ LOCATION:online CATEGORIES:Séminaire END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20220324T140000 DTEND;TZID=Europe/Paris:20220324T190000 DTSTAMP:20220215T150707Z CREATED:20220215T150707Z LAST-MODIFIED:20220215T150707Z UID:15224-1648130400-1648148400@www.loria.fr SUMMARY:Séminaire IA et énergie DESCRIPTION:CentraleSupélec Metz et le Loria organisent un séminaire IA et énergie le 24 mars de 14 heures à 19 heures sur le campus de CentraleSupélec Metz. \nAu programme : séminaire scientifique\, workshop\, afterwork. \nInscriptions via ce lien \nProgramme et informations disponible sur le site ia-energie.loria.fr \n14h – 17h : Séminaire scientifique\nLes activités liées à l’énergie au Loria et à CentraleSupélec\nVincent Chevrier\, Frédéric Pennerath \nL’objectif est de dresser un état des lieux des principales activités en relation avec le thème de l’énergie et de l’IA qui sont conduites au LORIA et sur le campus de Metz de CentraleSupélec. \nL’humain dans la boucle : visualisation et interactivité\nLydia Boudjeloud-Assala \nJe présenterai un bilan de mes travaux de recherche sur les approches coopératives combinant des méthodes interactives de visualisation et des méthodes automatiques de Sélection de variables\, Clustering\, Biclustering\, et de détection d’outlier pour l’extraction de connaissances à partir de données de grande taille et temporelles. Je présenterai différentes possibilités d’impliquer l’utilisateur dans le processus de fouille afin d’améliorer sa confiance et sa compréhension dans les modèles ou résultats obtenus. De nouveaux challenges pour ces méthodes\, qui doivent pouvoir traiter non seulement des quantités de plus en plus importantes de données mais aussi des données qui peuvent évoluer dans le temps\, seront également présentés et discutés. \nMachine learning interactif pour les opérateurs du réseau électrique\nLaure Crochepierre (RTE\, Université de Lorraine) \nL’arrivée progressive de nouvelles activités sur le réseau de transport d’électricité\, en lien avec la croissance du renouvelable et des échanges aux frontières\, laisse aujourd’hui entrevoir des opportunités d’application de l’intelligence artificielle dans la conduite du réseau. Cependant\, ces algorithmes d’IA sont souvent vus comme des “boîtes noires” dont les résultats sont peu interprétables et avec lesquels il est difficile d’interagir. Nos travaux visent à construire une représentation symbolique de l’information\, compréhensible par l’humain et générée par un algorithme capable de prendre en compte de la connaissance physique et de l’expertise métier pour\, in fine\, assister les opérateurs du réseau dans leurs études des contraintes de transit. \nExcès\, mensonges et fiascos de l’IA : de la nécessité d’une IA capable de douter pour ne plus nous tromper\nFrédéric Pennerath \nÉblouie par les prouesses technologiques des modèles neuronaux profonds\, la société place parfois en l’intelligence artificielle des attentes excessives\, au-delà de ce qu’il est possible de faire. Afin de pouvoir séparer le bon grain de l’ivraie\, c’est-à-dire distinguer les applications prometteuses de l’IA de celles plus fantaisistes vouées à l’échec\, cette présentation commencera par rappeler quelques notions simples mais très utiles en statistiques. On réalisera ainsi l’importance de concevoir des IA capables de douter\, c’est-à-dire d’assortir leur prédiction d’un degré de certitude estimé à son plus juste niveau. On présentera de façon non technique une approche scientifique capable d’atteindre cet objectif. Enfin on montrera que la prise en compte des incertitudes\, loin d’être un aveu d’échec\, peut renforcer notre confiance en l’IA\, ouvre la voie à de nouvelles applications et constitue au final une véritable source de valeur pour les entreprises\, en particulier pour le secteur de l’énergie. \nTitre à venir\nAlice Duquenne\, ingénieure-chercheuse en science des données\, EDF R&D \nLe Data Center d’Enseignement : un cluster CPU/GPU pour les étudiants et leurs enseignements\nJérémy Fix \nLa renaissance des algorithmes d’intelligence artificielle\, en particulier des réseaux de neurones profonds en 2010\, est la conséquence de trois facteurs : une meilleure compréhension des algorithmes\, la disponibilité d’une énorme masse de données étiquetées et l’utilisation d’une infrastructure matérielle dédiée efficace. On présentera succinctement l’infrastructure logicielle et matérielle du centre de calcul pour l’enseignement que nous administrons sur le campus de CentraleSupélec permettant un accès très simple pour les étudiants à de puissantes ressources de calcul. \nProjets IA en formation ingénieur : collaborations fructueuses entre recherche et entreprise \nCentraleSupélec est une école d’ingénieurs ayant vocation à travailler étroitement avec le monde de l’entreprise. Les projets inscrits dans le cursus de l’école sont l’occasion de réunir étudiants\, ingénieurs en poste et enseignants-chercheurs pour résoudre un problème industriel. Cette présentation illustrera à travers quelques exemples de projet l’intérêt de ce type de collaboration ainsi que les compétences du corps enseignant dans le domaine de l’IA. \nIntervenants : \n\nMichel Barret – Réseaux d’énergie intelligents\nFrédéric Pennerath – Modélisation prédictive pour la production d’énergie PV.\nHervé Frezza-Buet et Jérémy Fix – NavIA: segmentation sémantique pour la navigation de drones.\nStéphane Rossignol – IA\, traitement du signal et du son\nJoël Legrand – IA et traitement du langage naturel\n\n17h – 18h : Workshop\n18h – 19h : Afterwork URL:https://www.loria.fr/event/seminaire-ia-et-energie/ LOCATION:CentraleSupélec Metz\, 2\, rue Edouard Belin\, Metz\, France CATEGORIES:Séminaire END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20220303T103000 DTEND;TZID=Europe/Paris:20220303T113000 DTSTAMP:20220221T094642Z CREATED:20220221T094642Z LAST-MODIFIED:20220221T094642Z UID:15238-1646303400-1646307000@www.loria.fr SUMMARY:D4 Seminar : Low-resource MT: few-shot learning and historical language normalisation DESCRIPTION:On next D4 Seminar\, Rachel Bawden (Inria Paris) will speak about Low-resource MT: few-shot learning and historical language normalisation. It will take place on hybrid format. \nAbstract\nHuge progress has been seen in machine translation (MT)\, spurred on by advances in neural architectures. However\, challenges still remain. One of the big challenges is dealing with scenarios that\nare low-resource (where there is little parallel data available). In this talk\, I will present several works dealing with low-resource scenarios and efforts to improve translation and translation-like tasks\, including (i) few-shot learning to integrate new vocabulary into MT\, and (ii) experiments for the normalisation of Modern French into contemporary French. URL:https://www.loria.fr/event/d4-seminar-low-resource-mt-few-shot-learning-and-historical-language-normalisation/ LOCATION:A008 CATEGORIES:Séminaire END:VEVENT BEGIN:VEVENT DTSTART;VALUE=DATE:20220107 DTEND;VALUE=DATE:20220108 DTSTAMP:20211214T153329Z CREATED:20211214T153329Z LAST-MODIFIED:20211214T153329Z UID:14593-1641513600-1641599999@www.loria.fr SUMMARY:Journée Scientifique Explor DESCRIPTION:La journée scientifique Explor aura lieu le 7 janvier. \nLe mésocentre EXPLOR est l’outil de calcul mutualisé de l’Université de Lorraine. Il fédère les moyens techniques et humains nécessaires à l’accompagnement de la recherche dans tous les domaines impliquant les besoins en calcul intensif. Ses capacités de stockage importantes lui permettent de répondre à un besoin croissant de traitement massif de données. Cette journée est l’occasion d’illustrer quelques travaux scientifiques impliquant les ressources de calcul d’Explor. C’est également l’occasion de découvrir quelques réalisations scientifiques des mésocentres de la région Grand Est\, i.e. de AlsaCalcul et Romeo. \nProgramme complet et inscriptions sur le site d’Explor URL:https://www.loria.fr/event/journee-scientifique-explor/ CATEGORIES:Séminaire END:VEVENT BEGIN:VEVENT DTSTART;VALUE=DATE:20211213 DTEND;VALUE=DATE:20211214 DTSTAMP:20211206T101436Z CREATED:20211206T101436Z LAST-MODIFIED:20211206T101436Z UID:14558-1639353600-1639439999@www.loria.fr SUMMARY:Department 3 PhD Day DESCRIPTION:The Department 3 PhD Day will take place on Monday\, December 13th in the room C005 of Loria. \nProgram: \n8:30 – 8:55 Welcome coffee and pastries (room A008) \n9:00 – 9:30 Opening session (room C005)\nThomas Lambert (MCF\, joined LORIA in sept. 2021)\nMaking Distributed Applications Communication-Aware \n9:30 – 10:35 session 1 (room C005)\nMohamed Oulaaffart (20’)\nAutomating Security Enhancement for Cloud Services \nAdrien Hemmer (20’)\nPredictive Security Monitoring for Large-Scale Internet-of-Things \nJean-Philippe Eisenbarth (20’)\nEthereum’s Peer-to-Peer Network Monitoring and Sybil Attack prevention \nOmar Anser (5’)\nAutomation of security counter-measures in Mobile-Edge Computing infrastructure \n10:35 – 10:55 coffee break (room A008) \n11:00 – 12:40 session 2 (room C005)\nDebashisha Mishra (20’)\nUAV Cellular Communication for Vertical Industries in 5G and Beyond \nAmalia Macali (20’)\nDesigning exact optimization methods for process synthesis \nPhilippe Graff (20’)\nDevelopment and orchestration of microservices for low latency and secure applications. \nRunbo Su (20’)\nPDTM: Phase-based dynamic Trust Management for Internet of Things \nAlexandre Bourbeillon (20’)\nMeasuring trust in distributed collaborative systems \n12:45 – 14:00 Lunch at the Canteen \n14:00 – 16:10 session 3 (room C005)\nAmaury Saint-Jore (20’)\nMulti-Agent\, Machine / Deep / Continuous Learning and Augmented / Mixed reality for\nnetworked\, collaborative and mobile robots \nPierre-Antoine Rault (20’)\nAccess Control and Security Mecanisms in Distributed Systems with no Central Authority \nClelie Amiot (20’)\nTrustworthy cognitive assistants for large-scale collaboration \nMatthieu Nicolas (20’)\nEfficient (re)naming in Conflict-free Replicated Data Types (CRDTs) \nMaxime Samson (20’)\nAssister la conception et la configuration de réseaux TSN par une approche basée sur les\nmodèles \nImene Zaidi (co-supervised UL-UHA) (20’)\nGestion optimisée de la charge de flotte de véhicules électriques \nEnzo d’Andréa (5’)\nReusable and Adaptable Machine Learning for Network Security \nDiego Vega (5’)\nCombining co-simulation with optimization and learning\n___________________________________________________________________________\nAppendix: Abstracts of the presentations \nSession 1\nMohamed OULAAFFART\nAutomating Security Enhancement for Cloud Services\nAbstract: The main objectives of this PhD thesis are to propose\, design and evaluate automated\nsecurity strategies for protecting cloud services\, with a particular focus on challenges related to\nthe migration of resources composing these services. The first part of the work will be dedicated\nto the elaboration of a state-of-the-art\, taking into account the analysis of existing orchestration\nlanguages\, such as the TOSCA language (Topology and Orchestration Specification for Cloud\nApplications)\, for building and implementing elaborated cloud services\, as well as current\nsecurity mechanisms that have been proposed so far for protecting cloud elementary resources.\nThe second part will consist in proposing a security management framework\, as well as\nautomation algorithms to support the security enhancement of cloud services\, during the\nmigration of resources. This enhancement will potentially rely on both endogeneous security\nmechanisms through the hardening of cloud resources\, as well exogeneous security\nmechanisms based on the activation of chains of security functions. The third part will be\nfocused on the development of a proof-of-concept prototype\, and the performance evaluation\nof the proposed security automation strategies. The analyzed use cases will consider the specific\nrequirements expressed by the H2020 Concordia project\, and will give a specific interest to\nvulnerability management issues.\nkey words : Security\, Enhancement\, Composite Services\, Orchestration\, Cloud\,\nAutomation\, Migration. \nAdrien HEMMER\nPredictive Security Monitoring for Large-Scale Internet-of-Things\nAbstract: Recently\, Internet-of-Things has grown in importance in multiple domain such as\ndomestic with smart-homes or industrial with the industry 4.0. It is complex to manage IoT\ninfrastructure because each of its device can be really different\, in addition they lack power and\ncompute efficiency. Moreover\, to add in complexity\, the devices can be made by several third\nparties that do not use the same protocols for collecting or sending information. As a result\,\nsuch a system is too complex to be absolutely secured\, and is naturally a source of potential\nthreats.\nThe objective of the thesis\, in the context of the European H2020 project SecureIoT\, to define\nand evaluate a predictive security framework for IoT for devices from multiple domains. The\nchallenging goal is to observe evidences of future attacks or misuse by collecting and\nintegrating heterogeneous data. In the new IoT architecture under construction\, a security\nengine has to be designed for the predictive analysis. This engine has to perform a security\nassessment\, using collected data\, and support decision on counter-measures. However\, the\ngathered data have to be meaningful in order to detect abnormal behaviours of systems.\nFurthermore\, the monitoring and collection process have to be scalable to handle complex realtime\necosystem. \nJean-Philippe EISENBARTH\nEthereum’s Peer-to-Peer Network Monitoring and Sybil Attack prevention\nAbstract: Public blockchains\, like Ethereum\, rely on an underlying peer-to-peer (P2P) network\nto disseminate transactions and blocks between nodes. With the rise of blockchain applications\nand cryptocurrencies values\, they have become critical infrastructures which still lack\ncomprehensive studies. In this paper\, we propose to investigate the reliability of the Ethereum\nP2P network. We developed our own dependable crawler to collect information about the peers\ncomposing the network over one month. Our data analysis regarding the size of the network\,\nthe geographical distribution of peers and the churn rate shows good network properties.\nHowever\, in a second time\, we investigate suspicious patterns that can denote a Sybil attack.\nWe find that many nodes hold numerous identities in the network and could become a threat.\nTo mitigate future Sybil attacks\, we propose an architecture to detect suspicious nodes and\nrevoke them. It is based on a central monitoring system\, a smart contract to propagate the\ninformation and an external revocation tool to help clients remove their connections to\nsuspicious peers. Our experiment on Ethereum’s Test network proved that our solution is\neffective. \nOmar ANSER\nAutomation of security counter-measures in Mobile- Edge Computing infrastructure\nAbstract:Nowadays\, cybersecurity is a major concern everywhere with the growth of co\nnnected devices that are beyond common computers. People are connected using their\nsmartphone but also with Internet-of-Things (IoT) devices. Everything tends to be connected\nin buildings\, cars\, factories\, cities\, airplanes… with all the risks that induces.\nTo circumvent these problems\, decades of research and development have led to build new\ntechniques and tools to fight back to the attacks over Internet. Nonetheless\, the number of\nattacks and their magnitude still grow.\nAs a result\, guaranteeing a high level of security is very challenging. New methods to\ncounteract against new threats and attacks will be proposed. However\, a practical problem is to\nproperly use the arsenal of all these techniques: What to use? For which purposes? When? How\nto configure it? What should be given as inputs… Hence\, a large set of questions remain even\nif you assume that you have all possible techniques at your disposal. Unfortunately security is\nstill mostly manual or only assisted. Developing an autopilot for managing the security of\nconnected systems is an ultimate goal but highly challenging.\nThis thesis aims at proposing a framework and techniques to empower the automation of\nnetwork security assuming a highly dynamic environment\, in particular Mobile-Edge\nComputing infrastructure and 5G. \nSession 2\nDebashisha MISHRA\nUAV Cellular Communication for Vertical Industries in 5G and Beyond\nAbstract: UAV and Cellular technology are two mutual beneficial ecosystems. In this\npresentation\, two integration paradigms are highlighted for enabling support towards emerging\nbusiness verticals (e.g.\, automotive\, multi-media\, industry 4.0 etc.) in 5G and beyond systems:\n(1) UAV as an Aerial Base Station (UAV-BS)\, and (2) UAV as an Aerial User of the existing\n5G network (UAV-UE). In the first paradigm (UAV-BS)\, we showcase and reason on the\nemerging network slicing approach for UAV-BS platform catering services from\nheterogeneous business verticals. In the second paradigm (UAV-UE)\, feasibility of realizing\ninter-UAV communication based on cellular Sidelink (PC5 radio interface) is discussed. We\nalso provide a technical overview of potential options to leverage UAV communication in 6G\nera. \nAmalia MACALI\nDesigning exact optimization methods for process synthesis\nAbstract: The main topics of my PhD is the optimization of membrane separation technology.\nMembrane separation technology is often used to achieve gas purification and it can be used in\ndifferent aspects of the industry. The performance of membrane separation depends on the\noperating conditions and the interconnections between the selected equipment. Membranes for\ngas separation can be made of different materials\, and each material leads to different\npermeability performances. When a mixture of gas enters the membrane some components\nhaving low permeability pass through the membrane as in a tube\, forming the retentate output\,\nwhereas other components with higher permeability drop through the material\, forming the\npermeated output of the membrane. When a high level of purity is required\, one separation\nstage is not enough\, and multiple stages are needed. In this case\, a problem of membrane system\ndesign has to be solved where the number of stages\, the interconnections and the operating\nconditions for each stage have to be chosen. The objective function to be considered is the cost\nof the system\, ensuring a certain level of performance in terms of purity and recovery of the\ndesired gas. Up to now\, the problem has been solved using a heuristic global optimization\napproach\, which was a combination of multistart and a problem tailored Monotonic Basin\nHopping. The proposed method was applied to optimize and analyse several well-known and\nimportant gas separation cases. The degrees of freedom of the optimization model were\nincreased case by case considering more parameters as decision variables and optimizing the\nseparation process design. The obtained results were good\, but since the algorithm is heuristic\,\nthere is no guarantee of finding the global optimal solution \nPhilippe GRAFF\nDevelopment and orchestration of microservices for low latency and secure applications.\nAbstract: Within the scope of the ANR project MOSAICO (Orange\, Montimage\, UTT\,\nLORIA)\, this PhD project proposes to design\, implement and validate micro-services based on\noptimized virtualized network functions but integrated in a more global architecture using\nseveral different network programmability technologies.\nTo achieve this ambitious goal\, the project will adopt an experimental methodology organized\nin 4 tasks.\nThe first one will consist in studying the different micro-services architecture for the network\nand selecting the most suitable one for our case study.\nIn a second step\, the identification\, specification and design of micro-services and the definition\nof the global architecture of the project will be carried out in partnership with the other partners.\nThe first function to be created will be a flow classifier based on machine learning techniques\nand allowing the detection of real-time flows in order to process them in a specific way.\nThe specified micro-services will then be implemented and evaluated in a synthetic\nenvironment close to reality in order to verify their adequacy with the strong QoS and security\nconstraints of the project.\nFinally\, the last task that will be carried out jointly with an engineer aims at evaluating the\nwhole solution applied to an immersive service in real conditions such as cloud gaming. \nRunbo SU\nPDTM: Phase-based dynamic Trust Management for Internet of Things\nAbstract : Un modèle de la gestion de la confiance qui permet de maintenir la fiabilité des\nsystèmes IoT et en même temps identifier les attaques de malveillants en calculant les scores\nde confiance des noeuds de manière diversifiée et dynamique en termes de phases. \nAlexandre BOURBEILLON\nMeasuring trust in distributed collaborative systems\nAbstract: In recent years\, the growth of the Internet has led to the development of collaborative\ndistributed systems. In such systems\, a large number of users contribute simultaneously to\naccomplish a common task. One of the best-known examples of collaborative distributed\nsystems is Wikipedia\, which is the biggest open encyclopedia existing. Wikipedia’s\nmain objective is to produce neutral and high-quality articles. To achieve this kind of goal\,\nbeing able to measure how well we can trust any user is very important. It allows the platform\nto adapt its policies and other users to adapt their behaviour regarding previous interactions.\nMoreover\, it is an efficient way to design strategies to handle harmful contributors and thus\nincrease the quality of the content and the number of contributors.\nThe objective of the thesis is to define and validate trust metrics that help predict how well a\nuser of a distributed collaborative system will behave in the future based on its previous\ncontributions in Wikipedia. Our aim is to base this metric on the quality of each contribution\nproduced by the user. We investigated the usage of several metrics to compute the quality of a\ncontribution using the notion of longevity. Longevity is a measure of quality based on how well\nthe contribution will survive to future edits and be maintained in the document. \nSession 3\nAmaury SAINT-JORE\nMulti-Agent\, Machine / Deep / Continuous Learning and Augmented / Mixed reality for\nnetworked\, collaborative and mobile robots\nAbstract: The overall objective is to develop a system of interconnected robots seen as Cyber-\nPhysical Systems (CPS) allowing to carry out autonomous missions in complex environments\ninteracting with operators and increasing their context awareness.\n– The primary objective is to help the Human being in different tasks.\n– This multi-agent system is composed of mobile and agile ground robots and aerial UAVs\,\ncapturing different data in the field from several points of views: images\, geolocation\, sounds\,\netc.\n– Data\, information and experiences can be exchanged between robots but also transmitted to\ncomputers carried by one or more operators to help them carry out their mission.\n– Data can be viewed using an augmented / mixed reality headset providing digital and spatial\ninformation.\n– Each agent will be assigned one or more AIs\, to perform object recognition\, environment\nmodelling\, or to define the path and guidelines to be followed\, or to monitor other agents. A\nglobal distributed AI is embedded on the robot\, and the operators will allow the supervision of\neach agent and their associated AI\, as well as assess the state and evolution of the system as a\nwhole.\nThe system continuously adapts the individual and collective response to the situation\naccording to different scales. \nPierre-Antoine RAULT\nAccess Control and Security Mecanisms in Distributed Systems with no Central\nAuthority\nAbstract: Distributed applications are part of our everyday lives\, but too often their good\noperation depends on central servers\, which are single points of failure and performance\nbottlenecks. Designing systems for fully distributed communications however still requires\nporting common mechanisms needed for feature-rich applications: user rights differentiation\,\nend-to-end confidentiality\, administrators and other application-specific roles. We rely on\nconflict-free replicated data types (CRDT) to allow each user to exchange independently and\nconcurrently without coordination\, and present our own CRDT to manage a distributed access\ncontrol policy. To verify that policy stays consistent\, we examine different applicative use cases\npertaining to collaborative edition\, and design conflict resolution strategies at the document and\npolicy levels. In order to guarantee confidentiality in a distributed setting\, we also consider\nsecure communication protocols and how to integrate their operation in a collaborative group.\nTo that end\, we plan to extend our work with a novel CRDT tying key exchanges from select\nasynchronous key exchange protocols to policy operations affecting group membership. \nClelie AMIOT\nTrustworthy cognitive assistants for large-scale collaboration\nAbstract: Collaborative endeavors are happening on an increasingly larger scale. Digitalization\nand globalization allow organizations to collaborate across borders and time zones on projects\nlike commercial releases\, academic research\, or crisis management. However\, those\ncollaborations bring their challenges: ever growing data to parse\, different levels of security\nclearances to manage\, and varying vocabularies\, expertise\, and processes to coordinate.\nCognitive assistants are a promising solution to help decision-making and reduce mistakes\ncaused by this overload of constraints. My thesis investigates how implementing a cognitive\nagent in a large-scale collaboration can be done while maintaining trust in the tool. Indeed\, an\nuntrustworthy tool will not be used or will cause delays by being over-monitored\, such as using\nbackchannels to check the tool’s information and actions. We highlighted a clear difference in\nreception between human and robot assistants\, where people showed higher compliance to a\nchatbot’s advice but lower engagement in the reasoning process. Our work will also investigate\nthe impact of a chatbot assistant on a team’s dynamics performing a collaborative task and how\nit can be adjusted for efficient and trustful collaboration. \nMatthieu NICOLAS\nEfficient (re)naming in Conflict-free Replicated Data Types (CRDTs)\nAbstract: To achieve high availability\, large-scale distributed systems have to replicate data\nand to minimise coordination between nodes. For these purposes\, literature and industry\nincreasingly adopt CRDTs to design such systems. CRDTs are new specifications of existing\ndata types\, e.g. Set or Sequence. While CRDTs have the same behaviour as previous\nspecifications in sequential executions\, they actually shine in distributed settings as they\nnatively support concurrent updates. To this end\, CRDTs embed in their specification conflict\nresolution mechanisms. These mechanisms usually rely on identifiers attached to elements of\nthe data structure to resolve conflicts in a deterministic and coordination-free manner.\nIdentifiers have to comply with several constraints\, such as being unique or belonging to a dense\ntotal order. These constraints may hinder the identifier size from being bounded. Identifiers\nhence tend to grow as the system progresses\, which increases the overhead of CRDT over time\nand leads to performance issues. To address this issue\, we propose a novel Sequence CRDT\nwhich embeds a renaming mechanism. It enables nodes to reassign shorter identifiers to\nelements in an uncoordinated manner. Experimental results demonstrate that this mechanism\ndecreases the overhead of the replicated data structure and eventually minimises it. \nMaxime SAMSON\nAssister la conception et la configuration de réseaux TSN par une approche basée sur les\nmodèles\nAbstract: Les nouvelles fonctionnalités qu’apportent les standards définis par le groupe de\ntravail IEEE 802.1 TSN à la commutation Ethernet permettent son utilisation pour des réseaux\ntemps réel. Ces nouvelles fonctionnalités rendent possible la conception de réseaux Ethernet\ndéterministes\, mais au prix d’un effort de configuration très important. Cette difficulté de\nconfiguration s’applique à la fois aux équipements réseaux et aux outils utilisés pour concevoir\nces réseaux\, par exemple des simulateurs.\nNotre approche est basée sur les modèles et permet la génération automatique de la\nconfiguration d’un réseau TSN pour des outils tels que des simulateurs. Cette approche simplifie\nlest étapes de conception et de configuration du réseau et assure la cohérence entre les\nconfigurations générées pour les différentes cibles. La grande diversité des outils de conception\,\ntant par leur nombre que par les différentes fonctionnalités de TSN qu’ils supportent\, permet à\nune approche de génération d’offrir un gain de de temps important en simplifiant leur utilisation. \nImene ZAIDI (co-supervised UL-UHA)\nGestion optimisée de la charge de flotte de véhicules électriques\nAbstract : Dans le cadre de la lutte contre la crise climatique\, plusieurs gouvernements ont pris\ndes mesures visant à encourager l’adoption des véhicules électriques pour diminuer l’émission\nde gaz à effet de serre. Actuellement les véhicules électriques sont encore peu nombreux sur le\nréseau routier et leur impact sur le réseau électrique reste faible. Néanmoins\, il s’avère\nimportant d’anticiper une éventuelle saturation des stations de recharges en cas de déploiement\nmassif de ces véhicules dans les années à venir. Aussi\, il est primordial de proposer des outils\nopérationnels permettant aux stations d’assurer de la qualité de service de recharge tout en\nrespectant les contraintes physiques imposées par les opérateurs des réseaux électrique. C’est\nl’objectif assigné à ce travail de thèse. Plus précisément\, l’objet de ces travaux portent sur la\nrecharge intelligente qui va permettre aux opérateurs des stations de recharge d’optimiser la\nplanification de la recharge afin de répondre le mieux possible aux attentes des usagers et en\nmême temps de minimiser le coût et la consommation d’énergie. Pour cela\, nous travaillons sur\nla modélisation mathématique des différentes variantes de problème de planification de la\nrecharge des véhicules électriques. Nous étudions également la classe de complexité de ces\nproblèmes. De plus\, nous proposons des nouveaux algorithmes d’optimisation adaptés à ces\nproblèmes y compris des algorithmes d’optimisation en temps réel. Enfin\, nous sommes amenés\nà faire des simulations et des tests pour valider les approches développées. \nEnzo d’ANDREA\nReusable and Adaptable Machine Learning for Network Security\nAbstract: Cybersecurity is a major concern everywhere with the growth of connected devices.\nThe attack surface therefore increases with the number of devices but also with the number of\napplications they support. Techniques used by attackers and defenders evolved and includes\ncomplex mechanisms with for example massive use of encryption which serves both attackers\nand defenders. As a result\, machine learning and artificial intelligence has become a major field\nof study regarding network security.\nWith the use of Machine Learning comes the problem of choosing the right set of features\,\nmetrics but also algorithm. The reusability of existing results is limited as context-specific\ninterpretation or adaptation is required. There exists some proposal\, especially for port numbers\nor IP adresses\, but proposed metrics are usually too coarse-grained and are far from being\nsatisfactory.\nA major research challenge is the definition of network-based features that are both meaningful\nand reusable in a variety of scenarios. A second challenge is to select the right sets of attributes\nwith the context\, with criteria being for example the contribution to final results\, but also cost\nto collect and transform.\nThe first objective of the thesis is to define new representations of network data as features for\nML algorithms. The second objective of the thesis is to define a method to automatically select\nthe right set of features. \nDiego VEGA\nCombining co-simulation with optimization and learning\nAbstract: The thesis aims to explore the relationships between co-simulation\, optimization and\nlearning having in mind to propose a global decision support approach based on cosimulation.\nThe relationships between co-simulation\, optimization and learning can be\nconsidered in multiple ways. A first point of view can be to consider optimization and learning\nas « beside » the co-simulation tool and being able to execute it to obtain data and/or to modify\nthe parameters or the structure of the multi-model. These relationships can also be conceived\nat different levels: at the level of a component/model or at the level of the composite/system.\nAnother point of view is to consider that optimization and learning are part of the co-simulation\nas a component (and therefore as a model) of decision within the simulated system. The central\nidea of study is to question the DEVS formalism and the associated concept of System\, Entity\nStructure in order to assess to what extent they are compatible with these different notions of\noptimization and learning\, and under what assumptions according to each of the facets\ncompatibility can exist. A first (restricted) case study will be chosen and confronted with a first\nproposal of definitions\, then in an incremental way\, the proposal will be improved and again\nconfronted with one or several case studies. URL:https://www.loria.fr/event/department-3-phd-day/ LOCATION:C005 CATEGORIES:Séminaire END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20211201T110000 DTEND;TZID=Europe/Paris:20211201T120000 DTSTAMP:20211124T145949Z CREATED:20211104T154931Z LAST-MODIFIED:20211124T145949Z UID:14165-1638356400-1638360000@www.loria.fr SUMMARY:D5 Seminar: Yvonne Delevoye DESCRIPTION:Next D5 Seminar will take place on Wednesday\, 1st December at 11am in the Amphitheater with Yvonne Delevoye\, Professor in Cognitive Psychology at the Université de Lille – Human motor performance ; Leader of the Playful City Lille community-based research project. \nShe will make a presentation entitled « Move your body and I will tell you how you feel: Motor timing to reveal affective states ». \nAsbtract: \nEmotions influence decisions to act. Anger\, fear and joy are coded by contrasting gestures and attitudes in social situations. During my talk\, I will expose the methods and results developed in our laboratory around the general theme of emotional body movements. \nThe aim of our work is to demonstrate that emotions impact not only the decision to act and the gesture to produce\, but also the way a movement unfolds through space and time. \nIn a first study\, I will report how music can change body kinematics both in simple actions (finger tapping) and in gait. In a second study\, we used imagery to trigger emotional movements. Here\, a total of eight actors were invited to recall a life-event that engaged social human events that triggered contrasting states of emotions\, before walking freely through a gymnasium following a marked path. Markers (18) placed on body-joints provided the means to collect 3D kinematics of whole-body movements in a series of 30s gait trials. The findings confirm that high-energy emotions (anger; joy) are characterized by faster gait patterns compared to that observed in low-energy emotions (sadness; contentment). Negative-valanced emotions (anger; fear; sadness) were characterized by closed postures (shoulders in; head down) and more jerky patterns compared to that observed in positive-valanced emotions (joy; contentment). The final part of my talk will present how markerless technology can now offer ecological studies. By applying cross-wavelet techniques\, our work suggests that clustering techniques applied to 3D whole-body actions may offer a window in the cognitive mechanisms of emotional body movements. \nKeywords: Kinematics\, Motor Control\, Time Series\, Affective States\, Posture \n  \n  \nBiography: \nTheme: « Motor tempo\, interactions and emotional body movements »\nAfter a PhD thesis in behavioral neuroscience (Birmingham\, UK – Prof. Alan Wing)\, I studied the role of motor prediction in the emergence of the sense of agency and in the sensory experience of the body in action. The concepts of effort\, tolerance\, pleasure are at the heart of a reflection around emotional body movement. \nTeacher and researcher at the University of Lille since 2004\, I work in a multidisciplinary team to develop studies in action psychology in laboratory-set and natural environments (3D kinematics; physiological responses; eye tracking) and also in virtual reality (UNITY). Through public (ANR) and private fundings\, our results have confirmed that emotional experiences depend on the ability to properly predict expected sensations. We have shown that the spontaneous tempo is the pace for which actions are the easiest to plan and control; it is the pace for which our predictions are the best. Thus\, spontaneous tempo could be the cadence promoting minimal effort for the emergence of pleasurable experiences. \nSince 2017\, we have created a research group to create innovating tools to measure how human adults predict and maintain the same behavior over time. More specifically\, we study the psycho-physiological mechanisms influencing emotional motor behaviors with the analysis of brain activities (FNIRS)\, physiological responses (Empatia) and motor behavior modulations (Qualysis). Various inductions are used as music\, odors and colored designs. \nProfessor in neuropsychology since 2012\, I lead the collaborative project entitled Sport-Plaisir with Decathlon from 2013 to 2016. Today\, I am the main investigator of the Living Lab project POC Playful City\, funded by the University of Lille and the University of Lille MEL from 2018 to 2020. In collaboration with Trinoma\, our future studies will aim to develop increased and interactive sensory environments in the Lille agglomeration using the new generation of markerless 3D camera systems. This project is funded in part by the CNRS (80Prime) and is developed at the Imaginarium Building in Tourcoing. \n  URL:https://www.loria.fr/event/d5-seminar-yvonne-delevoye/ LOCATION:Amphithéâtre du Loria CATEGORIES:Séminaire END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20211130T090000 DTEND;TZID=Europe/Paris:20211130T170000 DTSTAMP:20211123T153607Z 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