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
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241212T140000
DTEND;TZID=Europe/Paris:20241212T160000
DTSTAMP:20241206T161426Z
CREATED:20241206T161426Z
LAST-MODIFIED:20241206T161426Z
UID:26990-1734012000-1734019200@www.loria.fr
SUMMARY:Habilitation à Diriger des Recherches : Guillaume Moroz (Gamble)
DESCRIPTION:Guillaume Moroz (Gamble) soutiendra son Habilitation à Diriger des Recherches le jeudi 12 décembre à 14 heures en salle C005 du Loria. \nSa présentation s’intitule Structures algébriques et approximations pour la résolution efficace de problèmes géométriques. \nComposition du jury :\n– Jean Cardinal (rapporteur)\, Université libre de Bruxelles\n– Mioara Joldes (rapportrice)\, Laboratoire d’analyse et d’architecture des systèmes (LAAS) de Toulouse\,\n– Bruno Salvy (rapporteur)\, Laboratoire de l’Informatique du Parallélisme (LIP) de Lyon\,\n– Stef Graillat\, Sorbonne Université\n– Marine Minier\, Université de Lorraine\n– Paul Zimmermann\, Centre Inria de l’Université de Lorraine \nRésumé :\nCe manuscrit présente des recherches à l’intersection du calcul formel et de la géométrie\nalgorithmique\, et leurs applications en robotique et en géométrie combinatoire. Il se\nconcentre sur les problèmes sous-jacents de l’évaluation de polynômes et de la\nrecherche des zéros réels de systèmes d’équations. Les travaux s’appuient sur trois\napproches principales : des techniques de réduction de dimension pour résoudre des\nsystèmes d’équations et décrire des courbes singulières ; la réduction des calculs\nredondants grâce à des algorithmes rapides d’évaluation multipoint\, conduisant à des\navancées dans des problèmes tels que le calcul de distances entre triangulations ; et le\ndéveloppement de méthodes d’approximation certifiées en réduisant la précision tout\nen maintenant des résultats corrects. Ces contributions ont conduit au développement\nd’un logiciel dédié pour les chercheurs en robotique\, ainsi qu’à des implantations à\nusage plus général d’algorithmes rapides d’évaluation multipoint de polynômes et de\nrecherche de racines.
URL:https://www.loria.fr/event/habilitation-a-diriger-des-recherches-guillaume-moroz-gamble/
LOCATION:C005\, Loria
CATEGORIES:HDR
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230524T100000
DTEND;TZID=Europe/Paris:20230524T120000
DTSTAMP:20230517T081846Z
CREATED:20230517T080001Z
LAST-MODIFIED:20230517T081846Z
UID:19870-1684922400-1684929600@www.loria.fr
SUMMARY:Soutenance HDR : Nazim Fatès (Mocqua)
DESCRIPTION:Nazim Fatès\, chargé de recherche Inria dans l’équipe Mocqua\, soutiendra son « Habilitation à Diriger des Recherches » le 24 mai à 10h au Loria. \nSon HDR s’intitule « Robustesse des systèmes complexes : étude du rôle de l’aléa dans la dynamique des automates cellulaires ». \nRapporteur(e)s :\n\nBernard de Baets (université de Gand)\,\nBernadette Charron-Bost (directrice de recherche au CNRS\, ÉNS Paris)\nBastien Chopard (université de Genève)\n\nExaminateurs :\n\nPhilippe Chassaing (université de Lorraine)\nEnrico Formenti (université Côte d’Azur)\nEmmanuel Jeandel (université de Lorraine)\n\n\nRésumé :\nCe mémoire présente une sélection de travaux sur les automates cellulaires et les systèmes complexes discrets. Nous nous intéressons au thème de la robustesse de ces systèmes\, à travers l’utilisation de règles asynchrones ou probabilistes. Nous partons du problème de l’analyse et de la classification des automates cellulaires élémentaires asynchrones. Différentes techniques issues de la théorie des probabilités\, chaînes de Markov et martingales\, sont mises en œuvre pour expliquer les propriétés de convergence de ces systèmes. Dans la deuxième partie\, nous présentons des modèles plus complexes\, pour lesquels l’estimation de la robustesse se fait principalement à l’aide de simulations numériques. Les expériences montrent des phénomènes collectifs variés et des réponses aux changements difficiles à prédire par l’analyse des règles locales. Dans la troisième partie\, l’exploration se poursuit en présentant trois problèmes inverses\, problèmes où l’on cherche à trouver des règles qui réalisent un « calcul » sous forme d’un consensus entre cellules ou entre agents. L’ensemble des travaux présentés permet de parcourir différents modèles discrets avec des approches complémentaires. Nous creusons ainsi la question posée par Turing en 1952 où celui-ci évoquait un rôle constructif de l’aléa dans son article sur la morphogenèse.\nAbstract (defence in French) :\nThis thesis presents a selection of research works on the theme of cellular automata and discrete complex systems. We are interested in the robustness of these systems\, mainly through the use of asynchronous or probabilistic rules. We start from the problem of analysing and classifying the dynamics of asynchronous elementary cellular automata. We use techniques from probability theory such as Markov chains and martingales in order to understand the convergence properties of such systems. In the second part\, we present models which are more complex locally and we estimate their robustness properties mainly with numerical simulations. Experiments show that the various collective phenomena we observe have responses to perturbations which are difficult to predict from the analysis of their local rule. The third parts consists of the presentation of three inverse problems\, where one seeks to find the rules that produce a given behaviour\, here a consensus on the state of the cells or the agents. The overall variety of models that are discussed in the thesis allow us to study a variety of models with complementary techniques\, thus following the path opened by Alan Turing in his 1952 article on morphogenesis.
URL:https://www.loria.fr/event/soutenance-hdr-nazim-fates-mocqua/
LOCATION:Loria
CATEGORIES:HDR
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230109T140000
DTEND;TZID=Europe/Paris:20230109T153000
DTSTAMP:20230103T155710Z
CREATED:20230103T155657Z
LAST-MODIFIED:20230103T155710Z
UID:17408-1673272800-1673278200@www.loria.fr
SUMMARY:Soutenance HDR : Mathieu Hoyrup (Mocqua)
DESCRIPTION:Mathieu Hoyrup (Mocqua) will defend his « Habilitation à Diriger des Recherches »\, on Monday\, 9th January at 2pm in room C005. \nHis presentation will be in English and is entitled « Topological Aspects of Representations in Computable Analysis ». \nRapporteur(e)s :\n– Olivier Bournez\, LIX\, École Polytechnique\n– Vasco Brattka\, Universität der Bundeswehr München\n– Elvira Mayordomo\, Universidad de Zagaroza\n\nExaminateurs :\n– Julien Cervelle\, LACL\, Université Paris-Créteil Est\n– Olivier Finkel\, Institut de Mathématiques de Jussieu-Paris Rive Gauche\n– Emmanuel Jeandel\, LORIA\, Université de Lorraine\n\n\nTitre : Aspects Topologiques des Représentations en Analyse Calculable\nRésumé : L’analyse calculable permet de formaliser le traitement algorithmique d’objets mathématiques infinis. La théorie repose sur une représentation symbolique des objets\, dont le choix détermine les capacités de calcul de la machine\, notamment sa difficulté à résoudre chaque problème donné. La friction entre le caractère discret du calcul et la nature continue des objets est capturée par la topologie\, qui exprime l’idée d’approximation finie d’objets infinis.\nNous étudions en profondeur les multiples interactions entre calcul et topologie\, cherchant à analyser l’information qui peut être extraite algorithmiquement d’une représentation. Je me penche plus particulièrement sur la comparaison entre deux représentations d’une même famille d’objets\, sur les liens détaillés entre complexité algorithmique et topologique des problèmes\, ainsi que sur les relations entre représentations finies et infinies.\n\nTitle : Topological Aspects of Representations in Computable Analysis\nAbstract : Computable analysis provides a formalization of algorithmic computations over infinite mathematical objects. The central notion of this theory is the symbolic representation of objects\, which determines the computation power of the machine\, and has a direct impact on the difficulty to solve any given problem. The friction between the discrete nature of computations and the continuous nature of mathematical objects is captured by topology\, which expresses the idea of finite approximations of infinite objects.\nWe thoroughly study the multiple interactions between computations and topology\, analysing the information that can be algorithmically extracted from a representation. In particular\, we focus on the comparison between two representations of a single family of objects\, on the precise relationship between algorithmic and topological complexity of problems\, and on the relationship between finite and infinite representations.
URL:https://www.loria.fr/event/soutenance-hdr-mathieu-hoyrup-mocqua/
LOCATION:C005
CATEGORIES:HDR
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20221219T140000
DTEND;TZID=Europe/Paris:20221219T160000
DTSTAMP:20221208T154322Z
CREATED:20221208T154322Z
LAST-MODIFIED:20221208T154322Z
UID:17330-1671458400-1671465600@www.loria.fr
SUMMARY:Soutenance HDR : Phuc Ngo
DESCRIPTION:Phuc Ngo (Adagio) soutiendra son Habilitation à Diriger des Recherches le 19 décembre à 14h en salle A008. \nLa présentation est intitulée « Analyse et manipulation d’objets discrets » et sera en français. \nRapporteurs : \n\n Laurent Wendling\, LIPADE\, Université Paris Descartes\n Eric Andrès\, Professeur\, XLIM\, Université de Poitiers\n Jacques-Olivier Lachaud\, Professeur\, Professeur\, LAMA\, Université de Savoie\n\nExaminateurs : \n\n Laure Tougne Rodet\, Professeure\, LIRIS\, Université Lyon 2\n Isabelle Debled-Rennesson\, Professeure\, LORIA\, Université de Lorraine\n Fabien Feschet\, Professeur\, LIMOS\, Université Clermont Auvergne\n David Coeurjolly\, LIRIS\, CNRS\n\nVous êtes chaleureusement invités au pot à la suite de la soutenance (vers 17h). \nBien cordialement\,\nPhuc. \n—- Détail sur HDR \nTitre : Analyse et manipulation d’objets discrets\nRésumé : Le travail présenté se situe dans de domaine de la géométrie discrète et du traitement des objets discrets\, définis dans un sous-espace fini de Z^2/Z^3. Plus précisément\, nous nous intéressons au développement d’un cadre formel (via une modélisation géométrique) pour l’étude de tels objets\, tout en essayant de conserver une analogie avec la géométrie euclidienne de R^2/R^3. Ces études ne sont pas seulement théoriques\, mais présentent aussi des intérêts applicatifs en traitement d’images\, analyse de formes et modélisation. Dans le cadre des mouvements rigides sur des images\, nous proposons deux notions : (1) la régularité comme une caractérisation d’images 2D permettant de préserver les propriétés topologiques des images soumises à un mouvement rigide arbitraire\, et (2) la quasi-r-regularité pour la préservation de connexité des objets euclidiens lors du processus de discrétisation. La dernière contribue au développement de nouvelles méthodes de mouvements rigides\, via des modèles intermédiaires des objets discrets\, permettant de préserver mieux la forme des objets transformés. D’autres travaux concernent des structures discrètes pour l’analyse des courbes discrètes bruitées extraites à partir de contour des objets présents sur des images. Dans ce contexte\, nous proposons différents outils géométriques efficaces pour les étudier\, ainsi que les applications dans le domaine de l’analyse et de la reconnaissance de formes. En fin\, nous présentons nos contributions dans le cadre applicatif du traitement et de l’analyse d’images de billons de bois pour des caractérisations géométriques et biologiques via des images en coupe transversale de grumes ou à partir de nuages de points LiDAR afin d’étudier les relations entre la partie extérieure et intérieure de l’arbre.
URL:https://www.loria.fr/event/soutenance-hdr-phuc-ngo/
LOCATION:A008
CATEGORIES:HDR
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20221125T133000
DTEND;TZID=Europe/Paris:20221125T170000
DTSTAMP:20221024T132410Z
CREATED:20221020T122122Z
LAST-MODIFIED:20221024T132410Z
UID:17103-1669383000-1669395600@www.loria.fr
SUMMARY:HDR - Serena Ivaldi (Larsen)
DESCRIPTION:Serena Ivaldi (Larsen) will defend her HDR (Habilitation à Diriger des Recherches) on Friday\, 25th November at 1:30 pm in room A008. \nThe presentation is entitled “From humans to humanoids: learning and interaction for human-humanoid collaboration”.\nAbstract: This manuscript summarizes my main research contributions so far in the domain of human-humanoid collaboration.  The contributions are presented in seven chapters. Chapter 1 introduces the research domain and some of its challenges. In Chapter 2\, we design human-aware controllers that consider human dynamics to generate suitable interaction forces. In Chapter 3\, we propose automated procedures to automatically tune the controller’s many parameters\, with the objective of obtaining generic controllers that can handle a variety of interactions with humans. In Chapter 4\, we develop activity recognition and whole-body motion prediction algorithms that leverage data from wearable motion tracking sensors\, with the objective to inform the robot’s decision and control systems. In Chapter 5\, we address the problem of how robots can learn from human teachers or demonstrators in collaborative scenarios with or without physical interaction. Chapter 6\, describes significant progress in anticipatory human-humanoid collaboration\, in the form of prescient teleoperation. Finally\, Chapter 7 outlines the perspectives and the future research project.
URL:https://www.loria.fr/event/hdr-serena-ivaldi-larsen/
LOCATION:A008
CATEGORIES:HDR
END:VEVENT
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