BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.4//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20200329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20201025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20211031T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20221030T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20221123T140000
DTEND;TZID=Europe/Paris:20221123T160000
DTSTAMP:20221116T175902Z
CREATED:20221102T141526Z
LAST-MODIFIED:20221116T175902Z
UID:17179-1669212000-1669219200@www.loria.fr
SUMMARY:HDR : Karën Fort (Semagramme)
DESCRIPTION:Karën Fort (Semagramme) soutiendra son HDR (Habilitation à Diriger des Recherches) le mercredi 23 novembre à 14 heures en salle A008. \nSa présentation est intitulée « Myriadisation et éthique pour le traitement automatique des langues ». \nJury : \nRapporteur·e·s : \nJean-Yves Antoine\, Professeur\, Université de Tours\nIris Eshkol\, Professeure\, Université Paris Nanterre\nDirk Hovy\, Associate Professor\, Bocconi University \nExaminateur·rice·s : \nPhilippe Blache\, Directeur de recherche\, CNRS\nArmelle Brun\, Professeure\, Université de Lorraine\nMassimo Poesio\, Professeur\, Université Queen Mary\, Londres\nMarta Severo\, Professeure\, Université Paris Nanterre \nMarraine : \nClaire Gardent\, DR CNRS\, LORIA \nRésumé : \nLe traitement automatique des langues (TAL) a subi deux révolutions ces dix dernières années : l’avènement de l’apprentissage profond (deep learning) et le raccourcissement extrême de la distance entre les productions de la recherche et l’utilisateur final. En conséquence\, les besoins en données ont explosé en parallèle des questions éthiques. Cette habilitation à diriger des recherches présente les travaux que j’ai menés dans le domaine de la production d’annotations manuelles pour le TAL par myriadisation (crowdsourcing)\, en particulier par le jeu (games with a purpose)\, et dans celui de l’éthique pour le TAL. J’y redéfini la myriadisation et les sciences participatives en général et je présente en détail les jeux ayant un but\, leurs atouts et leurs limites. Je m’attarde plus particulièrement sur ZombiLingo\, qui a servi à collecter des annotations en syntaxe de dépendances pour le français et RigorMortis\, un jeu d’annotation d’unités polylexicales. Je me concentre dans une dernière partie sur l’éthique pour le TAL\, un sous-domaine qui n’a véritablement été reconnu qu’à partir de 2016 et dont j’ai été précurseure. Je reviens sur son historique\, son évolution récente et présente mes travaux\, menés dans une optique plus déontologiste que conséquentialiste\, permettant d’avoir une vision systémique du TAL et des problèmes éthiques qu’il pose.
URL:https://www.loria.fr/event/hdr-karen-fort-semagramme/
LOCATION:A008
CATEGORIES:HDR
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220624T140000
DTEND;TZID=Europe/Paris:20220624T170000
DTSTAMP:20220616T064618Z
CREATED:20220616T064618Z
LAST-MODIFIED:20220616T064618Z
UID:16305-1656079200-1656090000@www.loria.fr
SUMMARY:Soutenance HDR : Marc Pouget (Gamble)
DESCRIPTION:Marc Pouget (Gamble) soutiendra son Habilitation à Diriger des Recherches le vendredi 24 juin à 14h en salle A008\, avec une présentation intitulée « Bivariate systems & topology of plane curves: algebraic and numerical methods ». \n\nAbstract: The work presented in this thesis belongs to the domain of non-linear computational geometry in low dimension. More precisely it focuses on solving\nbivariate systems and computing the topology of curves in the plane. When the input is given by polynomials\, the natural tools come from computer algebra. Our\ncontributions are algorithms proven efficient in a deterministic or a Las Vegas settings together with a practical efficient software for topology certified\ndrawing of a plane algebraic curve. When the input is not restricted to be polynomials but given by interval functions\, we design algorithms based on\ncertified numerical approches using subdivision and interval arithmetic. The input is then required to fulfill some generic assumptions and our algorithms\nare certified in the sense that they terminate if and only if the assumptions are satisfied.\n\nComposition du jury\nPrésidente :\nMarine Minier\, Professeure à l’Université de Lorraine\nRapporteurs :\nEvelyne Hubert\, Directrice de Recherche INRIA\, Sophia Antipolis\nSonia Pérez-Dıaz\, Professeure à l’Université d’Alcala\, Espagne\nEric Schost\, Professeur à l’Université de Waterloo\, Canada\nExaminateurs :\nDamien Chablat\, Directeur de Recherche CNRS\, Université de Nantes\nNicolas Delanoue\, Maître de conférence\, HDR\, Université d’Angers
URL:https://www.loria.fr/event/soutenance-hdr-marc-pouget-gamble/
LOCATION:A008
CATEGORIES:HDR
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220316T140000
DTEND;TZID=Europe/Paris:20220316T170000
DTSTAMP:20220309T155622Z
CREATED:20220309T155622Z
LAST-MODIFIED:20220309T155622Z
UID:15290-1647439200-1647450000@www.loria.fr
SUMMARY:HDR - Romain Serizel (Multispeech)
DESCRIPTION:Romain Serizel (Multispeech) will defend his HDR on Tuesday\, 16th March at 2pm in room A008. \nHis presentation is entitled « Contributions to speech processing and ambient sound analysis ». \nAbstract: Contributions to speech processing and ambient sound analysis We are constantly surrounded by sounds that we continuously exploit to adapt our actions to situations we are facing. Some of the sounds like speech can have a particular structure from which we can infer some information\, explicit or not. Within the last decade\, there has been significant progress in the domain of speech and audio processing and in particular in the domain of machine learning applied to speech and audio processing. Thanks to these progresses\, speech has become a central element in many human to human distant communication tools as well as in human to machine communication systems. These solutions work pretty well on clean speech or under controlled condition. However\, in scenarios that involve the presence of acoustic perturbation such as noise or reverberation systems performance tends to degrade severely. In this thesis we focus on processing speech and its environments from an audio perspective. The algorithms proposed here are relying on a variety of solutions from signal processing based approaches to data-driven solutions based on supervised matrix factorization or deep neural networks. We propose solutions to problems ranging from speech recognition\, to speech enhancement or ambient sound analysis. The target is to offer a panorama of the different aspects that could improve a speech processing algorithm working in a real environments. We start by describing automatic speech recognition as a potential end application and progressively unravel the limitations and the proposed solutions ending-up to the more general ambient sound analysis. Contributions au traitement de la parole et à l’analyse des sons ambiants Nous sommes constamment entourés de sons que nous exploitons pour adapter nos actions aux situations auxquelles nous sommes confrontés. Certains sons comme la parole peuvent avoir une structure particulière à partir de laquelle nous pouvons déduire des informations\, explicites ou non. Au cours de la décennie écoulée\, des progrès significatifs ont été réalisés dans le domaine du traitement de la parole et du son. Grâce à ces progrès\, la parole est devenue un élément central de nombreux outils de communication à distance d’humain à humain ainsi que dans les systèmes de communication humain-machine. Dans les scénarios qui impliquent la présence de perturbations acoustiques telles que du bruit ou de la réverbération les performances peuvent avoir tendance à se dégrader gravement. Dans cette HDR\, nous nous concentrons sur le traitement de la parole et de son environnement d’un point de vue audio. Les algorithmes proposés reposent sur une variété de solutions allant des approches basées sur le traitement du signal aux solutions orientées données. Nous proposons des solutions à des problèmes allant de la reconnaissance vocale au rehaussement de la parole ou à l’analyse des sons ambiants. L’objectif est d’offrir un panorama des différents aspects qui pourraient être améliorer un algorithme de traitement de la parole fonctionnant dans un environnement réel. Nous commençons par décrire la reconnaissance automatique de la parole comme une application finale potentielle et analysons progressivement les limites et les solutions proposées aboutissant à l’analyse plus générale des sons ambiants.
URL:https://www.loria.fr/event/hdr-romain-serizel-multispeech/
CATEGORIES:HDR
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220309T140000
DTEND;TZID=Europe/Paris:20220309T160000
DTSTAMP:20220309T154609Z
CREATED:20220309T154609Z
LAST-MODIFIED:20220309T154609Z
UID:15288-1646834400-1646841600@www.loria.fr
SUMMARY:HDR - Rémi Badonnel (Resist)
DESCRIPTION:Rémi Badonnel (Resist) will defend his HDR (Habilitation à Diriger des Recherches) on Wednesday\, 9th March at 2pm in room A008. \nHis presentation is entitled « Managing Security for the Cyber-Space: From Smart Monitoring to Automated Configuration ». \nAbstract: The Internet has become a great integration platform for building and operating complex and value-added networked systems. These systems are however exposed to a large variety of security attacks\, that are also gaining in sophistication and coordination. In that context\, the objective of my research work is to support security management for the cyberspace\, with the elaboration of new monitoring and configuration solutions for these systems. A first axis of this work focuses on the investigation of smart monitoring methods capable to cope with low-resource networks. In particular\, we propose a lightweight monitoring architecture for detecting security attacks in low-power and lossy networks. A second axis concerns the assessment and remediation of vulnerabilities that may occur when changes are operated on system configurations. Based on vulnerability descriptions\, we design and implement dedicated strategies for improving the coverage and efficiency of vulnerability assessment activities using versioning and probabilistic techniques\, and for preventing the occurrence of new vulnerabilities during remediation operations. A third axis is dedicated to the automated configuration of virtualized resources to support security management. In particular\, we introduce a software-defined security approach for cloud infrastructures\, and analyze to what extent programmability facilities can contribute to their protection at the earliest stage\, through the dynamic generation of specialized system images with reduced attack surfaces. Complementarily\, we work on building and verification techniques for supporting the orchestration of security chains\, that are composed of virtualized network functions\, such as firewalls or intrusion detection systems. Finally\, several research perspectives on security automation are pointed out with respect to ensemble methods\, composite services and verified artificial intelligence. \n 
URL:https://www.loria.fr/event/hdr-remi-badonnel-resist/
CATEGORIES:HDR
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20210921T140000
DTEND;TZID=Europe/Paris:20210921T170000
DTSTAMP:20210914T163229Z
CREATED:20210914T163229Z
LAST-MODIFIED:20210914T163229Z
UID:13469-1632232800-1632243600@www.loria.fr
SUMMARY:Soutenance HDR : Valentin Feray
DESCRIPTION:Valentin Feray\, chargé de recherche CNRS\, soutiendra son Habilitation à Diriger des Recherches intitulée : « On random combinatorial structures: partitions\, permutations and asymptotic normality ». Celle-ci se déroulera en anglais le mardi 29 juin à partir de 9h00 en salle C005 du Loria. Le nombre de places étant limité\, elle sera aussi accessible en distanciel. \nLa soutenance sera probablement en anglais. Elle aura lieu mardi prochain\, 21 septembre\, à 14h en salle de conférences au 2e étage de l’IECL Nancy et sera aussi diffusée en ligne. \nMesures sanitaires : le port du masque est obligatoire; le pass sanitaire sera demandé uniquement pour accéder au pot.
URL:https://www.loria.fr/event/soutenance-hdr-valentin-feray/
LOCATION:IECL\, Institut Élie Cartan de Lorraine
CATEGORIES:HDR
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20210629T090000
DTEND;TZID=Europe/Paris:20210629T110000
DTSTAMP:20210622T094839Z
CREATED:20210622T094839Z
LAST-MODIFIED:20210622T094839Z
UID:12594-1624957200-1624964400@www.loria.fr
SUMMARY:Soutenance HDR : Sorin Stratulat (Mosel-Veridis)
DESCRIPTION:Sorin Stratulat\, Maître de conférences dans l’équipe Mosel-Veridis\, soutiendra son HDR : intitulée : « Noetherian Induction for Computer-Assisted First-Order Reasoning/Récurrence noethérienne pour le raisonnement de premier ordre et assisté par l’ordinateur ». Celle-ci se déroulera en anglais le mardi 29 juin à partir de 9h00 en salle C005 du Loria. Le nombre de places étant limité\, elle sera aussi accessible en distanciel. \nRésumé : \nLe principe de la récurrence noethérienne est un des plus généraux principes du raisonnement formel. Dans le cadre du raisonnement de premier ordre\, nous proposons une classification de ses instances pouvant être partagées en instances basées sur des termes et sur des formules. Nous donnons un aperçu du raisonnement par récurrence noethérienne basé sur des termes et des formules\, et établissons des relations entre eux. Nous montrons que toute preuve intégrant du raisonnement par récurrence noethérienne basée sur des termes peut être convertie en une preuve dont le raisonnement par récurrence est basé sur des formules. La question de la conversion dans l’autre direction reste ouverte. Pourtant\, nous identifions certaines classes de preuves par récurrence noethérienne basée sur des formules qui peuvent être traduites en des preuves dont le raisonnement par récurrence est basé sur des termes. Nous établissons des liens entre le raisonnement noéthérien basé sur des formules et d’autres types de raisonnement formel de premier ordre\, comme le raisonnement par récurrence cyclique pour la logique de premier ordre avec des définitions inductives (FOLID) et le raisonnement basé sur la saturation. Nous avons mis au point des méthodologies pour certifier le raisonnement noethérien basé sur des formules et le raisonnement cyclique pour FOLID en utilisant l’assistant de preuve Coq. \nMots-clés : raisonnement par récurrence noethérienne\, raisonnement formel de premier ordre\, certification de preuves\, SPIKE\, Coq.\n  \nJury :\nRapporteurs :\nM. Adel Bouhoula\, Professeur\, Arabian Gulf University\, Bahreïn\nMme. Evelyne Contejean\, Directrice de recherche\, CNRS\nMme. Viorica Sofronie-Stokkermans\, Professeure\, Université de Coblence\, Allemagne \nExaminateurs :\nM. Tudor Jebelean\, Professeur\, Université Johannes Kepler\, Linz\, Autriche\nMme. Olga Kouchnarenko\, Professeure\, Université de Franche-Comté\nM. Stephan Merz\, Directeur de recherche\, INRIA\nM. Michaël Rusinowitch\, Directeur de recherche\, INRIA (parrain)\nMme. Jeanine Souquières\, Professeure\, Université de Lorraine \n 
URL:https://www.loria.fr/event/soutenance-hdr-sorin-stratulat/
LOCATION:C005\, Loria
CATEGORIES:HDR,Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20210423T150000
DTEND;TZID=Europe/Paris:20210423T163000
DTSTAMP:20210416T094508Z
CREATED:20210416T094459Z
LAST-MODIFIED:20210416T094508Z
UID:12079-1619190000-1619195400@www.loria.fr
SUMMARY:HDR defense - Claudia Ignat (Coast)
DESCRIPTION:Claudia Ignat (Coast team) will defend her HDR (Habilitation à Diriger des Recherches)\, entitled « Large-scale trustworthy distributed collaborative systems » on Friday April 23 at 3pm. The defense will be held in English. \n \nShort abstract: \nMost existing collaborative systems rely on a central authority and place personal information in the hands of a single large corporation which is a perceived privacy threat. Moreover\, these systems do not scale well in terms of the number of users and their modifications. My research work aims to move away from centralized authority-based collaboration towards a large scale trust-based peer-to-peer collaboration where control over data is given to users who can decide with whom to share their data. The main advantages of peer-to-peer collaborative systems are high scalability and resilience to faults and attacks. \nFirst\, I describe my contributions to the design and evaluation of optimistic data replication algorithms. I also present my work on group awareness specifically on what information should be provided to users to prevent conflicting changes and to understand divergence when conflicts cannot be avoided. \nSecondly\, I describe my contributions on large scale trustworthy collaboration. I present a contract-based collaboration model where contracts are specified by the data owners when they share the data and user trust is assessed according to the observation of adherence to or violation of contracts. For testing the proposed trust-based collaboration model\, I designed a user experiment employing trust game and relying on a computational trust metric according to user exchanges in this game. \nFinally\, I present my future research directions on secure and trustworthy collaborative data management. \nKeywords: distributed collaborative systems\, operational transformation\, CRDT\, group awareness\, trust\, contract-based collaboration\, authenticated logs\, trust game\, user studies \nMore details are available here \nJury members\nReviewers\nPrasun DEWAN\, Professor at University of North Carolina at Chapel Hill\nValerie ISSARNY\, Director of research at Inria\nFrançois TAIANI\, Professor at Université de Rennes I \nExaminers\nSihem AMER-YAHIA\, Director of research at CNRS\nFrançois CHAROY\, Professor at Université de Lorraine\nIsabelle CHRISMENT\, Professor at Université de Lorraine\nFabien GANDON\, Director of research at Inria\nPascal MOLLI\, Professor at Université de Nantes
URL:https://www.loria.fr/event/habilitation-defense-claudia-ignat-coast/
CATEGORIES:HDR
END:VEVENT
END:VCALENDAR