BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.16.3//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:20180325T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20181028T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20190331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20191027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20200329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20201025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190402T093000
DTEND;TZID=Europe/Paris:20190402T160000
DTSTAMP:20260608T064202
CREATED:20190329T153245Z
LAST-MODIFIED:20190329T153249Z
UID:6811-1554197400-1554220800@www.loria.fr
SUMMARY:Journée scientifique de l'équipe ABC
DESCRIPTION:Programme de la journée scientifique de l’équipe ABC\nRV Salle C 103 du bâtiment LORIA le 2 avril 2019 ! \nProgramme : \n9h30 – 10h00 –  Accueil des participants\n10h – 11h00  – Parisa Rastin\, Université Paris 13 Apprentissage automatique et adaptatif pour le clustering de flux de données relationnelles\n11h00 – 11h15 Pause\n11h15 – 12h15 Marianne Clausel\, Université de Lorraine Topic modeling\n12h15 – 12h35 Myriam Maumy-Bertrand\, Université de Strasbourg Sur quelques aspects du dilemme du Petit Chaperon rouge : discrimination entre la mère-grand et le grand méchant loup\n12h35 – 13h30 Repas\n13h30 – 14h30 Myriam Tami\, CentraleSupélec Uncertain Trees : Dealing with Uncertain Inputs in Regression Trees\n14h30 – 16h00 Discussion sur l’élaboration d’un projet scientifique commun\n16h00 –  Fin de la journée
URL:https://www.loria.fr/event/journee-scientifique-de-lequipe-abc/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190402T100000
DTEND;TZID=Europe/Paris:20190402T110000
DTSTAMP:20260608T064202
CREATED:20190329T142924Z
LAST-MODIFIED:20190329T165913Z
UID:6809-1554199200-1554202800@www.loria.fr
SUMMARY:Séminaire D3: Ingénierie multi-agent des collectifs cyber-physiques
DESCRIPTION:Le prochain séminaire D3 aura lieu le mardi 2 avril à 10h en salle A008. \nVoici le titre et le résumé: \nTitre : Ingénierie multi-agent des collectifs cyber-physiques (par Jean-Paul Jamont – Univ. Grenoble Alpes) \nRésumé : Les collectifs cyber-physiques sont des systèmes embarqués en réseau dans lequel les nœuds logiciels et matériels ont une autonomie de décision et coopèrent spontanément afin de participer à l’accomplissement d’objectifs du système global ou de pallier des manques de connaissances ou de compétences individuelles. Ces objectifs portent notamment sur l’état de leur environnement physique. Cette présentation introduit les nombreux défis posés par leur conception et propose une ingénierie de ces collectifs basée sur une démarche\, des modèles et des outils multi-agents. Plus loin l’ingénierie de leur couplage permettra d’aborder la notion de systèmes de systèmes cyber-physiques.
URL:https://www.loria.fr/event/seminaire-d3-ingenierie-multi-agent-des-collectifs-cyber-physiques/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190403T080000
DTEND;TZID=Europe/Paris:20190403T140000
DTSTAMP:20260608T064202
CREATED:20190401T070036Z
LAST-MODIFIED:20190402T131658Z
UID:6836-1554278400-1554300000@www.loria.fr
SUMMARY:Journée de lancement du projet Impact LUE – DigiTrust
DESCRIPTION:Le mercredi 3 avril de 8h à 14h\, le Loria accueillera la journée de lancement du projet Impact LUE Digitale-Trust avec un maître-mot : la confiance du citoyen dans le numérique. \nEn 2016\, une cyber-attaque de grande ampleur de type déni de service utilisait le malware Miraisur plus de 145 000 objets connectés comme des caméras de surveillance ou des routeurs de maison pour faire tomber des serveurs de grandes entreprises.Aujourd’hui\, tous les objets connectés sont susceptibles d’être utilisés pour monter des cyber-attaques qui peuvent être dévastatrices. Il s’agit donc d’être capable d’assurer la sécurité informatique des usines intelligentes\, villes intelligentes\, capteurs\, caméras\, téléphones mobiles\, montres\, équipements de maison\, de voiture\, de santé. \nC’est le cœur du projet DigiTrust\, projet IMPACT\, fer de lance du programme LUE (Lorraine Université d’Excellence) de l’Université de Lorraine. \nProgramme de la demi-journée :  \n8h– Accueil / Café\n8h30– Discours d’introduction par Jean-Yves Marion(Directeur du LORIA)\n8h45– Présentation du projet Digitrust par Marine Minier(Responsable Scientifique)\n9h15– Anne-Claire Mansion(IRENEE)\n« La blockchain en droit public »\n9h40– Beatrice Linot(LORIA/L2PN)\n« Trust in computer-supported crisis management information sharing »\n10h05 – Pause café\n10h20– Ma Thèse en 180 secondes par Itsaka Rakotonirina\n« Vérification efficace d’équivalences observationnelles dans les protocoles cryptographiques »\n10h35– Bizhan Alipour(LORIA)\n« Inferring the gender of Facebook picture owners\n11h– Margaux Duroueulx(LORIA/CRAN)\n« Combining techniques of formal verification and probabilistic assessment for determining the degree of confidence in safety critical digital systems »\n11h25– Conclusion par Karl Tombre(Directeur exécutif du projet ISITE LUE)\n12h10– Buffet \nEn savoir plus
URL:https://www.loria.fr/event/journee-de-lancement-du-projet-impact-lue-digitrust/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190404T133000
DTEND;TZID=Europe/Paris:20190404T150000
DTSTAMP:20260608T064202
CREATED:20190305T074902Z
LAST-MODIFIED:20190305T074902Z
UID:6596-1554384600-1554390000@www.loria.fr
SUMMARY:SSL Seminar
DESCRIPTION:Next SSL seminar will take place on Thursday\, April 4th at 1.30 pm in room A008. \nGilles Barthe (MPI Bochum) will give a presentation entitled « Computer-aided cryptography ». \n \nWe need cryptography that we can trust. Yet the design\, analysis\, and implementation of cryptographic libraries is a challenging task\, that requires insights across various areas of mathematics and computer science. Computer-aided cryptography is a young research area which\nuses formal methods for exploring the design space of cryptographic constructions and for delivering zero-defect\, side-channel resistant\, cryptographic libraries. The talk will give an overview of our work in computer-aided cryptography and discuss some of the challenges and opportunities in cryptography and beyond.
URL:https://www.loria.fr/event/ssl-seminar-8/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190404T140000
DTEND;TZID=Europe/Paris:20190404T150000
DTSTAMP:20260608T064202
CREATED:20190402T133158Z
LAST-MODIFIED:20190402T133202Z
UID:6900-1554386400-1554390000@www.loria.fr
SUMMARY:MALOTEC seminar : Lydia Boudjeloud-Assala
DESCRIPTION:  \n=========================================================\nMALOTEC Seminar: Thursday April 04 2019\, 2pm\, Room C005 \nLydia Boudjeloud-Assala\nUniversité de Lorraine\nLoria \nTitle: Human in the loop: Visual -massive and temporal- data mining \nAbstract: I will present a review of my research on cooperative\napproaches combining interactive visualization methods and automatic\nmethods (attributes Selection\, Clustering\, Biclustering\, and outlier\ndetection) for the knowledge discovery in massive and temporal data. I\nwill present different possibilities to involve the user in the data\nmining process in order to improve his confidence and understanding in\nthe models or obtained results. New challenges for these methods\, which\nmust be able to handle not only increasing amounts of data but also data\nthat can change over time\, will also be presented and discussed. \nFor more information \nFurther MALOTEC Seminars \n  \n 
URL:https://www.loria.fr/event/malotec-seminar-lydia-boudjeloud-assala/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20190412
DTEND;VALUE=DATE:20190413
DTSTAMP:20260608T064202
CREATED:20190313T111347Z
LAST-MODIFIED:20190313T111347Z
UID:6663-1555027200-1555113599@www.loria.fr
SUMMARY:Journée Académie Lorraine des Sciences
DESCRIPTION:La journée de l’Académie Lorraine des Sciences aura lieu au Loria le vendredi 12 avril. \nThématique de la Journée : inter et trans-disciplinarité\, une richesse dans notre Académie. \nProgramme prévisionnel : \n\n\n\n– 9 h : accueil café \n– 9 h 30 : Introduction à la journée (M.-C. Haton). Inter- et trans-disciplinarité ;\nL’Informatique\, technique et science (J.-C. Derniame) ;\nLes modèles en Intelligence artificielle (J.-P. Haton) ;\nIndustrie 4.0 : opportunités et menaces (J.-C. André) ;\nTémoignages «inter-sections» sur l’usage de l’Informatique dans les divers champs disciplinaires et sur les questions que cela pose (nouvelles pratiques dans la recherche\, métiers\, communication\, modes d’exposés…) ;\nDébat et synthèse \n\n\n\n\n– Après-midi : visite du laboratoire \n– 17 h : Conseil d’administration sur place pour les personnes concernées.
URL:https://www.loria.fr/event/journee-academie-lorraine-des-sciences/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190423T110000
DTEND;TZID=Europe/Paris:20190423T120000
DTSTAMP:20260608T064202
CREATED:20190417T152225Z
LAST-MODIFIED:20190417T152232Z
UID:7022-1556017200-1556020800@www.loria.fr
SUMMARY:MALOTEC Seminar
DESCRIPTION:For the next MALOTEC seminar\, Valia Mitsou\, who is a candidate for the position of associate professor in CentraleSupelec will give a presentation at LORIA on Tuesday April 23 at 11am in room A008 \nPresentation of the speaker : \nValia Mitsou\nUniversité Paris Diderot\nInstitut de Recherche en Informatique Fondamentale (IRIF) \nTitle: Limitation of treewidth for problems beyond NP \nAbstract: In this seminar\, we take a closer look at the parameterized complexity of problems belonging in Σ^p_2 and Π^p_2\, the second level of the polynomial hierarchy. We provide tight fine-grained bounds on their complexity with respect to the most important structural graph parameter\, the treewidth. We observe that these problems exhibit similar behavior: we show that a variety of diverse problems including ∃∀SAT\, Choosability\, as well as various problems from AI such as Abduction and Abstract Argumentation\, while they admit a $2^{2^{O(tw)}}$ algorithm\, they cannot be solved in time $2^{2^{o(tw)}}$ under the Exponential Time Hypothesis. \nFor more information
URL:https://www.loria.fr/event/malotec-seminar-5/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190424T140000
DTEND;TZID=Europe/Paris:20190424T150000
DTSTAMP:20260608T064202
CREATED:20190423T115330Z
LAST-MODIFIED:20190423T115330Z
UID:7051-1556114400-1556118000@www.loria.fr
SUMMARY:Exposé Imed Laaridh (D4)
DESCRIPTION:Imed Laaridh qui candidate au poste de maitre de conférences à CentraleSupélec fera un exposé au Loria mercredi 24 avril en salle C005 à 14h. \n  \nTitre: « Traitement automatique et mesure d’intelligibilité de la parole pathologique » \nRésumé: \nL’intelligibilité de la parole est au cœur des interactions humaines. La problématique de son évaluation intéresse particulièrement la qualité de la transmission de la parole à travers différents milieux ou transducteurs\, la compréhensibilité de la parole en cas de déficit de production ou de perception de la parole par un individu\, la compréhensibilité des langues étrangères. \nDans la pratique clinique\, l’évaluation perceptive reste le moyen le plus utilisé pour la mesure de l’intelligibilité de la parole. Cependant\, cette évaluation présente plusieurs limites notamment son caractère subjectif et son coût (en temps et en ressources). \nCette présentation portera sur différentes applications des outils de traitement automatique de la parole sur de la parole pathologique. Les objectifs étant la mesure de la qualité de prononciation (au niveau phonème)\, la mesure objective de l’intelligibilité de la parole et la caractérisation des pathologies dans le cadre d’aide au diagnostic. \n 
URL:https://www.loria.fr/event/expose-imed-laaridh-d4/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20190425
DTEND;VALUE=DATE:20190426
DTSTAMP:20260608T064202
CREATED:20190417T132212Z
LAST-MODIFIED:20190417T132227Z
UID:7012-1556150400-1556236799@www.loria.fr
SUMMARY:5ème séminaire du Réseau Lorrain de Recherche IT Neuro
DESCRIPTION:Le prochain séminaire du réseau lorrain de recherche en Neurosciences (Interdisciplinaire et Translationnelle en Neurosciences) aura lieu le jeudi 25 Avril 2019 de 8h30 à 16h00\, dans l’amphithéâtre de la Présidence de l’Université de Lorraine\, 34 cours Léopold à Nancy.\nLe thème de cette journée est « Émotions/Motivation/Addictions ».\nLors de ce séminaire\, Frédéric Alexandre\, directeur de recherche Inria à Bordeaux et responsable de l’équipe Mnemosyne fera un exposé intitulé « Modéliser le cortex frontal pour la décision motivée ».\nAu cours de cette journée\, il y aura une session libre d’une vingtaine de posters autour des neurosciences où aucun thème ne sera imposé. Les posters seront affichés dans le hall qui jouxte l’amphithéâtre et une session de visite sera organisée entre 13h30 et 14h30.\n\n\nProgramme de la journée \nEn savoir plus
URL:https://www.loria.fr/event/5eme-seminaire-du-reseau-lorrain-de-recherche-it-neuro/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190425T183000
DTEND;TZID=Europe/Paris:20190425T200000
DTSTAMP:20260608T064202
CREATED:20190417T130337Z
LAST-MODIFIED:20190417T130358Z
UID:7005-1556217000-1556222400@www.loria.fr
SUMMARY:MeetUp IA : 3ème édition !
DESCRIPTION:  \nLe MeetUp Intelligence Artificielle Nancy est de retour pour sa 3ème édition\, le jeudi 25 avril à 18h30 et s’exporte au Quai Alpha d’Epinal.  \nLe Meet-Up accueillera Jean-Paul Haton\, professeur émérite à l’université de Lorraine et chercheur au Loria qui fera une introduction à l’intelligence artificielle et Philippe Kalitine de la start-up Camling (« Language inspired by you ») présentera un assistant numérique permettant l’apprentissage des langues en utilisant l’environnement de l’utilisateur. \nPlus d’informations et inscriptions \nCette soirée se terminera autour d’un petit apéritif afin d’échanger de manière informelle. \n 
URL:https://www.loria.fr/event/7005/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20190426
DTEND;VALUE=DATE:20190427
DTSTAMP:20260608T064202
CREATED:20190417T122620Z
LAST-MODIFIED:20190417T122620Z
UID:7003-1556236800-1556323199@www.loria.fr
SUMMARY:PhD Day of Department 5 : Complex Systems\, Artificial Intelligence and Robotics
DESCRIPTION:The next PhD Day of the department 5 (Complex Systems\, Artificial Intelligence and Robotics) will take place on Friday\, April 26th.\n\nHere is the program for the day: \n9:15 am: Welcome coffee/croissant and good mood in A08\n9:45 am: Presentation of Department 5 (Patrick Henaff)\n9:55 am: Presentation of each team by the team leaders Kiwi\, Neurothythms\, Biscuit\, Larsen and Capsid (5 min each)\n10:20 am: Break\n10:35 am: Presentation of the doctoral students\nEach PhD student (even new ones) will introduce itself in 2 minutes MAX\, with 1 (or 2) slides each to motivate participants to come and see you during your interactive session or to discuss with you during the many breaks during the day! You can do something quite formal (presentation of the problem etc…)\, you can also do something (completely) offbeat! — In any case\, I would need you to send me your slide in.pdf format on Thursday\, April 25 at 6pm at THE LATEST LAST POSSIBLE MOMENT OF THIS UNIVERSE  (so that I have time to merge everything\, sebastien.rimbert@inria.fr). \n12:00 – 13:15: Hall B\, lunch buffet for the D5 \n\n13:15 – 13:30: PhD student delegate election \n13h30: A008 **Interactive presentation** on Open scientific publication\nModerated by Karim Ramdani \nThen we will have interactive sessions where some doctoral students will come back in more detail on their thesis work.\n \n*** INSTRUCTIONS *** the idea is to use what you want (demo\, poster\, wooden toys\, other) to lead a discussion around your thesis subject: present it\, discuss it\, explain your problem\, show your results\, etc. These sessions will take place all over Hall B (B013\, B011\, Agora\, etc.) \n14h30 : Interactive session 1\nSARKER Bishnu\, BEUGET Maël\, EL KHADIRI Yassine\, JOUAITI Mélanie \n15h15 : Interactive session 2\nMONTH Barbara\, MALAYSIS Adrian\, FOIS Adrien\, Patricia ALVEZ-SILVA\, SCHACYKOV Andrii \n16h00 : Round tables\n– what to do after the thesis?\n– how to prepare a conference?\n– research ethics?
URL:https://www.loria.fr/event/phd-day-of-department-5-complex-systems-artificial-intelligence-and-robotics/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190429T110000
DTEND;TZID=Europe/Paris:20190429T120000
DTSTAMP:20260608T064202
CREATED:20190418T063542Z
LAST-MODIFIED:20190418T063622Z
UID:7026-1556535600-1556539200@www.loria.fr
SUMMARY:Exposé d'Ana Roxin (D4)
DESCRIPTION:Ana Roxin\, candidate sur le poste de prof à l’IUT\, viendra faire un exposé lundi 29 avril à 11 heures\, en salle A008.\n\n Titre : \n« Raisonnement et connaissances – à la recherche de l’équilibre entre expressivité et efficacité »\n\nAuteur : \nAna ROXIN\, MCF HDR 27e section du CNU\, Univ. Bourgogne Franche-Comté (UBFC)\, Laboratoire d’Informatique de Bourgogne (LIB) EA7534\n\nRésumé: \n\nLe séminaire adresse le domaine de l’IA symbolique\, plus précisément l’ingénierie des connaissances ou la représentation de connaissances métier de manière à ce qu’un ordinateur puisse les interpréter et les manipuler\, comme le ferait un humain\, et tout en assurant l’efficacité d’implémentation. Après un bref résumé de mon parcours\, les contributions présentées concernent la modélisation de savoir-faire métiers avec des approches formelles\, décidables et en intégrant une sensibilité au contexte (de l’utilisateur ou d’utilisation). En relation avec ce domaine\, de nombreuses questions existent : comment modéliser de manière expressive et décidable une connaissance ? Comment identifier des connaissances vraies\, avec de la valeur dans un environnement de traitement massif de données ? Comment dépasser les limites de l’hétérogénéité sémantique dans un environnement fortement distribué ? Comment savoir si deux représentations « parlent de la même chose »\, si elles définissent la « chose » de la même manière ou si elles présentent des points de vue concurrents ou alors approximatifs ? Mes recherches s’efforcent de répondre à ces problématiques en utilisant les technologies du « Web sémantique ». Je présenterai mes contributions en termes de conception et implémentation d’approches permettant de simuler un raisonnement humain sur des connaissances réparties\, notamment notre approche de fédération faiblement couplée d’ontologies.
URL:https://www.loria.fr/event/expose-dana-roxin-d4/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190503T110000
DTEND;TZID=Europe/Paris:20190503T120000
DTSTAMP:20260608T064202
CREATED:20190502T133112Z
LAST-MODIFIED:20190502T133117Z
UID:7111-1556881200-1556884800@www.loria.fr
SUMMARY:MALOTEC Seminar - May\, the 3rd
DESCRIPTION:Friday\, May the 3rd we will welcome Abdelkader Ouali. He will give a talk from 11h00 through 12h00 in Room A008. \nTitle: Pattern set mining using integer linear programming \nAbstract: In this seminar\, I will present a hybrid approach based on Integer Linear Programming that responds effectively to different\nqueries of pattern set mining. The interest of this approach is illustrated by two well-known problems in data mining: conceptual\nclustering and tiling. Finally\, I will present some perspectives on how to use constraint programming to address some multicriteria tasks in\ndata mining. \nFor further information
URL:https://www.loria.fr/event/malotec-seminar-may-the-3rd/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190503T140000
DTEND;TZID=Europe/Paris:20190503T150000
DTSTAMP:20260608T064202
CREATED:20190418T111403Z
LAST-MODIFIED:20190418T111403Z
UID:7037-1556892000-1556895600@www.loria.fr
SUMMARY:Exposé Etienne André - D2
DESCRIPTION:Etienne André\,de l’Université Paris 13 fera un exposé le vendredi 3 mai à 14h00 en salle A008 intitulé « Monitoring real-time systems under uncertainty » \nAbstract : \nGiven a log and a specification\, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log. For example\, « a given action is always followed by another action before a given deadline ». This problem has strong connections with monitoring real-time systems. We address here timed pattern matching in presence of an uncertain specification\, i.e.\, that may contain timing parameters (e.g.\, the deadline can be uncertain or unknown). That is\, we want to know for which start and end dates\, and for what values of the deadline\, this property holds. Or what is the minimum or maximum deadline (together with the corresponding start and end dates) for which this property holds.I  will first give a brief introduction to parametric timed model checking. Then I will report on a framework for timed pattern matching based on parametric timed model checking. In contrast to most parametric timed problems\, the solution is effectively computable\, and we perform experiments using IMITATOR to show the applicability of our approach. \n 
URL:https://www.loria.fr/event/expose-etienne-andre-d2/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190515T080000
DTEND;TZID=Europe/Paris:20190515T170000
DTSTAMP:20260608T064202
CREATED:20190515T124705Z
LAST-MODIFIED:20190515T124712Z
UID:7196-1557907200-1557939600@www.loria.fr
SUMMARY:Le Loria au Festival "Pint of Science" les 21 et 22 mai !
DESCRIPTION:Démystifier la recherche scientifique et la faire découvrir au grand public dans un cadre détendu… Parce que non… dans un labo\, ça ne se passe pas toujours comme dans “Les Experts”. \n\nLe Festival Pint of Science  invite de brillants scientifiques dans votre bar préféré pour discuter avec vous de leurs dernières recherches et découvertes. \nC’est pour vous l’occasion parfaite de rencontrer les acteurs de la science de demain en chair et en os. Vous n’avez plus d’excuse pour ne pas venir boire un verre avec nous ! \nLe Loria participe cette année au travers plusieurs interventions et nous vous donnons RV : \n\nMardi 21 mai à 20h au bar Les Seigneurs – 90 Grande Rue à Nancy\nAcheter tous influence\n\nIntervenants :\nTatiana Makhalova (équipe Orpailleur Inria/Loria)\, accompagnée de deux membres du CEREFIGE (Centre Européen de Recherche en Économie Financière et Gestion des Entreprises) \nLa communication persuasive se base sur l’utilisation de stimuli pour influencer le choix des consommateurs. À cela s’ajoutent les recommandations d’autres produits basées sur les données des internautes. Le but ? Essayer d’influencer les consommateurs. \n  \n\nMercredi 22 mai à 15h30 au Barami – 100 grande Rue à Nancy\nL’informatique débranchée\n\nIntervenants : Marie Duflot-Kremer\, maître de conférences Université de Lorraine (équipe Mosel-Veridis Inria/Loria) et Maxime Amblard\, maître de conférences Université de Lorraine (équipe Sémagramme Inria/Loria) \nAlgorithmes\, réseaux\, bases de données… les rudiments de l’informatique peuvent s’expliquer aux plus jeunes grâce à des jeux et des énigmes\, le tout sans ordinateur. La pensée informatique n’est pas réservée aux informaticiens ! \n  \n\nMercredi 22 mai à 20h au Barami – 100 grande Rue à Nancy\nRobots en détresse\n\nIntervenants : Virgile Daugé\, doctorant au sein de l’équipe Simbiot et Enrico Natalizio\, professeur à l’Université de Lorraine (équipe Simbiot) \nLors du déplacement de robots autonomes\, le repérage dans l’espace\, la transmission de messages et le partage des tâches entrent en jeu. Mais lorsqu’ils sont trop nombreux\, le système sature et la synchronisation échoue\, pouvant entraîner un dysfonctionnement. \n—————- \nRéservation obligatoire \nTout public\, 2€ la soirée\, places limitées. \nLe festival Pint of Science est un événement organisé par l’Université de Lorraine. \nPlus d’informations \n 
URL:https://www.loria.fr/event/le-loria-au-festival-pint-of-science-les-21-et-22-mai/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190521T200000
DTEND;TZID=Europe/Paris:20190521T213000
DTSTAMP:20260608T064202
CREATED:20190521T080733Z
LAST-MODIFIED:20190521T080733Z
UID:7262-1558468800-1558474200@www.loria.fr
SUMMARY:Festival Pint of Science : "Acheter tous influence"
DESCRIPTION:La communication persuasive se base sur l’utilisation de stimuli pour influencer le choix des consommateurs. À cela s’ajoutent les recommandations d’autres produits basées sur les données des internautes. \nLe but ? Essayer d’influencer les consommateurs. \n  \nIntervenants : Tatiana Makhalova (équipe Orpailleur Inria/Loria)\, accompagnée de deux membres du CEREFIGE (Centre Européen de Recherche en Économie Financière et Gestion des Entreprises) \n 
URL:https://www.loria.fr/event/festival-pint-of-science-acheter-tous-influence/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190522T153000
DTEND;TZID=Europe/Paris:20190522T163000
DTSTAMP:20260608T064202
CREATED:20190521T080342Z
LAST-MODIFIED:20190521T080342Z
UID:7253-1558539000-1558542600@www.loria.fr
SUMMARY:Festival Pint of Science : "L'informatique débranchée"
DESCRIPTION:Algorithmes\, réseaux\, bases de données… les rudiments de l’informatique peuvent s’expliquer aux plus jeunes grâce à des jeux et des énigmes\, le tout sans ordinateur. \nLa pensée informatique n’est pas réservée aux informaticiens ! \n  \nIntervenants : Marie Duflot-Kremer\, maître de conférences Université de Lorraine (équipe Mosel-Veridis Inria/Loria) et Maxime Amblard\, maître de conférences Université de Lorraine (équipe Sémagramme Inria/Loria) \n 
URL:https://www.loria.fr/event/festival-pint-of-science-linformatique-debranchee/
LOCATION:Barami\, 100 grande Rue\, Nancy\, 54000\, France
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190522T200000
DTEND;TZID=Europe/Paris:20190522T213000
DTSTAMP:20260608T064202
CREATED:20190520T142455Z
LAST-MODIFIED:20190521T075554Z
UID:7248-1558555200-1558560600@www.loria.fr
SUMMARY:Festival Pint of Science : "Robots en détresse"
DESCRIPTION:Lors du déplacement de robots autonomes\, le repérage dans l’espace\, la transmission de messages et le partage des tâches entrent en jeu. Mais lorsqu’ils sont trop nombreux\, le système sature et la synchronisation échoue\, pouvant entraîner un dysfonctionnement. \nIntervenants : Virgile Daugé\, doctorant au sein de l’équipe Simbiot et Enrico Natalizio\, professeur à l’Université de Lorraine (équipe Simbiot)
URL:https://www.loria.fr/event/festival-pint-of-science-robots-en-detresse/
LOCATION:Barami\, 100 grande Rue\, Nancy\, 54000\, France
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190527T133000
DTEND;TZID=Europe/Paris:20190527T143000
DTSTAMP:20260608T064202
CREATED:20190520T071515Z
LAST-MODIFIED:20190520T092729Z
UID:7219-1558963800-1558967400@www.loria.fr
SUMMARY:Séminaire SSL : D. Aranha "Return of the Insecure Brazilian Voting Machines"
DESCRIPTION:This talk presents a detailed and up-to-date security analysis of the voting software used in the last Brazilian elections by more than 140 million voters. It is mainly based on results obtained in a restricted hacking challenge organized by the Superior Electoral Court (SEC)\, the national electoral authority. During the event\, multiple serious vulnerabilities (hard-coded cryptographic keys and insufficient integrity checks\, among others) were detected in the voting software\, which\, when combined\, compromised the main security properties of the equipment\, namely ballot secrecy and software integrity. We trace the history of the vulnerabilities to a previous security analysis\, providing some perspective about how the system evolved in the past 7 years. As far as we know\, this was the most in-depth compromise of an official large-scale voting system ever performed under such severely restricted conditions. \nJoint work with Pedro Y. S. Barbosa\, Thiago N. C. Cardoso\, Caio Lüders and Paulo Matias. \n\nDiego F. Aranha is an Assistant Professor in the Department of Engineering at Aarhus University. He holds a PhD degree in Computer Science from the University of Campinas and has worked as a visiting PhD student for 1 year at the University of Waterloo. His professional experience is in Cryptography and Computer Security\, with a special interest in the efficient implementation of cryptographic algorithms and security analysis of real-world systems. He coordinated two teams of independent researchers capable of detecting and exploring vulnerabilities in the software of the Brazilian voting machines during controlled tests organized by the national electoral authority.\nHe received the Google Latin America Research Award for research on privacy twice\, and the MIT TechReview’s Innovators Under 35 Brazil Award for his work in electronic voting.
URL:https://www.loria.fr/event/seminaire-ssl-par-d-aranha-return-of-the-insecure-brazilian-voting-machines/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190528T140000
DTEND;TZID=Europe/Paris:20190528T150000
DTSTAMP:20260608T064202
CREATED:20190424T123628Z
LAST-MODIFIED:20190424T123633Z
UID:7082-1559052000-1559055600@www.loria.fr
SUMMARY:TALC seminar : talk of Angelique Monnier
DESCRIPTION:Date: Tuesday\, 28th May 2019 at 2pm\nPlace: LORIA\, room A008\nSpeaker: Angeliki Monnier (Université de Lorraine – CREM) \nTitle: Understanding ICT uses as “habitus”? \nAbstract:\nThis presentation will address the uses of information and communication\ntechnologies (ICT)\, particularly social media\, as “habitus”\, inspired by\nPierre Bourdieu’s Field Theory. My thesis draws on an empirical study\,\nconducted on the professional network LinkedIn\, which focused on\ndiscussion groups held by Greek and French expatriates\, respectively.\nMore particularly\, analysis has shown that discussions are not conducted\nin the same way between Greek and French expatriates. For the former\,\nthe question is the image of the country\, tarnished by the economic\ncrisis. For the latter\, it is the direct contact with the Other\, on the\nbackground of the French colonial past\, which colors the discussions.\nMy argument is that the representations and “patterns of thought” that\ndetermine how Greek and French expatriates get involved in a discussion\ngroup within a professional social media are socio-historically\ndetermined and could be associated to distinct habitus. Following Pierre\nBourdieu’s theory\, these divergences could be related to the positions\nthat Greece and France hold within the international migration field.
URL:https://www.loria.fr/event/talc-seminar-talk-of-angelique-monnier/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190528T140000
DTEND;TZID=Europe/Paris:20190528T160000
DTSTAMP:20260608T064202
CREATED:20190527T082534Z
LAST-MODIFIED:20190527T082627Z
UID:7326-1559052000-1559059200@www.loria.fr
SUMMARY:Soutenance de thèse : Thomas PARIS
DESCRIPTION:La thèse aura lieu le mardi 28 Mai à 14h en C005 et sera suivi d’un pot en face de cette même salle.\nLe sujet de sa thèse : « Modélisation de Systèmes Complexes par Composition : Une démarche hiérarchique pour la co-simulation de composants hétérogènes » \nRésumé :\nLe contexte de ce travail est la modélisation et simulation (M&S) de systèmes complexes. L’étude de tels systèmes requière généralement de combiner plusieurs points (différentes disciplines\, différents formalismes\, différentes échelles temporelles et spatiales…). La multi-modélisation et la co-simulation sont deux approches prometteuses pour cela. \nLe challenge est l’intégration rigoureuse de ces différents points de vue au sein d’une même démarche de M&S. En outre cette démarche doit permettre de tester facilement des alternatives (modularité)\, de construire hiérarchiquement nos modèles à partir d’autres (composition) et être utilisable par des experts non informaticiens (utilisabilité). \nPour répondre à cette problématique\, cette thèse poursuit les travaux autours de MECSYCO (Multi-agent Environment for Complex SYstem CO-simulation)\, un intergiciel de co-simulation se focalisant sur la réutilisation de modèles issus d’autres logiciels qui nous fournit une approche d’intégration rigoureuse (une encapsulation logicielle et formelle basée sur le formalisme DEVS). \nNotre contribution a consisté à compléter MECSYCO en définissant une démarche de multi-modélisation et co-simulation descriptive en trois étapes (intégration\, multi-modélisation\, expérimentation). \nLes descriptions sont les supports pour la réutilisation des modèles/multi-modèles ce qui complète le processus d’intégration des modèles\, et permet de construire hiérarchiquement les multi-modèles avant de les co-simuler. \nSuivant une approche d’Ingénierie Dirigée par les Modèles\, nous avons aussi développé un environnement de développement basé sur des langages dédiés (un par étape) qui simplifie le travail de description en évitant le code. \n  \nThis will take place on Tuesday\, May 28th at 2pm in C005 and will be followed by a drink in front of the same room.\nThe title of his PhD : « Complex System Modeling by composition: A hierarchical approach for heterogeneous components co-simulation. » \nSummary :\nThe context of this work is the modelling and simulation (M&S) of complex systems. The study of such systems generally requires the combination of several points (different disciplines\, formalisms\, temporal and spatial scales…). Multi-modelling and co-simulation are two promising approaches for this. \nThe challenge is to rigorously integrate these different points of view within the same M&S approach. In addition\, this approach must allow alternatives to be easily tested (modularity) and hierarchical built of multi-models from others (composition) and be usable by non-computer experts (usability). \nTo answer this problem\, this thesis continues the work around MECSYCO (Multi-agent Environment for Complex SYstem CO-simulation)\, a co-simulation middleware focusing on the reuse of models from other software which provides us a rigorous integration approach (a software and DEVS-based formal wrapping). \nOur contribution consisted in completing MECSYCO by defining a descriptive multi-modelling and co-simulation approach in three steps (integration\, multi-modelling\, and experiment). \nDescriptions are the supports for the reuse of models/multi-models\, which completes the model integration process\, and allows to hierarchically build multi-models before co-simulating them. \nFollowing a Model Driven Engineering approach\, we also developed a development environment based on domain specific languages (one per step) that ease the description work by avoiding the code. \n\nRapporteurs :\n\nClaudia FRYDMAN\, Professeur\, Université d’Aix-Marseille\nStéphane GALLAND\, Professeur\, Université de Technologie de Belfort-Montbéliard\n\nJury :\n\nAnne-Cécile ORGERIE\, Chargé de Recherche\, IRISA\nClaude GODART\, Professeur\, Université de Lorraine\nLaurent CIARLETTA\, Maitre de Conférences\, Université de Lorraine\n\nDirecteur de thèse :\n\nVincent CHEVRIER\, Professeur\, Université de Lorraine\n\n 
URL:https://www.loria.fr/event/soutenance-de-these-thomas-paris/
LOCATION:C005
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20190529
DTEND;VALUE=DATE:20190530
DTSTAMP:20260608T064202
CREATED:20190527T145619Z
LAST-MODIFIED:20190527T150259Z
UID:7337-1559088000-1559174399@www.loria.fr
SUMMARY:Journée du Département 1
DESCRIPTION:Algorithmique\, calcul\, image et géométrie\nProgramme de la journée : \n\n9h30 Jimmy Etienne\, MFX : Curved slicing for additive manufacturing\n9h50 Gabrielle De Micheli\, Caramba : Recovering ECDSA cryptographic keys from partial information\n10h10 Charles Duménil\, Gamble : Expected size of the Delaunay triangulation of random points on a surface\n\n10h30 Pause \n\n11h Aude Le Gluher\, Caramba : How much time does it take to factor an integer ?\n11h20 George Krait\, Gamble : Numerical Algorithm for the Topology of Singular Plane Curves\n11h40 Semyon Efremov & Thibaut Tricard\, MFX : Procedural phasor noise\n13h30 Remi Decelle\, Adagio : Measuring wood quality of logs from low-cost sensors at the sawmill or at the road side\n13h50 Paul Huynh\, Caramba : NIST’s lightweight cryptography initiative\n\nConsultez le descriptif des interventions \n\nEn savoir plus sur le D1 \nRetrouvez l’ensemble des séminaires du D1 \nConsultez le site internet du D1 (en anglais) \n 
URL:https://www.loria.fr/event/journee-du-departement-1/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20190603
DTEND;VALUE=DATE:20190608
DTSTAMP:20260608T064202
CREATED:20190510T151646Z
LAST-MODIFIED:20190510T151646Z
UID:7182-1559520000-1559951999@www.loria.fr
SUMMARY:Journées de Statistique 2019
DESCRIPTION:Les 51 èmes Journées de Statistique auront lieu du 3 au 7 juin 2019 à Nancy sur le Campus scientifique de l’Université de Lorraine. \nDate : 3/06/2019 au 7/06/2019\nLieu : Faculté des Sciences et Technologies\, Nancy \nIntervenant(s) : John Bacon-Shone\, University of Hong Kong Freddy Bouchet\, ENS Lyon/CNRS Charles Bouveyron\, Université de Côte d’azur Alexandra Carpentier\, Otto-von-Guericke-Universität Magdeburg. Forrest Crawford\, Yale university Luc Devroye (Prix Laplace)\, School of Computer Science McGill University Stefano Favaro\, Collegio Carlo Alberto/Univ Turin/Oxford Ghislaine Gayraud\, UT Compiègne Alexandre Gramfort\, INRIA Parietal team Andreas Groll\, TU Dortmund Julie Josse\, Ecole Polytechnique Mariana Kotzeva\, Directrice Générale\, Eurostat Oleg Lepski (Prix de la Conférence Le Cam)\, Aix Marseille Université Grégory Nuel \, CNRS Jean Opsomer\, Colorado State University Samuel Soubeyrand\, INRA Stephen Senn\, Luxembourg Institute of Health\nOrganisateur(s) : Anne Gégout-Petit\, Angelo Efoévi Koudou\nOrganisées chaque année depuis 1970 par la Société Française de Statistique (SFdS)\, les Journées de Statistique constituent la plus importante manifestation scientifique du monde statistique francophone. Elles réunissent à chaque édition plus de 400 chercheurs\, enseignants et praticiens. \nL’organisation de cette manifestation scientifique est confiée cette année à Angelo Efoévi Koudou de l’Université de Lorraine et à Anne Gégout-Petit \, responsable de l’équipe-projet BIGS\, commune à Inria et à l’IECL\, et vice-présidente de l’édition 2019. \nEn savoir plus 
URL:https://www.loria.fr/event/journees-de-statistique-2019/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190604T103000
DTEND;TZID=Europe/Paris:20190604T233000
DTSTAMP:20260608T064202
CREATED:20190604T112734Z
LAST-MODIFIED:20190604T115113Z
UID:7378-1559644200-1559691000@www.loria.fr
SUMMARY:Soutenance de thèse\, Xavier Marchal
DESCRIPTION:Xavier Marchal soutiendra sa thèse le vendredi 7 juin 2019 à 10h30 en salle A008 au Loria. Dû à des contraintes de temps\, le pot de thèse sera réalisé dans les jours qui suivent. \nTitre : Architectures et fonctions avancées pour le déploiement progressif de réseaux orientés contenus \nRapporteurs :\nPr Francine Krief\, Professeur des Universités\, ENSEIRB\nDr. Prométhée Spathis\, Maître de Conférences\, UPMC \nExaminateurs : \nPr Vincent Chevrier\, Professeur des Universités\, Université de Lorraine\nDr Giovanna Carofiglio\, Distinguished Engineer\, Cisco Systems \nInvité :\nDr Damien Saucez\, Chargé de Recherche\, Inria \nDirecteurs :\nPr Olivier Festor\, Professeur des Universités\, Université de Lorraine\nDr Thibault Cholez\, Maître de Conférences\, Université de Lorraine \nRésumé : \nLes protocoles historiques d’Internet (TCP/IP) qui servaient à interconnecter les tous premiers ordinateurs ne sont plus adaptés à la diffusion massive de contenus qui en est fait aujourd’hui. De nouveaux protocoles réseau centrés sur les contenus (Information-Centric Networking) sont actuellement conçus pour optimiser ces échanges en pariant sur un changement de paradigme où les contenus\, plutôt que les machines sont adressables à l’échelle d’Internet. Cependant\, un tel changement ne peut se faire que progressivement et si tous les impératifs opérationnels sont assurés. Ainsi\, cette thèse a pour objectif d’étudier et de lever les principaux verrous technologiques empêchant l’adoption du protocole NDN (Name Data Networking) par les opérateurs en garantissant la sécurité\, les performances\, l’interopérabilité\, la bonne gestion et le déploiement automatisé d’un réseau NDN. \nDans un premier temps\, nous évaluons les performances actuelles d’un réseau NDN à l’aide d’un outil de notre conception\, ndnperf\, et constatons le coût élevé pour un serveur utilisant ce protocole. Puis nous proposons un ensemble de solutions pour améliorer l’efficacité d’un serveur NDN. Ensuite nous nous intéressons à la sécurité de NDN à travers l’évaluation de l’attaque par empoisonnement de contenus\, connue pour être critique mais jamais caractérisée. Cette étude se base sur deux scénarios\, en utilisant un serveur et un client pour effectuer la pollution\, ou en exploitant une faille dans le traitement des paquets au niveau du routeur. Nous montrons ainsi la dangerosité de l’attaque et proposons une correction de la faille la permettant. Dans un troisième temps\, nous cherchons à adapter le protocole HTTP pour qu’il puisse être transporté sur un réseau NDN à des fins d’interopérabilité. Pour ce faire\, nous avons développé deux passerelles qui effectuent les conversions nécessaires pour qu’un contenu web puisse rentrer ou sortir d’un réseau NDN. \nAprès avoir décrit notre solution\, nous l’évaluons et l’améliorons afin de pouvoir bénéficier d’une fonctionnalité majeure de NDN\, à savoir la mise en cache des contenus dans le réseau et évaluons son efficacité lors de tests synthétiques et de simulations de navigation. Pour finir\, nous proposons une architecture à base de microservices virtualisés et orchestrés pour le déploiement du protocole NDN en suivant le paradigme NFV (Network Function Virtualization). Les sept microservices présentés reprennent soit une fonction atomique du routeur\, soit proposent un nouveau service spécifique. Ces fonctions peuvent ensuite être chaînées pour constituer un réseau optimisé. Cette architecture est orchestrée à l’aide d’un manager qui nous permet de pleinement tirer parti des avantages des microservices comme la mise à l’échelle des composants les plus lents ou encore le changement dynamique de topologie en cas d’attaque. Une telle architecture\, associée aux contributions précédentes\, permettrait un déploiement plus rapide du protocole NDN\, notamment grâce à un développement facilité des fonctions\, à l’exécution sur du matériel conventionnel\, ou encore grâce à la flexibilité qu’offre ce type d’architecture. \n\nTitle : Architectures and advanced functions for a progressive deployment of Information-Centric Networking \nReviewers :\nPr Francine Krief\, Professeur des Universités\, ENSEIRB\nDr. Prométhée Spathis\, Maître de Conférences\, UPMC \nExaminers :\nPr Vincent Chevrier\, Professeur des Universités\, Université de Lorraine\nDr Giovanna Carofiglio\, Distinguished Engineer\, Cisco Systems \nInvited :\nDr Damien Saucez\, Chargé de Recherche\, Inria \nSupervisor :\nPr Olivier Festor\, Professeur des Universités\, Université de Lorraine\nDr Thibault Cholez\, Maître de Conférences\, Université de Lorraine \nAbstract : \nInternet historical protocols (TCP/IP) that were used to interconnect the very first computers are no longer suitable for the massive distribution of content that is now being made. New content-based network protocols (Information-Centric Networking) are currently being designed to optimize these exchanges by betting on a paradigm shift where content\, rather than machines\, are addressable across the Internet. However\, such a change can only be made gradually and if all operational imperatives are met. Thus\, this thesis aims to study and remove the main technological obstacles preventing the adoption of the NDN (Name Data Networking) protocol by operators by guaranteeing the security\, performance\, interoperability\, proper management and automated deployment of an NDN network. \nFirst\, we evaluate the current performance of an NDN network thanks to a tool we made\, named ndnperf\, and observe the high cost for a provider delivering fresh content using this protocol. Then\, we propose some optimizations to improve the efficiency of packet generation. Afterwards\, we focus on the security of the NDN protocol with the evaluation of the content poisoning attack\, known as the second most critical attack on NDN\, but never truly characterized. Our study is based on two scenarios\, with the usage of a malicious user and content provider\, or by exploiting a flaw we found in the packet processing flow of the NDN router. Thus\, we show the danger of this kind of attacks and propose a software fix to prevent the most critical scenario. Thirdly\, we are trying to adapt the HTTP protocol in a way so that it can be transported on an NDN network for interoperability purposes. To do this\, we designed an adaptation protocol and developed two gateways that perform the necessary conversions so that web content can seamlessly enter or exit an NDN network. \nAfter describing our solution\, we evaluate and improve it in order to make web content benefit from a major NDN feature\, the in-network caching. Finally\, we propose a virtualized and orchestrated microservice architecture for the deployment of an NDN network following the Network Fonction Virtualization (NFV) paradigm. We developed seven microservices that represent either an atomic function of the NDN router or a new one for specific purposes. These functions can then be chained to constitute a full-fledged network. Our architecture is orchestrated with the help of a manager that allows it to take the full advantages of the microservices like scaling the bottleneck functions or dynamically change the topology for the current needs (an attack for example). Our architecture\, associated with our other contributions on performance\, security and interoperability\, allows a better and more realistic deployment of NDN\, especially with an easier development of new features\, a network running on standard hardware\, and the flexibility allowed by this kind of architecture. \n 
URL:https://www.loria.fr/event/soutenance-de-these-xavier-marchal/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190606T133000
DTEND;TZID=Europe/Paris:20190606T143000
DTSTAMP:20260608T064202
CREATED:20190520T092629Z
LAST-MODIFIED:20190520T092629Z
UID:7227-1559827800-1559831400@www.loria.fr
SUMMARY:Séminaire SSL : L. Hirschi (INRIA - LORIA) "Security and Privacy of 5G AKA vs. Formal Verification"
DESCRIPTION:Mobile communication networks connect much of the world’s population. The security of every user’s calls\, SMSs\, and mobile data\, depends on the guarantees provided by the Authenticated Key Exchange protocols used. For the next-generation network (5G)\, the 3GPP group has standardized the 5G AKA protocol for this purpose.\nWe first discuss a comprehensive formal model and security analysis of 5G AKA (CCS’18). We extract precise requirements from the 3GPP standards defining 5G and we identify missing security goals. Using the security protocol verification tool Tamarin\, we conduct a full\, systematic\, security evaluation of the model with respect to the 5G security goals. Our evaluation automatically identifies the minimal security assumptions required for each security goal and we find that some critical security goals are not met\, except under additional assumptions missing from the standard. Finally\, we make explicit recommendations with provably secure fixes for the attacks and weaknesses we found.\nWe then discuss a privacy vulnerability we manually found on 5G AKA but that also affects the 3G and 4G versions of AKA (PETS’19). Despite the practical relevance of this new attack\, no prior automated analyses were able to find it. Even a posteriori\, automatically finding the privacy attack and establishing claims about potential fixes are challenging. We discuss why is so and identify some remaining scientific and technical obstacles.
URL:https://www.loria.fr/event/seminaire-ssl-l-hirschi-inria-loria-security-and-privacy-of-5g-aka-vs-formal-verification/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190612T083000
DTEND;TZID=Europe/Paris:20190612T153000
DTSTAMP:20260608T064202
CREATED:20190603T111921Z
LAST-MODIFIED:20190607T111734Z
UID:7366-1560328200-1560353400@www.loria.fr
SUMMARY:(Demi) Journée du Département 4
DESCRIPTION:La (demi) Journée du Département 4 (Traitement automatique des langues et des connaissances) se tiendra en salle A008\, le matin du 12 juin 2019 (horaire prévu : 8h30 – 13h30). \nElle s’articulera autour de présentations par les doctorant.e.s du département\, et une pause café/thé vous sera offerte. \n\nConsulter le flyer avec le programme de la journée
URL:https://www.loria.fr/event/demi-journee-du-departement-4/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190612T090000
DTEND;TZID=Europe/Paris:20190612T103000
DTSTAMP:20260608T064202
CREATED:20190606T082627Z
LAST-MODIFIED:20190606T091325Z
UID:7400-1560330000-1560335400@www.loria.fr
SUMMARY:Soutenance de thèse\, Mathieu Fontaine
DESCRIPTION:Titre : Processus alpha-stables pour le traitement du signal\n\nRapporteurs:\n\nDr. Rémi Gribonval\, Directeur de Recherche\, Inria RENNES\nPr. Hermine Biermé\, Professeure des universités\,  université de Mathématiques POITIERS\n\n\nExaminateurs:\n\nDr. Antoine Lejay\, Directeur de Recherche\, université de Lorraine NANCY\nDr. Angélique Drémeau\, Chargée de Recherche\, ENSTA Bretagne BREST\n\n\nEncadrants:\n\nPr. Roland Badeau\, Professeur\, Télécom ParisTech PARIS\nDr. Antoine Liutkus\, Chargé de Recherche\, Inria MONTPELLIER\n\n\n\nRésumé:\n\nLe sujet scientifique de la séparation de sources sonores (SSS) vise à décomposer les signaux audio en leurs éléments constituants\, par exemple en séparant la voix du chanteur principal de son accompagnement musical ou du bruit de fond. Dans le cas d’enregistrements historiques très anciens et très dégradés\, la SSS étend de manière significative les méthodes classiques de débruitage en permettant de prendre en compte des motifs complexes de signal et de bruit et de rélaiser efficacement la séparation\, là où les approches traditionnelles sont tenues en échec.\nLes processus alpha-stables soulèvent des défis mathématiques et on déjà démontré leur efficacité dans des applications de filtrage et en terme algorithmique. Cette présentation introduira différents modèles alpha-stables d’un point de vue théorique\, dans le but de les étendre dans plusieurs directions. Différents travaux de recherche théorique et d’applications au filtrage et à la restauration d’enregistrements anciens ainsi qu’à la localisation de sources ont été effectués. \n\n\n\n\nTitle : Alpha-stable processes for signal processing\n\nReviewers:\n\nDr. Rémi Gribonval\, Directeur de Recherche\, Inria RENNES\nPr. Hermine Biermé\, Professeure des universités\,  université de Mathématiques POITIERS\n\n\nExaminers:\n\nDr. Antoine Lejay\, Directeur de Recherche\, université de Lorraine NANCY\nDr. Angélique Drémeau\, Chargée de Recherche\, ENSTA Bretagne BREST\n\n\nSupervisors: \n\nPr. Roland Badeau\, Professeur\, Télécom ParisTech PARIS\nDr. Antoine Liutkus\, Chargé de Recherche\, Inria MONTPELLIER\n\nAbstract: \nThe scientific topic of sound source separation (SSS) aims at decomposing audio signals into their constitutive components\, e.g. separate the main signer voice frotm the background music or from the background noise. In the case of very old and degraded historical recordings\, SSS strongly extends classical denoising methods by being able to account for complex signal or noise patterns and achieve efficient separation where traditional approaches fail.\nAlpha-stable processes enjoy important mathematical challenges\, efficient filtering applications and computational efficiency. This presentation targets at studying these models from a theoretical point of view\, for the purpose of extending them in several directions : audio source localization\, theoretical research in multichannel scenarios and restoring old historical recordings. \n  \n\n 
URL:https://www.loria.fr/event/soutenance-de-these-mathieu-fontaine/
LOCATION:C005
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20190614
DTEND;VALUE=DATE:20190615
DTSTAMP:20260608T064202
CREATED:20190313T110715Z
LAST-MODIFIED:20190313T110715Z
UID:6661-1560470400-1560556799@www.loria.fr
SUMMARY:Colloque en l'honneur de Claude Pair\, un des fondateurs de la science informatique
DESCRIPTION:Le 14 juin\, aura lieu au Loria un colloque en l’honneur de Claude Pair\, un des fondateurs de la science informatique\, à l’occasion des ses 85 ans. \nPlus d’informations prochainement sur http://claudepair.fr \n 
URL:https://www.loria.fr/event/colloque-en-lhonneur-de-claude-pair-un-des-fondateurs-de-la-science-informatique/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190619T100000
DTEND;TZID=Europe/Paris:20190619T230000
DTSTAMP:20260608T064202
CREATED:20190617T142218Z
LAST-MODIFIED:20190617T142434Z
UID:7475-1560938400-1560985200@www.loria.fr
SUMMARY:Talk Hiroaki Wagatsuma (Kyushu Institute of Technology\, RIKEN) on Brain-inspired robotics
DESCRIPTION:Hiroaki Wagatsuma (Kyushu Institute of Technology\, RIKEN) will be at Loria until June 28th. He will give a talk entitled « Brain-inspired robotics: Neural Dynamics for the Body Coordination and Interactions with the Environment » on Wednesday 19 June\, 10:00am in room C005. \nAbstract\nThe first issue that he tackled was the elucidation of the mechanism how different time scales of a behavior and synapses are associated according to the rhythm and he currently extended it to the question of how a rhythm (a specific type of the limit cycle in the system) transits to the other\, dynamically and sophisticatedly\, i.e. a structural design of the trajectory or self-organization of multiple rhythms for a complex function. For example\, a synchronous motion spontaneously appears in communication between persons faced each other and their motions differentiate as time advances because they need to express the own expressions each other. A typical example is an interactive game with motions. For judging or proceeding from a stage to the next stage\, the counterpart with a different motion have to synchronize at some moment\, which is a result to compete and determine which is winner\, or looser. A possible hypothesis is that such a quasi-equilibrium state is emerged from the coupling between the behavioral coordination and neuronal dynamics including the coordination and a conflict in the internal decision-making process. He discussed on the issue in the talk.
URL:https://www.loria.fr/event/talk-hiroaki-wagatsuma-kyushu-institute-of-technology-riken/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190620T133000
DTEND;TZID=Europe/Paris:20190620T143000
DTSTAMP:20260608T064202
CREATED:20190520T093240Z
LAST-MODIFIED:20190520T093240Z
UID:7230-1561037400-1561041000@www.loria.fr
SUMMARY:Séminaire SSL : M. Korczynski (LIG - Grenoble) "Internet-wide Measurements for Cybersecurity : The Case of DNS Zone Poisoning"
DESCRIPTION:Current communication networks are increasingly becoming pervasive\, complex\, and ever-evolving due to factors like enormous growth in the number of network users\, continuous appearance of network applications\, increasing amount of data transferred\, and diversity of user behavior. Therefore\, there is a great need for comprehensive Internet-wide measurements for cybersecurity. Critical facts about the Internet security\, such as “Which domain registries are abused by the cybercriminals the most?” or « Which Internet Service Providers do not deploy source IP address filtering\, facilitating massive DDoS attacks? » remain poorly quantified. \nIn this talk\, we will discuss a number of examples of measurement studies of the domain name space. In particular\, we will explore an attack against configuration files of poorly maintained name servers allowing\, for example\, domain hijacking. We refer to this type of attack as to « zone poisoning ». The attack is as simple as sending a single RFC compliant DNS dynamic update packet to a misconfigured server. In the simplest version of an attack\, a miscreant could replace an existing A or MX DNS resource record in a zone file of a server and point the domain name to an IP address under control of an attacker. We will present the global measurement study of the vulnerability. To assess the potential impact of non-secure dynamic updates\, we scanned 290 million domains worldwide and found that among the vulnerable domains are governments\, banks and health care providers\, demonstrating that the threat impacts important services. \nWe have also issued notifications for website owners\, DNS service providers\, and network operators\, suffering from non-secure DNS dynamic updates to assess which mechanisms are more effective at remediating the vulnerability. After the introduction of the General Data Protection Regulation (GDPR) some registration information is\, however\, no longer displayed in the public WHOIS data. Therefore\, we also assessed the effectiveness of alternative communication channels and issued notifications to national CERTs. \nVia our study of the zone poisoning attack and subsequent notifications to affected parties and respective intermediaries\, we aimed to improve the security of the global DNS ecosystem and test alternative methods to contact affected parties after the introduction of the GDPR regulation.
URL:https://www.loria.fr/event/seminaire-ssl-m-korczynski-lig-grenoble-internet-wide-measurements-for-cybersecurity-the-case-of-dns-zone-poisoning/
CATEGORIES:Séminaire
END:VEVENT
END:VCALENDAR