BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.5//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:LORIA
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20200329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20201025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20211031T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20221030T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20210614T140000
DTEND;TZID=Europe/Paris:20210614T160000
DTSTAMP:20210614T072234Z
CREATED:20210614T072234Z
LAST-MODIFIED:20210614T072234Z
UID:12564-1623679200-1623686400@www.loria.fr
SUMMARY:Soutenance de thèse : Victorien Elvinger
DESCRIPTION:La soutenance de Victorien Elvinger (COAST)\, intitulée « Réplication sécurisée dans les infrastructures pair-à-pair de\ncollaboration »\, se déroulera le Lundi 14 juin 2021 à 14h en salle A008. \nRésumé :\nUne application de collaboration permet à plusieurs individus de coéditer un contenu. Les infrastructures pair-à-pair de collaboration visent à la conception d’applications hautement disponibles\, aux latences faibles\, qui tolèrent les partitions réseaux\, et qui passent à l’échelle. Chaque pair (individu) modifie sa propre copie du contenu. La modification concurrente des copies conduit à leur divergence. Les protocoles de réplication sont responsables de la convergence des copies. \nCes protocoles supposent l’absence de pairs malintentionnés qui compromettent la convergence des copies. Pouvons-nous protéger la convergence des copies et préserver les propriétés des infrastructures pair-à-pair ? Nous proposons deux protocoles qui protègent la convergence des copies. Le premier protocole maintient un journal répliqué et infalsifiable qui enregistre les modifications du contenu. Les pairs conservent l’intégralité du journal pour déjouer les attaques des pairs malintentionnés et pour le transmettre à ceux qui rejoignent la collaboration. Le second protocole permet aux pairs de tronquer leur journal. La troncature du journal repose sur le concept de Stabilité. Une modification devient stable lorsque toute modification intégrée dans le journal dépend d’elle. Pour rejoindre la collaboration\, un pair récupère une copie et un journal tronqué. Il vérifie l’authenticité de la copie à partir du journal tronqué. \nUn type de données répliquées (CRDT) encapsule un protocole de réplication. Les CRDTs séquences supposent généralement un ordre d’intégration causal des modifications du contenu. Le retard d’une modification propage des ralentissements dans l’ensemble du système. La connexion d’un pair peut engendrer l’intégration de nombreuses modifications. Pouvons-nous éliminer ces ralentissements et ces intégrations coûteuses ? Nous formalisons une famille de CRDTs séquences et nous proposons une approche qui permet leur synchronisation par différences d’états. Les différences d’états peuvent être intégrées dans un ordre arbitraire et résumer plusieurs modifications. Nous proposons un CRDT séquence qui tire avantage de notre approche. \nComposition du jury :\nRapporteur·ice·s : \n\nEmmanuelle Anceaume\, directrice de recherche IRISA\nPascal Molli\, professeur à l’Université de Nantes\nFrederik Vercauteren\, KU Leuven\, Belgique\n\nExaminateur·ice·s : \n\nSteve Kremer\, directeur de recherche Inria Grand Est\nEsther Pacitti\, professeure à l’Université de Montpellier 2\n\nSuperviseurs : \n\nFrançois Charoy\, professeur à l’Université de Lorraine\nGérald Oster\, maître de conférence à l’Université de Lorraine\n\n 
URL:https://www.loria.fr/event/soutenance-de-these-victorien-elvinger/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20210623T140000
DTEND;TZID=Europe/Paris:20210623T170000
DTSTAMP:20210617T104051Z
CREATED:20210617T104051Z
LAST-MODIFIED:20210617T104051Z
UID:12581-1624456800-1624467600@www.loria.fr
SUMMARY:PhD defense: Tatiana Makhalova
DESCRIPTION:Tatiana Makhalova will defend his thesis\, entitled: Contributions to pattern set mining: from complex datasets to significant and useful pattern sets\, on Wednesday\, June 23\, at 2 p.m.online (in English).\n\n\n\nAbstract:\nWe discuss different aspects of pattern mining in binary and numerical tabular datasets. The objective of pattern mining is to discover a small set of non-redundant patterns that may cover entirely a given dataset and be interpreted as useful and significant knowledge units. We focus on such issues as (i) formal definition of pattern interestingness\, (ii) the mitigation of the pattern explosion problem\, (iii) measure for evaluating the performance of pattern mining\, and (iv) the discrepancy between interestingness and quality of the discovered pattern sets.\nThe first part of the talk is devoted to a so-called closure structure and the GDPM algorithm for its computing. The closure structure allows for estimating both the data and pattern complexity.  Moreover\, we discuss how the closure structure allows an analyst to understand the intrinsic data configuration before selecting an interestingness measure for pattern mining.\nIn the second part\, we discuss the difference between interestingness and quality of pattern sets. We present the KeepItSimple algorithm that adopts the best practices of supervised learning in pattern mining and relates interestingness and the quality of pattern sets. We show that KeepItSimple allows for efficient mining of a set of interesting and good-quality patterns without any pattern explosion.\nThe third part of the talk is devoted to numerical pattern mining. We present an MDL-based algorithm called Mint for mining pattern sets in numerical data. The Mint algorithm relies on a strong theoretical foundation and at the same time has a practical objective in returning a small set of numerical\, non-redundant\, and informative patterns. Mint has very good behavior in practice and usually outperforms its competitors.\n\n\n\nKeywords: Pattern Set Mining; Pattern interestingness; MDL; Minimum Description Length principle; Closed patterns; Equivalence classes; Data complexity; Closure structure; Pattern explosion; Pattern evaluation; Formal Concept Analysis; Interval Pattern Structures; Binary data; Numerical data\n\n\n\nComposition of the jury\n\n\nReviewers:\n\nArnaud Soulet\, MCf HDR\, Université de Tours\, Tours  \nJilles Vreeken\, Pr. The CISPA Helmholtz Center for Information Security\, Saarbrücken\n \n\nExaminers:\nFrançois Charoy\, Pr. Université de Lorraine\, Nancy\n\n\nAntoine Cornuéjols\, Pr. AgroParisTech\, Paris    \n\nElisa Fromont\, Pr. Université de Rennes\, Rennes\nEsther Galbrun\, CR Inria\, University of Eastern Finland\, Kuopio\nChristel Vrain\, Pr. Université de d’Orléans\, Orléans\n\n\n\n\nSupervisors:\nSergei O. Kuznetsov  Pr. NRU HSE\, Moscow\nAmedeo Napoli\, DR CNRS LORIA\, Nancy
URL:https://www.loria.fr/event/phd-defense-tatiana-makhalova/
LOCATION:online
CATEGORIES:Soutenance
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
END:VCALENDAR