BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:LORIA
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART: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:20190503T110000
DTEND;TZID=Europe/Paris:20190503T120000
DTSTAMP:20190502T133117Z
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:20190418T111403Z
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:20190515T124712Z
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:20190521T080733Z
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:20190521T080342Z
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:20190521T075554Z
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:20190520T092729Z
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:20190424T123633Z
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:20190527T082627Z
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:20190527T150259Z
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:20190510T151646Z
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:20190604T115113Z
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:20190520T092629Z
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:20190607T111734Z
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:20190606T091325Z
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:20190313T110715Z
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:20190617T142434Z
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:20190520T093240Z
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
BEGIN:VEVENT
DTSTART;VALUE=DATE:20190621
DTEND;VALUE=DATE:20190622
DTSTAMP:20190520T064741Z
CREATED:20190520T064741Z
LAST-MODIFIED:20190520T064741Z
UID:7205-1561075200-1561161599@www.loria.fr
SUMMARY:Journée scientifique de la Fédération Charles Hermite
DESCRIPTION:La prochaine Journée Scientifique de la Fédération Charles Hermite intitulée « Modélisation fine versus outils d’analyse et simulation\, un problème d’échelle » se déroulera le vendredi 21 juin 2019 dans les locaux de l’IECL (salle de conférence\, 2ème étage).\n\n\n\nProgramme de la journée et résumé des exposés\nDécouvrir la Fédération Charles Hermite
URL:https://www.loria.fr/event/journee-scientifique-de-la-federation-charles-hermite/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190621T110000
DTEND;TZID=Europe/Paris:20190621T233000
DTSTAMP:20190522T115546Z
CREATED:20190520T130636Z
LAST-MODIFIED:20190522T115546Z
UID:7232-1561114800-1561159800@www.loria.fr
SUMMARY:Colloquiums du Loria : une date\, deux exposés par A. Iera & I.F. Akyildiz
DESCRIPTION:Colloquium à 11h00\, Antonio IERA\n\n« The Internet of Things in the age of Social Networks\, Clouds\, and 5G systems »\nYears have passed by since the Internet of Things (IoT) has appeared on the scene\, becoming one of the major research and industrial subject in the Information and Communications Technology (ICT) arena. Its pervasiveness today has assumed dimensions rarely achieved in the past by other ICT themes\, so as to raise the doubt whether it is more a “trendy” term\, speculatively ridden to increase the attention on studies and products around mature technologies\, rather than a real element of technological discontinuity with respect to the past. \nThis doubt comes also from the fact that\, in spite of its huge success\, what IoT really represents is not completely clear yet. Often\, solutions and paradigms that rely on very dissimilar technologies are included under the common umbrella of the IoT. All this noise around the phenomenon has increased the confusion so that it has become necessary to shed light on it and come to a definition\, shared by the whole community\, of what IoT is and what is not. \nThis talk aims at (i) presenting the evolution of the IoT paradigm and highlighting how the emerging computing and communication paradigms (e.g.\, 5G networking\, Social Networks\, Cloud/Fog/Edge computing\, etc.) are transforming the IoT in terms of architectures\, technologies and protocols\, and (ii) giving a modern definition of the IoT phenomenon by pointing out the differences between IoT and the technologies often confused with it (Sensors\, RFID\, M2M\, etc). \n  \nColloquium à 13h30\, Ian F. AKYILDIZ\n\n\n\n« Internet of Space Things based on New CubeSats Design and SDN/NFV Architecture »\n\n\n\nThe Internet of Things (IoT) for terrestrial deployments is a major part of the next generation 5G wireless systems. However\, there are many use cases such as monitoring remote areas\, terrain monitoring including North and South poles\, intelligent global transport management\, etc. which require a more global\, scalable\, flexible and resilient solution. \nIn this talk\, a novel architecture of the Internet of Space Things (IoST) is introduced stemming from the fast development and application of newly designed CubeSats with compact hybrid THz/Ku/X band frequency transceivers and antenna arrays. The proposed IoST architecture is based on THz band communication for achieving terabit-per-second throughputs among CubeSats. \nFurthermore\, software-defined networking (SDN)\, and network function virtualization (NFV) have been incorporated to effectively separate the abstraction of functionalities from the hardware by decoupling the data forwarding plane from the control plane\, such separation is of prime importance given the limited onboard processing on CubeSats. Additionally\, key parameters in the constellation design including the coverage footprint and number of CubeSats as well as orbital planes\, etc. are investigated for feasibility and deployment studies at different altitudes in the exosphere orbit (800 km and above). \nThrough the new IoST architecture\, a much broader spatial and service domain with greatly enhanced efficacy can be served than with the traditional IoT solutions.
URL:https://www.loria.fr/event/colloquiums-du-loria-une-date-deux-exposes-par-a-iera-i-f-akyildiz/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190626T190000
DTEND;TZID=Europe/Paris:20190626T210000
DTSTAMP:20190626T131701Z
CREATED:20190619T114252Z
LAST-MODIFIED:20190626T131701Z
UID:7478-1561575600-1561582800@www.loria.fr
SUMMARY:MeetUp IA #4
DESCRIPTION:Le MeetUp IA #4 se déroulera le 26 juin à Google Atelier Numérique de 19h00 à 21h00. \nIl portera sur l’intelligence artificielle et le langage humain. \nCe quatrième MeetUp Intelligence Artificielle Nancy abordera le langage humain avec un intérêt particulier pour la parole. \nOn utilise ou entend tous parler d’assistants vocaux (OK google\, Alexa\, Siri) mais que se cache-t-il derrière ceux-ci ? Quelles sont les problèmes associés ? L’assistant comprend-t-il vraiment ce qui est dit ? \nRendez-vous Mercredi 26 Juin pour le découvrir ! \nCette soirée se terminera autour d’un petit apéritif afin d’échanger.
URL:https://www.loria.fr/event/meetup-ia-4/
CATEGORIES:Manifestation
ATTACH;FMTTYPE=image/png:https://www.loria.fr/wp-content/uploads/2019/06/meetup-IA-4.png
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20190701
DTEND;VALUE=DATE:20190706
DTSTAMP:20190722T063641Z
CREATED:20190607T115125Z
LAST-MODIFIED:20190722T063641Z
UID:7440-1561939200-1562371199@www.loria.fr
SUMMARY:École d'été Master Erasmus Mundus+ DEPEND
DESCRIPTION:Une Ecole d’été pour réunir des étudiants ERASMUS et des spécialistes internationaux en informatique et méthodes formelles pour des logiciels sûrs. \nDu 1er juillet au 5 juillet 2019\, l’Université de Lorraine accueille l’École d’été du Master Erasmus Mundus DEPEND (Advanced Systems Dependability). Ce Master International\, mis en place depuis septembre 2018\, concerne trois universités partenaires : l’Université de St Andrews (Écosse)\, l’Université de Maynooth (Irlande) et l’Université de Lorraine (France) au travers du Master Informatique.de Lorraine et de son parcours international « Méthodes Formelles pour les Logiciels Sûrs » (MFLS). Cette École d’été a lieu au Loria (Laboratoire lorrain de recherche en informatique et ses applications) et est organisée par Didier Galmiche\, professeur d’Informatique à l’Université de Lorraine\, chercheur au Loria et directeur du programme Erasmus+ DEPEND. \nLe Master DEPEND propose une formation solide et avancée aux concepts et techniques essentiels pour la conception et la construction de logiciels sûrs\, permettant ainsi aux diplômés d’entamer une carrière d’ingénieur ou de chercheur en entreprise ou laboratoire privé ou public. Les étudiants sélectionnés au niveau international\, suivent sur deux ans deux Masters (un par an) dans deux des trois universités mentionnées\, et obtiennent à la fin les deux diplômes de Master Informatique des sites concernés.\nLes étudiants qui étudient une année au sein de cette formation à l’Université de Lorraine bénéficient de la qualité de la formation du Master Informatique\, notamment sur le thème  »Méthodes Formelles pour les Logiciels Sûrs (MFLS) » au travers des interventions de spécialistes reconnus\, enseignants-chercheurs et chercheurs du Loria (CNRS\, Inria et Université de Lorraine). \nCette École d’été annuelle est donc l’occasion de réunir\, sur un des trois sites partenaires\, les étudiants Erasmus\, issus de différents pays\, les coordinateurs du programme Erasmus+ DEPEND et des spécialistes invités pour suivre diverses activités : présentation de travaux et posters par les étudiants\, exposés et ateliers présentés par des spécialistes internationaux issus de laboratoires ou d’entreprises\, échanges avec les étudiants locaux de Master et/ou de thèse et les enseignants-chercheurs.\nCette année\, des exposés porteront sur des thèmes comme la sécurité des véhicules connectés\, la vérification formelle de systèmes dans l’industrie\, la modélisation de services\, l’apprentissage automatique\, la sécurité des données médicales et des données bancaires\, la programmation sûre\, et aussi le calcul quantique et la logique épistémique dynamique et leurs applications. \nCette École d’été permet aussi aux participants de découvrir la Lorraine et en particulier Nancy et de ses environs ainsi que son environnement scientifique et culturel. Elle doit aussi conduire à renforcer les relations en formation et recherche entre les trois universités et leurs entreprises partenaires. \n  \n\nPlus d’infos sur le Master Erasmus+ DEPEND\nProgramme de l’Ecole d’été Erasmus Mundus DEPEND\n\n  \n  \n 
URL:https://www.loria.fr/event/ecole-dete-master-erasmus-mundus-depend/
CATEGORIES:school
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20190826
DTEND;VALUE=DATE:20190831
DTSTAMP:20190722T063618Z
CREATED:20190607T112606Z
LAST-MODIFIED:20190722T063618Z
UID:7437-1566777600-1567209599@www.loria.fr
SUMMARY:École d’été en traitement du langage naturel
DESCRIPTION:L’école d’été Python4NLP s’adresse aux étudiant.e.s\, chercheur.e.s ou autres personnes intéressées à la fois par l’informatique et les humanités (en particulier la linguistique). Elle vise à développer des compétences en collecte\, traitement et analyse de données textuelles.  Le langage de programmation utilisé est Python et les apprenants seront outillés avec des librairies Python pour être capables de collecter\, traiter\, visualiser et analyser les données textuelles. Le programme prévoit des conférences invitées\, des cours théoriques\, des travaux pratiques et des événements sociaux. \n\nPlus d’informations\nPré-inscription est ouverte ici jusqu’au 1er juillet.\n\nL’école d’été Python4NLP est financée par Lorraine Université d’Excellence et co-organisée par le projet OLKi (Christophe Cerisara\, Aurore Coince) et le GDR CNRS LIFT (Claire Gardent). \n 
URL:https://www.loria.fr/event/ecole-dete-en-traitement-du-langage-naturel/
LOCATION:Nancy\, 54000\, France
CATEGORIES:school
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190903T133000
DTEND;TZID=Europe/Paris:20190903T143000
DTSTAMP:20190828T082416Z
CREATED:20190827T082405Z
LAST-MODIFIED:20190828T082416Z
UID:7850-1567517400-1567521000@www.loria.fr
SUMMARY:Colloquium Loria : Bernard De Baets
DESCRIPTION:Dans le cadre de la XXVIe Rencontres de la Société Francophone de Classification\, le colloquium Loria accueillera Bernard De Baets le mardi 3 septembre dans l’amphithéâtre\, à 13h30. L’exposé sera en anglais. \nLes personnes extérieures au laboratoire doivent s’inscrire auprès de annabelle.arena[@]loria.fr avant le lundi 2 septembre\, au soir. \n  \nRésumé et biographie de l’orateur ici. \n  \n 
URL:https://www.loria.fr/event/colloquium-loria-bernard-de-baets/
CATEGORIES:Colloquium Loria
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20190912
DTEND;VALUE=DATE:20190914
DTSTAMP:20190911T130505Z
CREATED:20190722T070238Z
LAST-MODIFIED:20190911T130505Z
UID:7738-1568246400-1568419199@www.loria.fr
SUMMARY:Le Loria à la 7ème édition de Grand Est Numérique !
DESCRIPTION:Le Loria sera présent les jeudi 12 et vendredi 13 septembre prochain au grand RV du numérique de la Région Grand Est ! \nCet événement s’adresse aux professionnels aguerris et aux novices en matière de numérique. Il a pour objectif de faire rayonner les compétences du territoire au national\, voir à l’international\, tout en connectant les PME\, les startups\, ainsi que tous les acteurs du numérique. Durant ces deux journées de nombreuses thématiques seront abordées lors de conférences. Consulter le détail du programme. \nNos chercheurs interviendront au cours de ces deux journées sur des thématiques comme l’intelligence artificielle\, la fabrication additive ou encore l’IA pour améliorer les visites des les musées. \n\nSylvain Lefebvre\, directeur de recherche Inria interviendra le jeudi 12 à 16h30 pour une durée de 30min dans l’un des espaces workshop sur « Tous les procédés de la fabrication additive »\nJean-Yves Marion\, professeur à l’Université de Lorraine et conseiller scientifique au sein de la start-up Cyber-Detect ainsi que Stéphane Gégout\, membre de Cyber-Detect\, interviendront sur le focus dédié à l’Intelligence Artificielle de la Région Grand Est\, le jeudi 12 septembre de 15h à 16h\nSylvain Castagnos\, maître de conférences à l’Université de Lorraine prendra la parole le le vendredi 13 à 14h40 pour une durée de 30min dans l’un des espaces workshop sur « L’IA pour modifier l’expérience des visiteurs dans les musées au travers de jeux et d’applications mobiles »\nAdrien Coulet\, maître de conférences à l’Université de Lorraine est prévu le vendredi 13 à 11h20 pour une durée de 30 à 40min dans l’un des espaces workshop sur « L’intelligence artificielle pour ajuster les doses de médicaments »\n\nVous aurez l’occasion de rencontrer cinq de nos start-ups : \n\nAlerion (drones)\nCyber-Detect (sécurité informatique)\nAntsway (solution de transport intelligent)\nLybero.net (sécurité informatique)\nGEO2 (fabrication additive)\nDynalips (avatar 3D pour films\, jeux-vidéos et assistance aux malentendants)\n\nToutes les informations du salon Grand Est Numérique 7ème édition sur grandestnumerique.org.
URL:https://www.loria.fr/event/grand-est-numerique-7/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190919T103000
DTEND;TZID=Europe/Paris:20190919T130000
DTSTAMP:20190913T102026Z
CREATED:20190913T101946Z
LAST-MODIFIED:20190913T102026Z
UID:7958-1568889000-1568898000@www.loria.fr
SUMMARY:HDR Defense : Simon Perdrix
DESCRIPTION:Thursday 19th of September at 10H30 am in room Coo5\, Simon Perdrix\, researcher CNRS in our team Mocqua\, will defend his HDR (habitation to conduction research) entitled : \n« Approches Graphiques en Informatique Quantique » \nMembers of Jury : \nOlivier Bournez\, Professeur à l’Ecole Polytechnique\nBob Coecke\, Professeur à l’Université d’Oxford\nEmmanuel Jeandel\, Professeur à l’Université de Lorraine\nElham Kashefi\, Directrice de Recherche CNRS\nIordanis Kerenidis\, Directeur de Recherche CNRS\nMichele Pagani\, Professeur à l’Université Paris Diderot \nPersonnal website of Simon Perdrix  \nMore about Mocqua Team
URL:https://www.loria.fr/event/hdr-defense-simon-perdrix/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190919T140000
DTEND;TZID=Europe/Paris:20190919T150000
DTSTAMP:20190729T114731Z
CREATED:20190729T114731Z
LAST-MODIFIED:20190729T114731Z
UID:7766-1568901600-1568905200@www.loria.fr
SUMMARY:Seminar OLKi : "Ontology applied to data sharing"
DESCRIPTION:Adrien BARTON\, researcher at the Institut de recherche en informatique in Toulouse  will come at Loria for a philosophy-informatics seminar on Sept. 19th at 2pm in LORIA in room A008. \nThis seminar is part of the LUE project Open Language and Knowledge for Citizens and is initiated by our colleagues from the Archives Henri-Poincaré Lab. \nOntology applied to data sharing\n\nApplied ontology is a field at the crossroads of various disciplines\, including computer science and philosophy. It aims to systematically develop general categorizations that promote semantic interoperability of data (that is\, ensuring the preservation of the meaning of data when it is transmitted from one system to another). An applied ontology defines the categories of entities relevant to a field of knowledge\, and sets out formal axioms that clarify the relationships between these entities. \nAn ontology can be represented as a computer file – the OWL (Web Ontology Language) format being frequently used today. The field of biomedical ontologies is particularly active\, with the continued development of a large set of interoperable biomedical ontologies\, the OBO Foundry (http://www.obofoundry.org/). But ontologies are also widely used in many other fields (engineering\, internet of things\, geographic information systems\, environment\, ecology\, etc.). \nI will show how philosophical work on causality or the nature of informational entities can support the development of coherent ontologies\, considering various examples from biomedical ontology. I will briefly present the Quebec PARS3 project for a learning health system\, based on these ontologies\, which aims to support a coupling between care and research activities. \n 
URL:https://www.loria.fr/event/seminar-olki-ontology-applied-to-data-sharing/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190919T150000
DTEND;TZID=Europe/Paris:20190919T170000
DTSTAMP:20190913T110736Z
CREATED:20190913T110529Z
LAST-MODIFIED:20190913T110736Z
UID:7962-1568905200-1568912400@www.loria.fr
SUMMARY:PhD Defense : Renaud Vilmart
DESCRIPTION:Renaud Vilmart\, PhD student at Université de Lorraine in Mocqua team will defend his thesis on Thursday\, Septembre the 19th at 3.00 pm in room C005.\nHis thesis is entitled : « ZX-Calculi for Quantum Computing and their Completeness ». \nHe received the Kleene Award at LICS\, a famous international conference on logic. Read the article (french)
URL:https://www.loria.fr/event/phd-defense-renaud-vilmart/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190919T160000
DTEND;TZID=Europe/Paris:20190919T170000
DTSTAMP:20190913T075028Z
CREATED:20190913T075025Z
LAST-MODIFIED:20190913T075028Z
UID:7949-1568908800-1568912400@www.loria.fr
SUMMARY:Seminar 3D Printing : Tim Kuipers (Netherlands)
DESCRIPTION:Tim Kuipers (Netherlands) will be our invited speakers. He will give a talk on Thursday\, September 19\, 2019 at 16H00 in room A008.\n  \n\nTim Kuipers is a software engineer working on path planning for 3D printing at Ultimaker\, a manufacturer of desktop / concrete floor FDM 3D printers.\nHe started a PhD trajectory 2 years ago at the Delft University of Technology which is aimed on physicalizing heterogeneous model properties – everywhere from varying surface colors to varying stiffness throughout the print.\n  \nOn Thursday 19 September he will present his latest work « CrossFill: Foam Structures with Graded Density for Continuous Material Extrusion » which utilizes a space-filling surface to enforce continuous extrusion of print paths along each layer.\n  \nFor more info:\nhttps://kuipers.weblog.tudelft.nl/
URL:https://www.loria.fr/event/seminar-3d-printing-tim-kuipers-netherlands/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190920T100000
DTEND;TZID=Europe/Paris:20190920T110000
DTSTAMP:20190919T123311Z
CREATED:20190919T113257Z
LAST-MODIFIED:20190919T123311Z
UID:8020-1568973600-1568977200@www.loria.fr
SUMMARY:Talk Ahmed Ali - Qatar Computing Research Institute (QCRI)
DESCRIPTION:Ahmed Ali from the QCRI (Qatar Computing Research Institute) will give a talk on Friday 20 at 10:00 in room C005.\nHe will present his work on Automatic speech recognition developed on 1200 hours of speech. \nAbstract:  \nDialectal Arabic speech is suffering from a lack of labelled resources and a lack of orthography. There are three main challenges in dialectal Arabic speech recognition: (1) finding labelled dialectal speech\, (2) building robust dialectal speech recognition with limited labelled and (3) evaluating speech recognition for dialects with no standard orthographic rules.\nMy talk is divided into three parts: \n\nThe first section addresses dialect identification using speech data\, and introduces our novel approach in combining acoustic\, lexical and phonetic features using deep learning.\nThe second section presents our effort in the Multi-Genre Broadcast challenges. In the MGB-2\, more than 1\,200 hours lightly supervised speech data has been used for training multi-dialect broadcast system. The MGB-3 and MGB-5 will highlight the effort in building dialectal challenge in the wild\, where limited dialectal multi-general YouTube data has been used for transfer learning.\nThe third part of my talk addresses our effort in evaluating dialectal speech with no standard orthographic rules. Our methods learn from multiple transcribers and align the speech hypothesis to overcome the non-orthographic aspect. We have also automated this process by learning from twitter data different writing and propose a new evaluation metric. Finally\, we tried to estimate the word error rate with no reference transcription using decoding and language features. We show that our word error rate estimation is robust for many scenarios with and without the decoding features.\n\nBiography :  \nAhmed Ali is a Principal Engineer at the Arabic Language Technologies group (ALT) at the Qatar Computing Research Institute (QCRI). His work interests are in the area of speech recognition and natural language processing. Ahmed completed his PhD at the University of Edinburgh and BSc at Cairo University. He joined QCRI in 2011.\nPrior to joining QCRI\, Ahmed worked for Nuance in Cambridge\, UK from 2006-2011. Before Nuance\, Ahmed worked for six years at different IBM labs\, including two years at Watson\, USA\, labs. His current research on speech recognition has led to the development of state-of-the-art multi-dialect Arabic speech recognition: QCRI advanced transcription system (QATS). QATS is used by Al-Jazeera to transcribe their online content. DW and BBC have been using QATS. Ahmed’s team has won first place in the worldwide MGB-2 speech recognition competition. He also won the prestigious Qatar Foundation Best Innovation Award in 2018.
URL:https://www.loria.fr/event/talk-ahmed-ali-qatar-computing-research-institute-qcri/
CATEGORIES:Séminaire
END:VEVENT
END:VCALENDAR