BEGIN:VCALENDAR VERSION:2.0 PRODID:-//LORIA - ECPv6.17.4.1//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:20210201T140000 DTEND;TZID=Europe/Paris:20210201T160000 DTSTAMP:20210118T085751Z CREATED:20210118T085751Z LAST-MODIFIED:20210118T085751Z UID:11494-1612188000-1612195200@www.loria.fr SUMMARY:PhD defense: Itsaka Rakotonirina DESCRIPTION:Itsaka Rakotonirina\, PhD student in the Pesto Team\, will defend his thesis on Monday\, February 1st at 2pm. \n \nTitle: Symbolic verification of cryptographic protocols\, theory and practice \nThe defence will be english. You can also find his dissertation here. \nAbstract: \nThis thesis studies the analysis of cryptographic protocols. They are sequences of instructions permitting to interact with a recipient remotely while protecting the sensitive content of the communication from a potential malicious third party. Classical cases where the confidentiality and the integrity of the communication are critical are\, among others\, online payments and medical-service booking\, or electronic voting. \nWe study notions of security defined technically by observational equivalences (which includes among others confidentiality\, anonymity or non-traceability). We designed a program\, DeepSec\, which\, from the description of a protocol for a fixed number of participants\, verifies in a fully-automated way whether the protocol offers a security guarantee of this type. We demonstrate the ability of this tool to analyse complex attack scenarios through several examples\, optimisations\, and a detailed study of the complexity of the underlying problem. \nJury: \nDavid Basin (ETH Zurich) – reviewer\, president \nTamara Rezk (Inria Sophia Antipolis) – reviewer \nMyrto Arapinis (University of Edinburgh) \nVincent Cheval (Inria Nancy) – co-advisor \nThomas Jensen (Inria Rennes) \nSteve Kremer (Inria Nancy) – advisor \n\n\n\nCatuscia Palamidessi (Inria Saclay) URL:https://www.loria.fr/event/phd-defense-itsaka-rakotonirina/ CATEGORIES:Soutenance END:VEVENT BEGIN:VEVENT DTSTART;VALUE=DATE:20210204 DTEND;VALUE=DATE:20210205 DTSTAMP:20210127T090552Z CREATED:20210127T090552Z LAST-MODIFIED:20210127T090552Z UID:11506-1612396800-1612483199@www.loria.fr SUMMARY:CISPA-LORIA Virtual Workshop on Cybersecurity DESCRIPTION:The CISPA – LORIA virtual workshop on cybersecurity will take place on Thursday\, February 4th. \n \n\n\n\nOrganization: Prof. Antoine Joux Program \n\n\n\n\n\n\n\n\n\n10:00am-10:15am: Get together in the gather.town common space (15 min) \n10:30am-10:50am: Benoît-Michel Cogliati (Researcher\, CISPA) and Virginie Lallemand (Researcher\, LORIA): Deterministic Authenticated Encryption GIAE from the Tweakable Pseudorandom Injection TableSpoon (20 min) \n10:50am-11:00am: Discussion (10 min) \n11:00am-11:20am: Bizhan Alipourpijani (PhD Student funded by DigiTrust\, LORIA): Online Attacks on Picture Owner Privacy (20 min) \n11:20am-11:30am: Discussion (10 min) \n11:30am-01:00pm: Lunch break (90 min) \n01:00pm-01:20pm: Robert Künnemann (Research group leader at CISPA): Accountability without bounds! (20 min) \n01:20pm-01:30pm: Discussion (10 min) \n01:30pm-01:35pm:  5-minute break \n01:35pm-01:55pm: Jannik Dreier (Associate Professor at Université de Lorraine\, member of the PESTO team at LORIA): Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols (20 min) \n01:55pm-02:05pm: Discussion (10 min) \n02:05pm-02:30pm: Final discussion (25 min) \n\n\n\n\nAbstracts\nSpeakers: Benoît-Michel Cogliati (Research group leader at CISPA) and Virginie Lallemand (CNRS \nresearcher in the CARAMBA team at LORIA) \nTitle: Deterministic Authenticated Encryption GIAE from the Tweakable Pseudorandom Injection TableSpoon \nAbstract: This paper explores the use of fixed-length Tweakable Pseudorandom Injections (TPRIs) in the context of deterministic authenticated encryption (DAE). First\, we propose an efficient generic construction that turns a secure tweakable block cipher (TBC) into an expanding secure TPRI with minimal security loss. Second\, we instantiate this generic structure and present TableSpoon\, a fixed- length TPRI based on Deoxys-BC\, the AES-based tweakable block cipher used in one of the winners of CAESAR. We design and analyze a new TPRI-based DAE scheme that bears similarities to the GCM-SIV mode of operation. Our new mode is highly efficient\, parallelizable\, and offers $(n+\min(n\,t))/2$ bits of security\, where n\,t denote respectively the input block size and the tweak size of the underlying TPRI. When implemented using TableSpoon\, we achieve speeds of 1.20 c/B during the encryption of 64kB messages on the Skylake microarchitecture\, which is significantly faster than earlier TBC-based DAE schemes that offer similar security guarantees. \n===================================================================== \nSpeaker: Bizhan Alipourpijani (PhD Student funded by DigiTrust\, LORIA) Title: Online Attacks on Picture Owner Privacy \nAbstract:\nFacebook is the dominant platform for users to interact\, share pictures\, and stay connected to their friends. Attribute inference attacks are emerging threats to user privacy in social media such as Facebook. We present an online attribute inference attack by leveraging Facebook picture metadata (i) alt-text generated by Facebook to describe picture contents\, and (ii) comments containing words\, emojis posted by other Facebook users. Specifically\, we study the correlation of the picture’s owner with Facebook generated alt-text and comments used by commenters when reacting to the picture. We concentrate on gender attribute\, which is highly relevant for targeted advertising or privacy breaking. We explore how to launch an online gender inference attack on any Facebook user by handling online newly discovered vocabulary using the retrofitting process\, for enriching a core vocabulary built during offline training. Our experiments show that even when the user hides most public data (e.g.\, friend list\, public attribute\, page\, group)\, an attacker can detect user gender with AUC (area under the ROC curve) from 87% to 92%\, depending on the picture metadata availability. Moreover\, we can detect with high accuracy sequences of words leading to gender disclosure\, and accordingly\, enable users to derive countermeasures and configure safely their privacy settings. \n===================================================================== \nSpeaker: Robert Künnemann (Research group leader at CISPA) Title: Accountability without bounds! \n\n\n\n\n\n\nAbstract: Accountability in protocol design allows us to examine\, justify and incentivize trust and provide a basis to act upon attacks that cannot be prevented a priori. We capture accountability as a protocol’s ability to identify the causes of any eventual violation of some security goal and translate it into trace properties that can be automatically verified. More recently\, we extended this verification mechanism with support for an unbounded set of participants. Finally\, we look at accountability in a setting where protocol parties are truly independent\, i.e.\, they can choose not to follow the protocol without giving control to some designated adversary. \n===================================================================== \nSpeaker: Jannik Dreier (Associate Professor at Université de Lorraine\, member of the PESTO team at LORIA) \nTitle: Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols \nAbstract: Tamarin is a popular tool dedicated to the formal analysis of security protocols. One major strength of the tool is that it offers an interactive mode\, allowing to go beyond what push-button tools can typically handle. Tamarin is\, for example\, able to verify complex protocols such as TLS\, 5G\, or RFID protocols. However\, one of its drawbacks is its lack of automation. For many simple protocols the user often needs to help Tamarin by writing specific lemmas\, called “sources lemmas”\, which requires some knowledge of the internal behavior of the tool. \nIn this paper\, we propose a technique to automatically generate sources lemmas in Tamarin. We prove formally that our lemmas indeed hold for arbitrary protocols that make use of cryptographic primitives that can be modelled with a subterm convergent equational theory (modulo associativity and commutativity). We have implemented our approach within Tamarin. Our experiments show that\, in most examples of the literature\, we are now able to generate suitable sources lemmas automatically\, in replacement of the hand-written lemmas. As a direct application\, many simple protocols can now be analyzed fully automatically\, while they previously required user interaction. \n\n\n\n  URL:https://www.loria.fr/event/cispa-loria-virtual-workshop-on-cybersecurity/ CATEGORIES:Séminaire END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210210T084500 DTEND;TZID=Europe/Paris:20210210T120000 DTSTAMP:20210203T103307Z CREATED:20210108T081921Z LAST-MODIFIED:20210203T103307Z UID:11472-1612946700-1612958400@www.loria.fr SUMMARY:Point d'étape du projet LUE OLKi DESCRIPTION:La communauté OLKi et plus largement les membres des laboratoires du consortium OLKi sont invités le mercredi 10 février matin au point d’étape du projet avec le Comité exécutif de Lorraine Université d’Excellence et des experts extérieurs invités. \n \nProgramme \n\n8h45 – 9h00 : Réglages techniques (15′) \n9h00 – 9h15 : Tour de table (15′) \n9h15 : Présentation des travaux des work packages (1h30) \n9h15 – 9h40 : WP1 Connaissance et ingénierie \n9h40 – 10h05 : WP2 Langage \n10h05 – 10h30 : WP3 Défis sociétaux \n10h30 – 10h45 : Focus sur la plateforme OLKi \n10h45 – 11h00 : Pause (15′) \n11h00 – 12h00 : Discussion entre le Comex LUE\, des experts invités et le comité opérationnel sur le projet et sa trajectoire \n12h00 – 13h00 : Forum autour des pitches avec présence des auteurs pour répondre aux questions\nInscriptions via ce lien URL:https://www.loria.fr/event/point-detape-du-projet-lue-olki/ CATEGORIES:Séminaire END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210211T090000 DTEND;TZID=Europe/Paris:20210211T120000 DTSTAMP:20210211T150748Z CREATED:20210211T150748Z LAST-MODIFIED:20210211T150748Z UID:11510-1613034000-1613044800@www.loria.fr SUMMARY:PhD defense: Daniel El Ouraoui DESCRIPTION:Daniel El Ouraoui\, doctorant dans l’équipe Mosel-Veridis\, soutiendra sa thèse intitulée « Méthodes pour le raisonnement d’ordre supérieur dans SMT »\, effectuée sous la direction de Jasmin Blanchette\, Pascal Fontaine et Stephan Merz\, le 11 février à 9h. \n \nRésumé :\n \nLa vérification formelle de programmes informatiques ou de systèmes dits\ncritiques tels que dans le transport\, l’énergie\, etc\, est essentielle pour\ngarantir le bon fonctionnement de ces systèmes. Les méthodes de vérification\nemployées s’appuient très fortement sur des procédés mathématiques et logiques\npermettant de raisonner de manière formelle sur le comportement de ces systèmes.\nCes procédés définissent généralement les comportements sous forme de grands\nensembles de contraintes logiques. L’approche par satisfaisabilité est une\nméthode largement utilisée pour vérifier ces contraintes et est un exemple de\ncas\, où les solveurs SMT (satisfaisabilité modulo théories) sont\nfortement sollicités \nGénéralement\, les solveurs SMT ne gèrent que la logique de premier ordre et ils \nne peuvent généralement pas effectuer de preuves par induction. C’est regrettable\, car la\nplupart des outils de vérification interactifs\, qui utilisent les solveurs SMT\,\nutilisent des langages d’ordre supérieur. \nL’objectif de cette thèse dans sa globalité est d’offrir des solutions pour\naméliorer les interactions entre solveur automatique et assistant de preuves. En\nparticulier nous répondons à deux problématiques importantes permettant\nd’améliorer les usages de solveurs SMT au sein des assistants de preuves. Notre\npremière contribution permet de réduire l’écart entre solveur et assistant de\npreuve en proposant une architecture adaptée pour la logique d’ordre supérieur.\nLa seconde contribution permet d’améliorer les capacités de raisonnement des\nsolveurs SMT pour les quantificateurs. Pour les deux approches développées nous\napportons un ensemble d’évaluation sur des problèmes extraits pour la grande\nmajorité de problèmes de formalisation. Les résultats obtenus lors de ces\névaluations sont encourageants et montrent que les techniques développées dans\ncette thèse peuvent apporter de bonnes améliorations pour les solveurs SMT. \nCe doctorat s’est effectué dans le cadre du projet ERC porté par Jasmin Blanchette\n(Matryoshka)\, un projet qui vise à concevoir des\nprouveurs automatiques utiles pour la vérification interactive\, et réduire\nl’écart entre les prouveurs interactifs et solveurs automatiques. L’un des\nobjectifs concrets du projet est d’étendre les capacités de raisonnement des\nsolveurs SMT vers l’ordre supérieur. \n\n\nMembres du jury :\n \nRapporteurs :\nMme Micaela MAYERO \, Maître de conférences\, IUT de Villetaneuse – Université Sorbonne Paris Nord – FRANCE\nM. Yakoub SALHI \, Professeur\, Université d’Artois – FRANCE\nExaminateurs :\nM. David DÉHARBE\, Professeur\, CLEARSY Aix-en-Provence – FRANCE\n\nMme Catherine DUBOIS\, Professeur\, Ecole Nationale Supérieure d’Informatique pour l’Industrie et l’Entreprise – FRANCE\nMme Chantal KELLER\, Maître de conférences\, LRI\, Université Paris-Saclay – FRANCE\n\n\nEncadrants :\nM. Jasmin BLANCHETTE\, Professeur associé\, Université libre d’Amsterdam – PAYS-BAS\nM. Pascal FONTAINE\, Professeur\, Université de Liège – BELGIQUE\nM. Stephan MERZ\, DR2\, Inria Nancy – Grand Est – FRANCE URL:https://www.loria.fr/event/phd-defense-daniel-el-ouraoui/ CATEGORIES:Soutenance END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210212T140000 DTEND;TZID=Europe/Paris:20210212T153000 DTSTAMP:20210211T151125Z CREATED:20210211T151125Z LAST-MODIFIED:20210211T151125Z UID:11512-1613138400-1613143800@www.loria.fr SUMMARY:D3 Seminar: Thomas Lambert (Inria Rennes) DESCRIPTION:Next D3 seminar will take place on February 3rd at 2pm online.\nThomas Lambert\, postdoctoral researcher at Inria Rennes\, will give a presentation entitled ‘Performance Analysis and Optimality Results for Data-Locality Aware Tasks Scheduling with Replicated Inputs »\n\n \n« Replication of data files\, as automatically performed by Distributed File Systems such as HDFS\, is known to have a crucial impact on data locality in addition to system fault tolerance. Indeed\, intuitively\, having more replicas of the same input file gives more opportunities for this task to be processed locally\, i.e.without any input file transfer. Given the practical importance of this problem\, a vast literature has been proposed to schedule tasks\, based on a random placement of replicated input files. Our goal in this study is to evaluate the performance of the default greedy placement algorithm\, both in terms of makespan minimization (minimize the completion time of the last task when non-local processing is forbidden) and communication minimization (minimize the number of non-local tasks when no idle time on resources is allowed). In the case of homogenous tasks\, we are able to prove\, using models based on « balls into bins » and « power of two choices » problems\, that the well known good behavior of classical strategies can be theoretically grounded. Going further\, we even establish that it is possible\, using semi-matchings theory\, to find the optimal solution in very small time. We also use known graph-orientation results to prove that this optimal solution is indeed near-perfect with strong probability. » URL:https://www.loria.fr/event/d3-seminar-thomas-lambert-inria-rennes/ CATEGORIES:Séminaire END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210218T130000 DTEND;TZID=Europe/Paris:20210218T174500 DTSTAMP:20210121T173939Z CREATED:20210121T173939Z LAST-MODIFIED:20210121T173939Z UID:11504-1613653200-1613670300@www.loria.fr SUMMARY:Journée Fédération Charles Hermite : IA et énergie DESCRIPTION:Le prochaine journée scientifique de la Fédération Charles Hermite (CRAN\, IECL\, LORIA) aura lieu le 18 février de 13h30 à 17h45 en ligne. \nOrganisée par Vincent Chevrier (équipe Simbiot du Loria) et Antoine Lejay (IECL)\, elle a pour thématique « Intelligence artificielle et énergie ». \n \n\n\n\nNotre société vit actuellement une transition énergétique qui pose de nombreux défis en termes de gestion de la production\, du transport\, du stockage et de la consommation de l’énergie. \nCes défis concernent la société dans sa globalité et leur étude demande une réflexion systémique. Ils posent de nombreuses questions qui dépassent largement le cadre du domaine de l’énergie touchant notamment à celui de l’intelligence artificielle. \nCe séminaire a pour objectif de présenter quelques travaux à l’intersection de l’intelligence artificielle et de l’énergie\, et plus particulièrement deux facettes de l’intelligence artificielle qui sont les systèmes multi-agents et l’apprentissage. \nCe séminaire est organisé dans le cadre institutionnel de la fédération Charles Hermite. \nORGANISATION PRATIQUE \nCe séminaire a lieu en distanciel sous TEAMS. \n– PROGRAMME PRÉVISIONNEL – \n13h30 : Introduction (Antoine Lejay\, Vincent Chevrier) \nSession 1 (14h – 15h30) \n1. Autoconsommation collective de l’énergie et simulation multi-agent de l’activité humaine \nPrésentateur : Nicolas Sabouret (Laboratoire Interdisciplinaire des Sciences du Numérique-LISN\, Université Paris-Saclay) \nContributeurs : \n\nJérémy Albouys-Perrois (LISN et Université de La Rochelle)\nMathieu Schumann (EDF R&D)\nChristian Inard (Laboratoire des Sciences de l’Ingénieur pour l’Environnement (LaSIE)\,\nUniversité de La Rochelle)\nYvon Haradji\nRésumé :\nNos travaux se situent dans le cadre du projet SMACH fruit d’une collaboration de plus de 10 ans entre EDF R&D et le CNRS autour de la simulation multi-agent de l’activité en relation avec la consommation énergétique. Nous présenterons nos derniers travaux qui portent sur la modélisation de l’AutoConsommation Collective (ACC) au sein du secteur résidentiel. L’originalité de notre approche multi-agent et multi-niveau est sa capacité de simuler l’autoconsommation collective dans des configurations contractuelles variées\, en plaçant au centre de la démarche les processus de décision des foyers et de leurs occupants\, et en prenant en compte la diversité de l’activité humaine et le comportement thermique des bâtiments comme base de la consommation d’énergie. L’articulation de ces composantes est absente des travaux actuels dans ce domaine\, alors même que plusieurs études ont montré leur importance. Nous présenterons notre modélisation des échanges contractuels de l’énergie au sein de groupements de foyers partageant une organisation des échanges. Nous illustrerons les possibilités de notre modèle à travers l’étude de quelques cas d’étude métiers pour différentes configurations d’ACC.\n\n\n\n\n\n\n\n\n\n\n2. Maitriser l’énergie pour la durabilité de la matière communicante : application au projet McBIM \nPrésentateurs : William Derigent et Michael David (CRAN – Université de Lorraine) \nRésumé :\nEn 2009\, le CRAN a débuté l’étude du concept de « matières communicantes »\, qui sont des matériaux capables de traiter\, d’échanger de l’information et de stocker des données dans leur structure interne. L’objectif du projet ANR McBIM\, porté par le CRAN\, est de concevoir un béton intelligent\, instrumenté dès sa fabrication avec des capteurs communicants sans fil\, et connecté à son environnement et aux services du BIM (Building Information Modelling) tout au long de son cycle de vie. Construire ce béton impose de pouvoir lever les obstacles scientifiques sous-jacents liés à la problématique de préservation d’énergie qui sont a) la conception de communications sans-fil robustes\, peu impactées par l’environnement béton\, et surtout sobres énergétiquement b) la définition de techniques de récupération d’énergie radiofréquence pour étendre la durée de vie des capteurs enfouis\, c) la définition de nouvelles stratégies de gestion du réseau de nœuds communicants\, permettant de contrôler les flux de collecte et l’homogénéité de la dispersion énergétique. C’est ce dernier point (c) qui sera plus particulièrement développé dans cet exposé\, celui qui permet de lier l’ensemble des techniques en s’appuyant sur la modélisation sous forme de système multi-agents et sur la notion de jumeau numérique du réseau. \n15h30 Pause \nSession 2 (15h35 – 17h05) \n\n\n\n\n\nLearning Energy Efficient Processor Speeds in Real Time Systems\n\n\n\nPrésentateurs : Bruno Gaujal (Inria Grenoble – Rhône-Alpes\, LIG – Laboratoire d’Informatique de Grenoble\, UGA – Université Grenoble Alpes) \nContributeurs : Alain Girault et Stéphan Plassart (Inria Grenoble – Rhône-Alpes\, LIG – Laboratoire d’Informatique de Grenoble\, UGA – Université Grenoble Alpes) \n\n\n\n\nRésumé :\nWe present an algorithm that learns the parameters of a Markov Decision Process (MDP)\, that is then used to compute an efficient speed policy for a single core processor to execute real time jobs while minimizing its energy consumption. The learning mechanism is based on the measurement of real time jobs whose features (release time\, size and deadlines) are unknown at the begining of the learning period. Once the learning phase is completed\, the speed that the processor should use in all possible configurations of the jobs is computed and will be used in the exploitation phase to minimize the energy consumption while completing all jobs before their deadlines. \nReported experiments show that the energy consumption of the learned speed policy is very close to the case where job features are known in advance\, using both simulation of generic jobs and real traces from the automobile industry. \n2. Machine Learning Interactif pour les opérateurs du réseau électrique français : application à l’explication des contraintes de transits (titre provisoire) \nPrésentateurs : Laure Crochepierre (LORIA-Inria Univerѕité de Lorraine\, RTE) et Lydia Boudjeloud-Assala (LORIA-CentraleSupélec Metz) \n17h05 Pause \n17h10-17h45 Table Ronde URL:https://www.loria.fr/event/journee-federation-charles-hermite-ia-et-energie/ CATEGORIES:Séminaire END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210222T160000 DTEND;TZID=Europe/Paris:20210222T173000 DTSTAMP:20210218T085445Z CREATED:20210218T085445Z LAST-MODIFIED:20210218T085445Z UID:11544-1614009600-1614015000@www.loria.fr SUMMARY:PhD defense: Sylvain Cecchetto DESCRIPTION:Sylvain Cecchetto (Carbone) will defend his PhD on Monday\, February 22nd at 4pm. \nHis thesis is entitled « Data flow analysis to build control flow graph of obfuscated codes »\, his presentation will be held in French.\n\n \nAbstract:\nThe increase in cyber attacks around the world makes malicious code analysis a priority research area. This software uses various protection methods\, also known as obfuscations\, to bypass antivirus software and slow down the analysis process. In this context\, this thesis provides a solution to build the Control Float Graph (CFG) of obfuscated binary code. We developed the BOA platform (Basic blOck Analysis) which performs a static analysis of a protected binary code. For this\, we have defined a semantics based on the BINSEC tool to which we have added continuations. These allow on one hand to control the self-modifications\, and on the other hand to simulate the operating system to handle system calls and interruptions. The static analysis is done by symbolically executing the binary code and calculating the values of the system states using SMT solvers. Thus\, we perform a data flow analysis to build the CFG by calculating the transfer addresses. Finally\, loop handling is performed by transforming a CFG into a pushdown automaton. BOA is able to compute dynamic jump addresses\, to detect opaque predicates\, to compute return addresses on a stack even if they have been falsified\, to manage interrupt handler falsifications\, to rebuild import tables on the fly\, and finally\, to manage self-modifications. We validated the BOA correction using the Tigress code obfuscator. Then\, we tested BOA on 35 known packers and showed that in 30 cases\, BOA was able to completely or partially rebuild the initially protected binary. Finally\, we detected the opaque predicates protecting XTunnel\, a malware used during the 2016 U.S. elections\, and we partially unpacked a sample of the Emotet Trojan\, which on 14/10/2020 was detected by only 7 antivirus programs out of the 63 offered by VirusTotal This work contributes to the development of tools for static analysis of malicious code. In contrast to dynamic methods\, this solution allows an analysis without executing the binary\, which offers a double advantage : on the one hand\, a static approach is easier to deploy\, and on the other hand\, since the malicious code is not executed\, it cannot warn its author.Keywords: Malware\, Obfuscation\, Data flow\, Symbolic execution\, Control flow graph.Jury members:Referes:Valérie Viet Triem Tong – CentraleSupélec Rennes José Fernandez – Polytechnique MontréalExaminers:Nadia Tawbi – Université LavalSarah Zennou – AirbusStephan Merz – Université de LorraineGuest: \nSébastien Bardin – CEA LIST\nColas Le Guernic – Verimag\nSupervisors: \nJean-Yves Marion – Université de Lorraine\nGuillaume Bonfante – Université de Lorraine URL:https://www.loria.fr/event/phd-defense-sylvain-cecchetto/ LOCATION:Teams CATEGORIES:Soutenance END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210226T090000 DTEND;TZID=Europe/Paris:20210226T103000 DTSTAMP:20210225T122432Z CREATED:20210225T112147Z LAST-MODIFIED:20210225T122432Z UID:11617-1614330000-1614335400@www.loria.fr SUMMARY:PhD defense : Pierre-Edouard Osche DESCRIPTION:Pierre-Edouard Osche (Kiwi) will defend his thesis on Friday\, 26th February at 9 am. \nHis thesis is entitled “Sequence-based recommendations in a multidimensional space » and supervised by Anne Boyer and Sylvain Castagnos. \nAbstract:\nRecommender systems are a fundamental research topic at the intersection of several major disciplines such as machine learning\, human-computer interaction and cognitive sciences. They also constitute an ambitious application framework for the community of researchers in Artificial Intelligence by their great complexity and the numerous constraints they generate. \nThe purpose of these systems is to improve the interaction between the general audience and the systems of search and access to information. It has become difficult to identify the most relevant items in the context of big data. The goal is thus to assist users in their explorations (whether in a virtual or physical environment)\, but also to propose items that may interest them but that they would not consult spontaneously. \nCurrent systems have largely proven their added value and are based on various machine learning techniques (numerical or symbolic\, supervised or not\, etc.) [Castagnos\, 2008]. Nevertheless\, they still suffer from limitations when making recommendations of sequences (recommending items in a specific order may depend on requirements\, progressiveness\, context\, time constraints\, etc.). Some models\, such as the DANCE model [Castagnos\, 2015]\, integrate this temporal dimension by following in real time the evolution in diversity of resources consulted by users to better understand the exploration context. In [Bonnin\, 2010]\, the author also proposes a temporal model capable of detecting frequent consultation patterns in a history of consultations\, in order to provide a priori resource recommendations related to the same context. Nevertheless\, while temporal and spatial modeling have been made possible [Zheng\, 2015]\, state-of-the-art models that focus on sequence recommendations or on the overall quality of the sequence are still too rare. \nIn the framework of this thesis\, we will focus on defining a new formalism and a methodological framework allowing : (1) the definition of human factors leading to decision making and user satisfaction; (2) the construction of a generic and multi-criteria model (physical or temporal constraints\, diversity\, progressiveness\, etc.)\, integrating these human factors in order to recommend relevant resources in a coherent sequence; (3) a holistic evaluation of user satisfaction with its recommendation path. The evaluation of recommendations\, all domains included\, is currently done recommendation by recommendation with each evaluation metric taken independently (accuracy\, diversity\, novelty\, coverage\, …). Thus\, we expect a more comprehensive evaluation framework\, measuring the progressiveness and the completeness of the path. \nSuch a multi-criteria recommendation model has many application frameworks. As an example\, it can be used in the context of online music listening with the recommendation of adaptive playlists (recommendation of music sequences to change the atmosphere in a place such as a bar\, to raise or lower the emotion felt by the audience progressively\, or to adapt to the complementary/similar/different expectations of a group). It can also be useful to adapt the recommendation path to the learner’s progress and the teacher’s pedagogical scenario in an e-education context. Let us also mention the tourism field where this model could integrate the spatial and temporal constraints of a physical environment (cities\, museums\, etc.). \nKeywords: Recommender systems\, Multi-agent systems\, User modeling. \nCommittee: \nRewievers:\n– Mme Sylvie Calabretto\, Professeur\, INSA de Lyon\, France\n– M. Laurent Vercouter\, Professeur\, INSA de Rouen\, France \nExaminer:\n– M. Laurent Vigneron\, Professeur\, Université de Lorraine\, France \nSupervisor:\n– M. Sylvain Castagnos\, Maître de conférences\, Université de Lorraine\, France URL:https://www.loria.fr/event/phd-defense-pierre-edouard-osche/ LOCATION:online CATEGORIES:Soutenance END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210226T140000 DTEND;TZID=Europe/Paris:20210226T153000 DTSTAMP:20210219T145022Z CREATED:20210219T145011Z LAST-MODIFIED:20210219T145022Z UID:11605-1614348000-1614353400@www.loria.fr SUMMARY:PhD defense : Anastasia Shimorina (Synalp) DESCRIPTION:Anastasia Shimorina (Synalp) will defend her thesis on Friday\, 26th February at 2pm. \nHer thesis is entitled « Natural Language Generation: from Data Creation to Evaluation via Modelling » and supervised by Claire Gardent and Yannick Parmentier. \nAbstract:\nNatural language generation is a process of generating a natural language text from some input. This input can be texts\, documents\, images\, tables\, knowledge graphs\, databases\, dialogue acts\, meaning representations\, etc. Recent methods in natural language generation\, mostly based on neural modelling\, have yielded significant improvements in the field. Despite this recent success\, numerous issues with generation prevail\, such as faithfulness to the source\, developing multilingual models\, few-shot generation. This thesis explores several facets of natural language generation from creating training datasets and developing models to evaluating proposed methods and model outputs. \nIn this thesis\, we address the issue of multilinguality and propose possible strategies to semi-automatically translate corpora for data-to-text generation. We show that named entities constitute a major stumbling block in translation exemplified by the English-Russian translation pair. We proceed to handle rare entities in data-to-text modelling exploring two mechanisms: copying and delexicalisation. We demonstrate that rare entities strongly impact performance and that the impact of these two mechanisms greatly varies depending on how datasets are constructed. Getting back to multilinguality\, we also develop a modular approach for shallow surface realisation in several languages. Our approach splits the surface realisation task into three submodules: word ordering\, morphological inflection and contraction generation. We show\, via delexicalisation\, that the word ordering component mainly depends on syntactic information. Along with the modelling\, we also propose a framework for error analysis\, focused on word order\, for the shallow surface realisation task. The framework enables to provide linguistic insights into model performance on the sentence level and identify patterns where models underperform. Finally\, we also touch upon the subject of evaluation design while assessing automatic and human metrics\, highlighting the difference between the sentence-level and system-level type of evaluation. \nKeywords: natural language generation\, data-to-text generation\, surface realisation\, evaluation\, error analysis \nCommittee: \nReviewers:\n– Emiel Krahmer\, Full Professor\, Tilburg University\, the Netherlands\n– Kees van Deemter\, Full Professor\, Utrecht University\, the Netherlands \nExaminer:\n– Dimitra Gkatzia\, Associate Professor\, Edinburgh Napier University\, UK \nSupervisors:\n– Claire Gardent\, Directrice de recherche\, CNRS\, LORIA\, France\n– Yannick Parmentier\, Maı̂tre de conférences\, Université de Lorraine\, France URL:https://www.loria.fr/event/phd-defense-anastasia-shimorina/ LOCATION:online CATEGORIES:Soutenance END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210304T150000 DTEND;TZID=Europe/Paris:20210304T160000 DTSTAMP:20210302T154719Z CREATED:20210302T154719Z LAST-MODIFIED:20210302T154719Z UID:11648-1614870000-1614873600@www.loria.fr SUMMARY:Séminaire D3: Performance and security in the Internet DESCRIPTION:Séminaire donné par : Baptiste Jonglez\nInria / Laboratoire d’Informatique de Grenoble\nThe Internet has been the dominant networking model for decades thanks to its robust design\, low cost\, and ability to grow organically. However\, this comes with a major tradeoff: no actor can claim to have complete visibility or control on end-to-end network paths. This lack of end-to-end control impacts both performance and security\, which helps to explain why they are both long-lasting challenges in the Internet. \nEnd-to-end performance is hard to understand or improve without visibility into the complete network path; similarly\, network security is hard to ensure in a distributed network\, because a wide variety of actors would need to agree on protocols and best practices. \nThis presentation will detail two recent works\, each related to one of\nthese two challenges: end-to-end network performance and network security. URL:https://www.loria.fr/event/seminaire-d3-performance-and-security-in-the-internet/ LOCATION:online END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210308T100000 DTEND;TZID=Europe/Paris:20210308T113000 DTSTAMP:20210304T195532Z CREATED:20210304T195503Z LAST-MODIFIED:20210304T195532Z UID:11667-1615197600-1615203000@www.loria.fr SUMMARY:D3 seminar: Rémy Grünblatt and Mourad Dridi DESCRIPTION:Next Department 3 seminar will take place on Monday\, 8th March at 10am with two presentations. \n10h00: De l’évaluation des performances Wi-Fi à la mobilité contrôlée pour les réseaux de drones\, par Rémy Grünblatt (INRIA Inria Lille – Nord Europe) \nFrom Wi-Fi performance evaluation to controlled mobility for drone networks \nMobility in telecommunication networks is often seen as a hassle that needs to be dealt with: a mobile wireless device has to adapt is trans-mission parameters in order to remain connected to its counterpart(s)\,as the channel evolves with the device’s movements. Drones are no exception. In this presentation\, I’ll show how controlled mobility can be used to increase the performance of a drone network\, with a focus on IEEE 802.11 networks and small multi-rotor drones.\nI will first describe how mobility is partially dealt with in 802.11 networks\, that is to say using rate adaptation mechanisms\, and I’ll present the rate adaptation algorithm used in the Intel Wi-Fi chipsets\, also used in the Intel Aero Drone\, which I reverse engineered. The study of this rate adaptation algorithm\, thanks to its implementation in the network simulator NS-3\, allows its comparison against other well-known algorithms\, and highlights how big the impact of such algorithms is\, for drone networks.\nI will then present a controlled mobility solution which leverages the antenna radiation pattern of the drones. This algorithm is evaluated thanks to a customized simulation framework for antenna and drone simulation\, based on NS-3. This solution\, which works with any rate adaptation algorithm\, is distributed\, and do not require a global coordination that would be costly. It also does not require a full and complete control of the drone mobility as existing controlled mobility solutions require\, which makes this solution compatible with various applications. \n10h40: Robustesse des architectures pluri-cœurs et NoCs\, par Mourad Dridi (Université Polytechnique Hauts-de-France\, INSA\, Valenciennes) \n\nMon projet de recherche va porter principalement sur l’applicabilité de la théorie de l’ordonnancement\ntemps réel dans la conception et l’implémentation des systèmes embarqués.\nLes applications d’aujourd’hui demandent un fonctionnement en temps-réel\, pour fournir des résultats\ndans des délais bien précis\, comme la navigation par GPS\, le codage du son dans un téléphone cellulaire\, la\ncommande du gouvernail d’un avion\, la vidéo surveillance active\, l’ABS d’une voiture\, …\n\nMon objectif est donc de développer des méthodes\, techniques et outils pour la conception\, la vérification et la réalisation\nde systèmes informatiques temps réel. Afin d’atteindre cet objectif\, je voudrais exercer des activités de recherche dans les sujets suivants :\n\n\nLes systèmes temps réel multi-critiques et les systèmes temps réel à criticité mixte\nLe problème du placement dans les architectures pluri-cœurs\nL’ordonnancement des communications dans les architectures pluri-cœurs (NoCs\, SpaceWire …) URL:https://www.loria.fr/event/d3-seminar/ CATEGORIES:Séminaire END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210311T084500 DTEND;TZID=Europe/Paris:20210311T100000 DTSTAMP:20210219T145520Z CREATED:20210219T145520Z LAST-MODIFIED:20210219T145520Z UID:11609-1615452300-1615456800@www.loria.fr SUMMARY:Soutenance HDR : Laure Buhry (NeuroRhythms) DESCRIPTION:Laure Buhry\, maître de conférences dans l’équipe NeuroRhythms\, soutiendra son Habilitation à Diriger des Recherches\, le jeudi 11 mars à 8h45. \nSon HDR est intitulée « La musique du cerveau : modélisation des mécanismes de genèse et\nmaintien des rythmes oscillatoires neuronaux ». \nJury : \nRapporteurs : \n\nM. Frédéric ALEXANDRE DR INRIA\, INM\, Bordeaux\nM. Boris GUTKIN DR CNRS\, ENS\, Paris\nM. Paul-Antoine SALIN\, DR CNRS\, CRNL\, Lyon\n\nExaminateurs : \n\nMme Valérie LOUIS DORR\, PU\, ENSEM-UL-CRAN\, Nancy\nM. Louis MAILLARD\, PU-PH\, CHRU-CRAN\, Nancy\nM. Julien MODOLO\, CR INSERM\, LTSI\, Rennes\n\nInvité : \n\nM. Raymund SCHWAN\, PU-PH\, CPN-INSERM\, Nancy-Strasbourg\n\nRésumé :\nLa compréhension des mécanismes neuronaux sous-jacents aux fonctions cognitives chez le sujet sain et en fonctionnement pathologique requiert la collaboration de plusieurs disciplines : les neurosciences fondamentales\, la médecine\, dont la neurologie et la psychiatrie\, mais également la modélisation mathématique et la simulation informatique. Les travaux présentés ici\, à la croisée de ces différents domaines\, concernent les aspects de modélisation et de simulation multi-échelles de l’activité électrique neuronale. Nous nous intéressons notamment à l’influence des propriétés intrinsèques microscopiques et aux interactions neuronales mésoscopiques dans la génération des oscillations observées\, au niveau macroscopique\, dans les enregistrements physiologiques. Cette approche vise à élucider des mécanismes physiologiques du fonctionnement cérébral\, à compléter ou orienter la démarche expérimentale en biologie et à tester des hypothèses aujourd’hui encore inaccessibles à l’observation expérimentale. En termes applicatifs\, nous abordons notamment la modélisation et la simulation de l’activité de : la formation hippocampique – structure impliquée dans la formation de la mémoire – saine et dans les épilepsies du lobe temporal mésian\, pendant la veille et le sommeil lent profond ; des neurones hippocampiques en présence d’un anesthésique\, le propofol ; et des ganglions de la bases dans la maladie de Parkinson. Ces travaux ayant mis en évidence des mécanismes communs aux différentes pathologies étudiées\, le projet de recherche futur s’oriente\, toujours sous l’angle de la modélisation et de la simulation de l’activité neuronale ou des cellules à activité rythmique\, vers le rôle de l’homéostasie ionique et l’expression de canaux ioniques spécifiques dans les pathologies neurologiques et psychiatriques. URL:https://www.loria.fr/event/soutenance-hdr-laure-buhry-neurorhythms/ END:VEVENT BEGIN:VEVENT DTSTART;VALUE=DATE:20210316 DTEND;VALUE=DATE:20210317 DTSTAMP:20210303T142722Z CREATED:20210303T142422Z LAST-MODIFIED:20210303T142722Z UID:11658-1615852800-1615939199@www.loria.fr SUMMARY:GT GDMM - Journées de Géométrie Discrète et Morphologie Mathématique DESCRIPTION:La journée du GT GDMM aura lieu le 16 mars 2021 en ligne. \nLa journée du Groupe de Travail de Géométrie Discrète et Morphologie Mathématique des groupements de recherche IM et IGRV est l’occasion pour les enseignants-chercheurs\, chercheurs\, doctorants de se rencontrer\, d’échanger sur les travaux les plus récents\, d’initier de nouvelles collaborations sur tous les thèmes de la géométrie discrète et de la morphologie mathématique. \nElle précède la journée plénière GdR IGRV le 17 mars 2021. \nDates importantes :\n\nJournées du GTMG 2018 : le 16 Mars 2021.\nOuverture des inscriptions : jusqu’au lundi 15 Mars 2021.\nProposition d’exposé (Titre et résumé) : avant le 10 Mars 2021.\n\nComité d’organisation :\nPhuc Ngo\, Isabelle Debled-Rennesson\, Philippe Even et Eric Domenjoud (équipe ADAGIo). \nToutes les informations sur ces deux événements sur le site du GT GDMM. URL:https://www.loria.fr/event/gt-gdmm-journees-de-geometrie-discrete-et-morphologie-mathematique/ CATEGORIES:Conférence END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210317T093000 DTEND;TZID=Europe/Paris:20210317T110000 DTSTAMP:20210312T122646Z CREATED:20210312T122646Z LAST-MODIFIED:20210312T122646Z UID:11732-1615973400-1615978800@www.loria.fr SUMMARY:PhD defense: Daryna Panicheva DESCRIPTION:Daryna Panicheva (Magrit) will defend here thesis on Wednesday\, March 17th at 9:30. \nThe defense will be held in English and is entitled « Image-based mitral valve modeling for biomechanical applications« . Her thesis is supervised by Marie-Odile Berger and Pierre-Frédéric Villard (Magrit). \nAbstract:\nIn this thesis we aimed to develop methods for the realistic simulation of the mitral valve behavior using image-based geometry. To achieve this goal\, the segmentation of valve components was guided by the nature of the chosen biomechanical model. \nMethods for the valve components segmentation and their integration into the model have been proposed. We focused on automatic chordae extraction as it would improve the simulation reproducibility on various data examples\, and thus help to advance towards patient-based clinical applications. \nThe procedure proposed for the automatic extraction of the chordae consists of three steps. First\, the segmentation of the chordae is obtained with the method based on the topological properties of the structures. Then\, the representation of the geometry in a form of trees of  connected line segments is extracted using the tracking approach combined with the local fitting of a cylindrical model. In order to make the geometry resulting from these methods consistent with the biomechanical model\, the final stage of the chordae structure optimization is applied. In particular\, the optimization makes it possible to reduce slack in the chordae and to correct false topological configurations by taking into account mechanical and anatomical considerations associated with image data. \nWe have proposed a validation metric for the segmentation results based on the graph similarity. With this metric correspondences between the chordae obtained with our automatic method and those resulting from the manual segmentation are defined\, as well as the quality of the segmentation is assessed. \nWe then demonstrated the application of the extracted chordae geometry in the biomechanical simulation of the closed valve state. The consistency of the reproduced behavior was verified by comparing the results obtained with the chordae from our automatic procedure and the ground truth chordae. The bulging volume and the mechanical stress distribution have been used as quantitative criteria. The coherence of the simulation was also analyzed on a modeled pathological case with ruptured chordae. \n\nKey-words: mitral valve\, image-based modeling\, segmentation\, biomechanical simulation.\n\nCommittee:\nReviewers: Michel Desvignes\, Professeur\, Grenoble INP\nMireille Garreau\, Professeur\, Université de Rennes\n\nExaminers: Jacques Felblinger\, Professeur\, Université de Lorraine\nYohan Payan\, Directeur de recherche  CNRS\, Grenoble\n  URL:https://www.loria.fr/event/phd-defense-daryna-panicheva/ CATEGORIES:Soutenance END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210318T110000 DTEND;TZID=Europe/Paris:20210318T120000 DTSTAMP:20210317T091328Z CREATED:20210317T091328Z LAST-MODIFIED:20210317T091328Z UID:11760-1616065200-1616068800@www.loria.fr SUMMARY:MALOTEC Webinar by Pierre-Alexandre Murena: Perspectives on Minimum Complexity Analogies DESCRIPTION:Analogies are 4-ary relations of the form “A is to B as C is to D”. When A\, B and C are fixed\, we call analogical equation the problem of finding the correct D. Even though this task has been shown to be simple for the human cognition\, it remains extremely challenging for artificial agents. In this presentation\, we introduce our recent advances in solving morphological analogies on words based on a principle of minimum of complexity. The idea of our method is to find a transformation from A to B which also applies to C and is maximally simple to describe algorithmically. We will show which new perspectives this principle of minimum complexity can open for the field of analogical reasoning: For that purpose\, we demonstrate the flexibility of our approach toward various related domains\, such as interactive AI\, case-based reasoning\, AI assistance or transfer learning. As a complement\, we will discuss the underlying assumptions of our framework as well as the algorithmic challenges of such an approach\, and show what these limitations imply for the application of this method to other problems. \n  \n\nAbout the speaker:\nPierre-Alexandre Murena is a member of the Probabilistic Machine Learning group in Aalto University (Finland). His research efforts focus on improving interactions between humans and AI. He also made noteworthy contributions to the understanding of analogical reasoning. URL:https://www.loria.fr/event/malotec-webinar-by-pierre-alexandre-murena-perspectives-on-minimum-complexity-analogies/ LOCATION:online END:VEVENT BEGIN:VEVENT DTSTART;VALUE=DATE:20210323 DTEND;VALUE=DATE:20210327 DTSTAMP:20210312T122217Z CREATED:20210312T122217Z LAST-MODIFIED:20210312T122217Z UID:11730-1616457600-1616803199@www.loria.fr SUMMARY:Journées nationales de l'informatique Mathématique du GDR-IM DESCRIPTION:Les Journées Nationales de l’Informatique Mathématique (JNIM) sont organisées chaque année par le GDR IM (Informatique Mathématique). C’est une occasion d’information et d’échange annuelle entre les chercheurs du GDR et de la discipline. Elles auront lieu du 23 au 26 mars. \nInscriptions gratuites et obligatoires avant le 18 mars. \nProgramme complet sur le site de la conférence. URL:https://www.loria.fr/event/journees-nationales-de-linformatique-mathematique-du-gdr-im/ CATEGORIES:Séminaire END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210325T110000 DTEND;TZID=Europe/Paris:20210325T120000 DTSTAMP:20210323T143513Z CREATED:20210323T143331Z LAST-MODIFIED:20210323T143513Z UID:11820-1616670000-1616673600@www.loria.fr SUMMARY:MALOTEC Séminaire : Explainability for Sequential Decision-Making DESCRIPTION:Machine learning has been used to aid decision-making in several domains\, from healthcare to finance. Understanding the decision process of ML models is paramount in high-stakes decisions that impact people’s lives\, otherwise\, loss of control and lack of trust may arise. Often\, these decisions have a sequential nature. For instance\, the transaction history of a credit card must be considered when predicting the risk of fraud of the most recent transaction Although RNNs are state-of-the-art models for many sequential decision-making tasks\, they are perceived as black-boxes\, creating a tension between accuracy and interpretability. While there has been considerable research effort towards developing explanation methods for ML\, recurrent models have received relatively much less attention. Recently\, Lundberg and Lee unified several methods under a single family of additive feature attribution explainers. From this family\, KernelSHAP has seen a wide adoption throughout the literature; however\, this explainer is unfit to explain models in a sequential setting\, as it only accounts for the current input not the whole sequence. In this work\, we present TimeSHAP\, a model-agnostic recurrent explainer that builds upon KernelSHAP and extends it to sequences. TimeSHAP explains recurrent models by computing feature-\, timestep-\, and cell-level attributions\, producing explanations at both the feature and time axes. As sequences may be arbitrarily long\, we further propose two pruning methods that are shown to dramatically decrease TimeSHAP’s computational cost and increase its reliability. We validate TimeSHAP by using it to explain predictions of two RNN models in two real-world fraud detection tasks\, obtaining relevant insights into these models and their predictions. \n\n\nSpeaker:\nJoão Bento\, Research Data Scientist at Feedzai working on explainability for Machine Learning models.\n\nOn TEAMS. More information at:\nhttps://malotec.loria.fr URL:https://www.loria.fr/event/malotec-seminaire-explainability-for-sequential-decision-making/ LOCATION:online CATEGORIES:Séminaire END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210325T160000 DTEND;TZID=Europe/Paris:20210325T170000 DTSTAMP:20210316T154038Z CREATED:20210304T173118Z LAST-MODIFIED:20210316T154038Z UID:11664-1616688000-1616691600@www.loria.fr SUMMARY:DigiTrust Webinar: Alfredo Cuzzocrea DESCRIPTION:The first webinar of LUE IMPACT project DigiTrust will take place on Thursday\, 25th March at 4pm. \nProfessor Alfredo Cuzzocrea\, Excellence Chair in Computer engineering financed by DigiTrust\, will give a presentation entitled “Privacy-Preserving Big Data Management and Analytics in Distributed Environments: Models\, Issues\, Proposals” \nThe webinar will take place on Teams. \nAbstract: \nNowadays\, big data management and analytics is gaining momentum within the research community. Basically\, the main issue with big data management concerns with effectively and efficiently managing massive big data repositories for a wide variety of typical data management tasks\, such as representation\, querying\, indexing\, partitioning\, and so forth. On the other hand\, big data analytics concerns with extracting useful\, actionable knowledge from big data repositories for decision making purposes\, by extending classical approaches inherited from decades of data mining and machine learning research. In this so-delineated context\, the issue of supporting privacy-preserving big data management and analytics plays a first-class role\, especially with respect to the wide class of emerging big data application scenarios\, which range from social networks to bio-informatics\, from sensors networks to web recommendation tools\, from e-science systems to e-government systems\, and so forth. In all these applicative settings\, protecting the privacy of sensitive information\, for instance personal data or aggregate data\, can be clearly intended as an enabling technology. Distributed environments are the natural humus for collocating privacy-preserving big data management and analytics tasks\, including the astonishing raise of blockchain technology. Among others\, Cloud systems play the major role\, even stirred-up by recent technological advancements that have really enhanced the ICT industry at now. More and more today\, real-life Cloud-based applications\, such as smart cities\, intelligent transportation systems\, marketplace tools and so forth\, are indeed posing new challenges to privacy-preserving big data research\, thus contributing to improve the scientific area. \nThis seminar will explore the research challenge represented by supporting privacy-preserving big data management and analytics in distributed environments\, by exploring models and issues\, and describing some proposed solutions. In particular\, the seminar will consider the special case of supporting privacy-preserving OLAP analytics in distributed environments. This kind of big data analytics tools predicates the definition of multidimensional metaphors to be embedded into the analytics phase\, and supports the achievement of richer actionable knowledge (prone to decision making) to be extracted from distributed big data repositories. On the other hand\, the issue of supporting privacy preservation within OLAP analytics is still an open research problem\, whit many advancements still to be achieved. According to this consideration\, an innovative privacy-preserving OLAP analytics in distributed environments approach is presented in this seminar\, along with the proposal of some interesting extensions that are at now under evolution. URL:https://www.loria.fr/event/digitrust-webinar/ CATEGORIES:Séminaire END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210325T180000 DTEND;TZID=Europe/Paris:20210325T193000 DTSTAMP:20210225T122349Z CREATED:20210225T122258Z LAST-MODIFIED:20210225T122349Z UID:11620-1616695200-1616700600@www.loria.fr SUMMARY:6eme UX-Forum Exosquelettes : pour l’univers des métiers de soins et de santé DESCRIPTION:Le Cercle Entreprises et Santé organise le 6eme UX-Forum Exosquelettes. Cet évènement vise à faire dialoguer les principaux acteurs concernés par le développement de ces technologies dans les milieux de la santé. \nDans ce cadre\, Séréna Ivaldi et Pauline Maurice\, chargées de recherche (INRIA et CNRS respectivement) au Loria présenteront leurs expériences au sein du projet ExoTurn. \nCe forum aura lieu en ligne le 25 mars 2021 à 18h. Pour accéder à la visioconférence\, le formulaire d’inscription est disponible sur ce lien. URL:https://www.loria.fr/event/6eme-ux-forum-exosquelettes-pour-lunivers-des-metiers-de-soins-et-de-sante/ LOCATION:online CATEGORIES:Forum END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210325T183000 DTEND;TZID=Europe/Paris:20210325T203000 DTSTAMP:20210310T144619Z CREATED:20210301T160631Z LAST-MODIFIED:20210310T144619Z UID:11638-1616697000-1616704200@www.loria.fr SUMMARY:Trois doctorants sélectionnés pour #MT180 2021 ! DESCRIPTION:La finale régionale de Ma Thèse en 180 secondes organisée par l’Université de Lorraine aura lieu le jeudi 25 mars à 18h30. Parmi les onze participants\, trois sont doctorants au sein du Loria : Guilherme Alves Da Silva (Orpailleur)\, Justine Basselin (Pixel) et Jessica Colombel (Larsen)… Tous nos encouragements à eux ! \n\n \n \n \n \n \n \n \n \n \n \n \n \n\nCompte-tenu de la crise sanitaire\, l’évènement se déroulera à huis clos. Le public est invité à regarder la diffusion en direct sur la chaîne YouTube de l’Université de Lorraine. Votez pour votre candidat(e) préféré(e) en vous inscrivant ici ! URL:https://www.loria.fr/event/trois-doctorants-selectionnes-pour-mt180-2021/ LOCATION:online CATEGORIES:Manifestation END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210401T130000 DTEND;TZID=Europe/Paris:20210401T143000 DTSTAMP:20210330T154147Z CREATED:20210319T134650Z LAST-MODIFIED:20210330T154147Z UID:11789-1617282000-1617287400@www.loria.fr SUMMARY:Colloquium Loria : Mathieu d'Aquin DESCRIPTION:Mathieu d’Aquin\, Professor of Informatics specialised in data analytics and semantic technologies at the Data Science Institute and the Insight Centre for Data Analytics of the National University of Ireland Galway\, is the next speaker for Loria’s colloquium. \nThe colloquium will take place on Teams on Thursday\, April 1st at 1pm\, with a presentation entitled « Data and knowledge as commodities ». \nAbstract: While data has become increasingly available in the last few years\, those data and the models used to analyse them are becoming less and less interpretable. In other words\, the challenge of turning such vast amounts of data into exploitable knowledge is still present. In this presentation\, I aim to describe ongoing efforts to address this challenge by combining current data mining and machine learning techniques with traditional\, symbolic methods for artificial intelligence based on explicit knowledge representations and inferences. In particular\, taking examples from projects in education\, smart cities and the digital humanities\, I show how the legacy of the semantic web\, especially web-scale knowledge graphs and ontologies\, can support intelligent methods for data understanding and the interpretability of machine learning models. URL:https://www.loria.fr/event/colloquium-loria-mathieu-daquin/ CATEGORIES:Colloquium Loria END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210402T140000 DTEND;TZID=Europe/Paris:20210402T163000 DTSTAMP:20210325T092633Z CREATED:20210325T092335Z LAST-MODIFIED:20210325T092633Z UID:11837-1617372000-1617381000@www.loria.fr SUMMARY:We are the robots - Basic Bot\, performance théâtre et robotique DESCRIPTION:Rendez-vous le vendredi 2 avril à 14h pour « Basic Bot »\, une performance théâtre et robotique proposée dans le cadre de l’atelier Artem « We Are The Robots »\, avec une pièce de théâtre numérique suivie d’une conférence-débat en direct sur la page Facebook de Mines Nancy. \nUn événement conçu par les élèves de Mines Nancy\, d’ICN Business School et de l’ENSAD.\nDirection scientifique et technique : Patrick Hénaff\, enseignant-chercheur Mines Nancy / Loria\, et Alain Dutech\, chargé de recherche Inria au Loria.\nDirection artistique : Raphaël Gouisset\, Collectif Les Particules \n \nL’intrigue du spectacle a lieu durant le confinement lorsque les étudiants sont livrés à eux-mêmes et se retrouvent seuls dans leur chambre. Ils décident alors de se distraire en cherchant des activités sur internet et découvrent le site BASIC BOT\, une salle de sport 3.0 où les étudiants suivent des coachs robots à travers des vidéos. Les robots se révèlent être plus ou moins doués de sentiments et de compréhension pour les accompagner dans cette période très singulière.  \nLe spectacle sera suivi d’un débat avec les étudiants du projet et des professionnels de la robotique et de l’intelligence artificielle : Raja Chatila (professeur\, directeur de l’ISIR)\, Nazim Fates (chargé de recherche Inria au Loria)\, Eloïse Dalin (doctorante dans l’équipe Larsen) pour répondre aux questions du public. \nPiloté par Patrick Henaff\, ce projet est un espace de travail transdisciplinaire\, entre composition artistique et programmation robotique. Il aborde les sujets de l’anthropomorphisme (attribution de caractéristiques du comportement humains ou de la morphologie humaine à des objets)\, de l’intelligence artificielle (IA)\, des questionnements sociétaux soulevés par la robotique et enfin\,  du rôle du roboticien et de son « pouvoir d’agir » dans une société où la robotique sera de plus en plus présente. Cet atelier est donc un travail collaboratif où les qualités et désirs de chaque participant se concrétisent pour parvenir à une réalisation commune. \nLe spectacle sera diffusé en live sur la page Facebook de Mines Nancy \nCe projet est une collaboration entre Mines Nancy\, ICN Business School\, l’ENSAD et un partenariat avec l’Alliance Artem et le Loria (CNRS\, Inria\, Université de Lorraine). Les robots de Mines Nancy ont été mis à disposition pour ce projet afin d’offrir un spectacle divertissant. URL:https://www.loria.fr/event/we-are-the-robots-basic-bot-performance-theatre-et-robotique/ CATEGORIES:Manifestation ATTACH;FMTTYPE=image/jpeg:https://www.loria.fr/wp-content/uploads/2021/03/Affiche-finale-scaled.jpg END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210409T110000 DTEND;TZID=Europe/Paris:20210409T120000 DTSTAMP:20210407T092250Z CREATED:20210407T092250Z LAST-MODIFIED:20210407T092250Z UID:11971-1617966000-1617969600@www.loria.fr SUMMARY:MALOTEC Séminaire : Evaluating Local Explanation Methods on Ground Truth DESCRIPTION:Evaluating local explanation methods is a difficult task due to the lack of a shared and universally accepted definition of explanation. In the literature\, one of the most common ways to assess the performance of an explanation method is to measure the fidelity of the explanation with respect to the classification of a black box model adopted by an Artificial Intelligent system for making a decision. However\, this kind of evaluation only measures the degree of adherence of the local explainer in reproducing the behavior of the black box classifier with respect to the final decision. Therefore\, the explanation provided by the local explainer could be different in the content even though it leads to the same decision of the AI system. We propose an approach that allows to measure to which extent the explanations returned by local explanation methods are correct with respect to a synthetic ground truth explanation. Indeed\, the proposed methodology enables the generation of synthetic transparent classifiers for which the reason for the decision taken\, i.e.\, a synthetic ground truth explanation\, is available by design. Experimental results show how the proposed approach allows to easily evaluate local explanations on the ground truth and to characterize the quality of local explanation methods. \n\n\nSpeaker:\nRiccardo Guidotti\, Assistant Professor at the Department of Computer Science (University of Pisa) and a member of the Knowledge Discovery and Data Mining Laboratory (KDDLab).\n\nOn TEAMS. More information at:\nhttps://malotec.loria.fr URL:https://www.loria.fr/event/malotec-seminaire-evaluating-local-explanation-methods-on-ground-truth/ LOCATION:online CATEGORIES:Séminaire END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210415T160000 DTEND;TZID=Europe/Paris:20210415T170000 DTSTAMP:20210401T090927Z CREATED:20210401T090802Z LAST-MODIFIED:20210401T090927Z UID:11954-1618502400-1618506000@www.loria.fr SUMMARY:DigiTrust Webinar : Enka Blanchard DESCRIPTION:The second webinar of LUE IMPACT project DigiTrust will take place on Thursday\, 15th April at 4pm. \nPostdoctoral Researcher Enka Blanchard\, working in the DigiTrust consortium\, will give a presentation entitled “Securing everyday voting with low-tech systems” \nThe webinar will take place on Teams. \nAbstract: \nVoting is often seen as a solemn activity\, with voters exercising their rights every few years in secure conditions. However\, many voting activities happen in much more common situations\, from company boardrooms to homeowners associations or employee breakrooms. Those votes often happen by raising one’s hand or at best writing down a name on a piece of paper and putting it into a hat. With the pandemic\, those votes have been harder to organise\, creating a vacuum for new systems to take hold\, and potentially presenting new opportunities.\n\nThe talk will start with an introduction to low-tech verifiable voting systems. We will then go over the impact of the pandemic and how it led us to propose a solution that is currently in use at the University of Maryland\, Baltimore County\, as well as the details of this low-tech (non-cryptographic) verifiable voting system. Finally\, I will discuss the implications this has not only for the development but more importantly for the deployment of new voting systems.\n\n\nThe talk is based on research I recently pursued with colleagues from UMBC and LaBRI. The relevant papers and preprints are available below:\n\nEnka Blanchard and Ted Selker. Origami voting: a non-cryptographic approach to transparent ballot verification. In VOTING – 5th Workshop on Advances in Secure Electronic\nVoting (https://hal.archives-ouvertes.fr/hal-02550738)\nEnka Blanchard\, Ryan Robucci\, Ted Selker\, and Alan T. Sherman. Phrase-verified voting: Verifiable low-tech remote boardroom voting. under review\nEnka Blanchard\, Sébastien Bouchard\, and Ted Selker. Visual secrets: A recognition-based security primitive and its use for boardroom voting. under review URL:https://www.loria.fr/event/digitrust-webinar-enka-blanchard/ LOCATION:online CATEGORIES:Séminaire ATTACH;FMTTYPE=image/png:https://www.loria.fr/wp-content/uploads/2021/04/Webinaire-Enka-Blanchard.png END:VEVENT BEGIN:VEVENT DTSTART;VALUE=DATE:20210419 DTEND;VALUE=DATE:20210421 DTSTAMP:20201203T101217Z CREATED:20201203T101217Z LAST-MODIFIED:20201203T101217Z UID:11302-1618790400-1618963199@www.loria.fr SUMMARY:Workshop on Human Evaluation of NLP Systems (HumEval) DESCRIPTION:EACL’21\, Kiev\, Ukraine\, 19-20 April 2021\nFirst Call for Papers\nThe HumEval Workshop invites the submission of long and short papers on substantial\, original\, and unpublished research on all aspects of human evaluation of NLP systems\, both intrinsic and extrinsic\, including but by no means limited to NLP systems whose output is language. More on: humeval.github.io. \nInvited Speakers\n\nMohit Bansal\, UNC Chapel Hill\, US\nMargaret Mitchell\, Google\, US\nLucia Specia\, UCL\, UK\n\nImportant Dates\n\nDec 2: First Call for Workshop Papers\nDec 18: Second Call for Workshop Papers\nJan 18: Workshop Paper Due Date\nFeb 18: Notification of Acceptance\nMar 01: Camera-ready papers due\nApr 19-20: Workshop Dates\nAll deadlines are 11.59 pm UTC-12.\n\nWorkshop Topic and Content\nHuman evaluation plays a central role in NLP\, from the large-scale crowd-sourced evaluations carried out e.g. by the WMT workshops\, to the much smaller experiments routinely encountered in conference papers. Moreover\, while NLP embraced automatic evaluation metrics from BLEU (Papineni et al\, 2001) onwards\, the field has always been acutely aware of their limitations (Callison-Burch et al.\, 2006; Reiter and Belz\, 2009; Novikova et al.\, 2017; Reiter\, 2018)\, and has gauged their trustworthiness in terms of how well\, and how consistently\, they correlate with human evaluation scores (Over et al.\, 2007; Gatt and Belz\, 2008; Bojar et al.\, 2016; Shimorina\, 2018; Ma et al.\, 2019; Mille et al.\, 2019; Dušek et al.\, 2020). \nYet there is growing unease about how human evaluations are conducted in NLP. Researchers have pointed out the less than perfect experimental and reporting standards that prevail (van der Lee et al.\, 2019). Only a small proportion of papers provide enough detail for reproduction of human evaluations\, and in many cases the information provided is not even enough to support the conclusions drawn. More than 200 different quality criteria (Fluency\, Grammaticality\, etc.) have been used in NLP  (Howcroft et al.\, 2020). Different papers use the same quality criterion name with different definitions\, and the same definition with different names. As a result\, we currently do not have a way of determining whether two evaluations assess the same thing which poses problems for both meta-evaluation and reproducibility assessments (Belz et al.\, 2020). \nReproducibility in the context of automatically computed system scores has recently attracted a lot of attention\, against the background of a troubling history (Pedersen\, 2008; Mieskes et al.\, 2019)\, where reproduction is perceived as failing in 24.9% of cases for own results\, and in 56.7% for another team’s (Mieskes et al.\, 2019). Initiatives have included the Reproducibility Challenge (Pineau et al.\, 2019\, Sinha et al.\, 2020); the Reproduction Paper special category at COLING’18; the reproducibility programme at NeurIPS’19 comprising code submission\, a reproducibility challenge\, and the ML Reproducibility checklist\, also adopted by EMNLP’20 and AAAI’21; and the REPROLANG shared task at LREC’20 (Branco et al.\, 2020). \nHowever\, reproducibility in the context of system scores obtained via human evaluations has barely been addressed at all\, with a tiny number of papers (e.g. Belz & Kow\, 2010; Cooper & Shardlow\, 2020) reporting attempted reproductions of results. The developments in reproducibility of automatically computed scores listed above are important\, but it is concerning that not a single one of the initiatives and events above addresses human evaluations. E.g. if a paper fully complies with all of the NeurIPS’19/EMNLP’20 reproducibility criteria\, any human evaluation results reported in it may not be reproducible to any degree\, simply because the criteria do not address human evaluation in any way. \nWith this workshop we wish to create a forum for current human evaluation research and future directions\, a space for researchers working with human evaluations to exchange ideas and begin to address the issues that human evaluation in NLP currently faces\, including aspects of experimental design\, reporting standards\, meta-evaluation and reproducibility. We invite papers on topics including\, but not limited to\, the following: \n\n\nExperimental design for human evaluations \n\n\nReproducibility of human evaluations \n\n\nEthical considerations in human evaluation of computational systems \n\n\nQuality assurance for human evaluation \n\n\nCrowdsourcing for human evaluation \n\n\nIssues in meta-evaluation of automatic metrics by correlation with human evaluations \n\n\nAlternative forms of meta-evaluation and validation of human evaluations \n\n\nComparability of different human evaluations \n\n\nMethods for assessing the quality of human evaluations \n\n\nMethods for assessing the reliability of human evaluations \n\n\nWork on measuring inter-evaluator and intra-evaluator agreement \n\n\nFrameworks\, model cards and checklists for human evaluation \n\n\nExplorations of the role of human evaluation in the context of Responsible AI and Accountable AI \n\n\nProtocols for human evaluation experiments in NLP \n\n\nWe welcome work on the above topics and more from any subfield of NLP (and ML/AI more generally)\, with a particular focus on evaluation of systems that produce language as output. We explicitly encourage the submission of work on both intrinsic and extrinsic evaluation. \nPaper Submission Information\nLong Papers:\nLong papers must describe substantial\, original\, completed and unpublished work. Wherever appropriate\, concrete evaluation and analysis should be included. \nLong papers may consist of up to eight (8) pages of content\, plus unlimited pages of references. Final versions of long papers will be given one additional page of content (up to 9 pages) so that reviewers’ comments can be taken into account. \nLong papers will be presented orally or as posters as determined by the programme committee. Cecisions as to which papers will be presented orally and which as posters will be based on the nature rather than the quality of the work. There will be no distinction in the proceedings between long papers presented orally and as posters. \nShort Papers:\nShort paper submissions must describe original and unpublished work. Short papers should have a point that can be made in a few pages. Examples of short papers are a focused contribution\, a negative result\, an opinion piece\, an interesting application nugget\, a small set of interesting results. \nShort papers may consist of up to four (4) pages of content\, plus unlimited pages of references. Final versions of short papers will be given one additional page of content (up to 5 pages) so that reviewers’ comments can be taken into account. \nShort papers will be presented orally or as posters as determined by the programme committee. While short papers will be distinguished from long papers in the proceedings\, there will be no distinction in the proceedings between short papers presented orally and as posters. \nReview forms will be made available prior to the deadlines. For more information on applicable policies\, see the ACL Policies for Submission\, Review\, and Citation. \nMultiple Submission Policy\nHumEval’21 allows multiple submissions. However\, if a submission has already been\, or is planned to be\, submitted to another event\, this must be clearly stated in the submission \nEthics Policy\nAuthors are required to honour the ethical code set out in the ACL Code of Ethics. \nThe consideration of the ethical impact of our research\, use of data\, and potential applications of our work has always been an important consideration\, and as artificial intelligence is becoming more mainstream\, these issues are increasingly pertinent. We ask that all authors read the code\, and ensure that their work is conformant to this code. Where a paper may raise ethical issues\, we ask that you include in the paper an explicit discussion of these issues\, which will be taken into account in the review process. We reserve the right to reject papers on ethical grounds\, where the authors are judged to have operated counter to the ACL Code of Ethics\, or have inadequately addressed legitimate ethical concerns with their work. \nPaper Submission and Templates\nSubmission is electronic\, using the Softconf START conference management system. For electronic submission of all papers\, please use: https://www.softconf.com/eacl2021/HumEval2021. Both long and short papers must follow the ACL Author Guidelines\, and must use the EACL’21 templates. You can find the EACL-2021 LaTeX template here or download the zip file. \nOrganisers\n\nAnya Belz\, University of Brighton\, UK\nShubham Agarwal\, Heriot Watt University\, UK\nYvette Graham\, Trinity College Dublin\, Ireland\nEhud Reiter\, University of Aberdeen\nAnastasia Shimorina\, Université de Lorraine / LORIA\n\nPC Members\n\n\n\n\n\n\n\n\nMohit Bansal\, UNC Chapel Hill\, US \n\n\nSaad Mahamood\, Trivago\, DE \n\n\n\n\nKevin B. Cohen\, University of Colorado\, US \n\n\nNitika Mathur\, University of Melbourne\, Australia \n\n\n\n\nKees van Deemter\, Utrecht University\, NL \n\n\nMargot Mieskes\, UAS Darmstadt\, DE \n\n\n\n\nOndrej Dusek\, Charles University\, Czechia \n\n\nEmiel van Miltenburg\, Tilburg University\, NL \n\n\n\n\nKarën Fort\, Sorbonne University\, France \n\n\nMargaret Mitchell\, Google\, US \n\n\n\n\nAnette Frank\, University of Heidelberg\, DE \n\n\nMathias Mueller\, University of Zurich\, CH \n\n\n\n\nClaire Gardent\, CNRS/LORIA Nancy\, France \n\n\nMalvina Nissim\, Groningen University\, NL \n\n\n\n\nAlbert Gatt\, Malta University\, Malta \n\n\nJuri Opitz\, University of Heidelberg\, DE \n\n\n\n\nDimitra Gkatzia\, Edinburgh Napier University\, UK \n\n\nRamakanth Pasunuru\, UNC Chapel Hill\, US \n\n\n\n\nHelen Hastie\, Heriot-Watt University\, UK \n\n\nMaxime Peyrard\, EPFL\, CH \n\n\n\n\nDavid Howcroft\, Heriot Watt University\, UK \n\n\nInioluwa Deborah Raji\, Ai Now Institute\, US \n\n\n\n\nJackie Chi Kit Cheung\, McGill University\, Canada \n\n\nVerena Rieser\, Heriot Watt University\, UK \n\n\n\n\nSamuel Läubli\, University of Zurich\, CH \n\n\nSamira Shaikh\, UNC\, US \n\n\n\n\nChris van der Lee\, Tilburg University\, NL \n\n\nLucia Specia\, UCL\, UK \n\n\n\n\nNelson Liu\, Washington University\, US \n\n\nWei Zhao\, TU Darmstadt\, DE \n\n\n\n\nQun Liu\, Huawei Noah’s Ark Lab\, China \n\n\n\n\n\n\nContact Information\nhumeval.ws@gmail.com \nhttps://humeval.github.io URL:https://www.loria.fr/event/workshop-on-human-evaluation-of-nlp-systems-humeval/ CATEGORIES:Séminaire END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210420T133000 DTEND;TZID=Europe/Paris:20210420T150000 DTSTAMP:20210409T120947Z CREATED:20210409T101721Z LAST-MODIFIED:20210409T120947Z UID:12004-1618925400-1618930800@www.loria.fr SUMMARY:Colloquium Loria - CELLO Team DESCRIPTION:Next Colloquium will take place on Tuesday\, 20th April at 1:30 pm on Teams. \nWe are glad to welcome the CELLO team\, with presentations given by our colleagues Hans van Ditmarsch\, Marta Gawek and Mo Liu. \n \n\nProgram and abstracts: \n13:30 – 14:00 \n\nspeaker: Hans van Ditmarsch\, CELLO @ LORIA\ntitle: Knowledge and simplicial complexes\nabstract: Simplicial complexes are a versatile and convenient paradigm on which to build all the tools and techniques of the logic of knowledge\, on the assumption that initial epistemic models can be described in a distributed fashion. Thus\, we can define: knowledge\, belief\, bisimulation\, the group notions of mutual\, distributed and common knowledge\, and also dynamics in the shape of simplicial action models. We give a survey on how to interpret all such notions on simplicial complexes\, building upon the foundations laid in prior work by Goubault et al. More recent work investigates so-called impure simplicial complexes\, that also take into account crashed processes.\nReferences:\n[1] Hans van Ditmarsch\, Eric Goubault\, Jérémy Ledent\, and Sergio Rajsbaum. Knowledge and simplicial complexes. To appear. CoRR abs/2002.08863\, 2020.\n[2] Hans van Ditmarsch. Wanted Dead or Alive: Epistemic logic for impure simplicial complexes. CoRR abs/2103.03032\, 2021.\n\n        Joint work with Éric Goubault\, Jérémy Ledent\, and Sergio Rajsbaum. \n\n\n  \n14:00 – 14:30 \n\nspeaker: Marta Gawek\, CELLO @ LORIA\ntitle: An epistemic separation logic with action models\nabstract: We investigate extensions of separation logic with epistemic and dynamic epistemic modalities. Separation logics are based on the intuitionistic logic of bunched implications (BI) or its classical counterpart Boolean BI. These logics combine additive and multiplicative connectives in the language\, expressing the notions of resource composition and resource decomposition. Epistemic Separation Logic with Action Models (ESLAM) is a generalization of the Public Announcement Separation Logic (PASL) of Courtault et al. We present the syntax and semantics of ESLAM as well as reduction axioms for the elimination of dynamic modalities.\nReferences: [1] Jean-René Courtault\, Hans van Ditmarsch\, and Didier Galmiche. A Public Announcement Separation Logic. Mathematical Structures in Computer Science 29(6):828–871\, 2019.\n[2] David Pym. The Semantics and Proof Theory of the Logic of Bunched Implications\, Springer\, 2002.\n[3] Hans van Ditmarsch\, Didier Galmiche\, and Marta Gawek. An Epistemic Separation Logic with Action Models. Proceedings of 9th ICLA\, 2021.Joint work with Hans van Ditmarsch and Didier Galmiche.\n\n\n14:30 – 15:00 \n\nspeaker: Mo Liu\, CELLO @ LORIA\ntitle: Expressivity of some versions of APAL\nabstract: Arbitrary public announcement logic (APAL) is a logic of change of knowledge with   modalities representing quantification over announcements. It extends public announcement logic (PAL). We present three rather different versions of APAL: FSAPAL only quantifies over announcements containing a finite subset of all propositional variables. SCAPAL only quantifies over announcements containing variables occurring in the formula bound by the quantifier. IPAL quantifies over announcements implying a given formula. We determine the relative expressivity of FSAPAL\, SCAPAL and IPAL in relation to APAL and PAL.\nReferences:\n[1] Hans van Ditmarsch\, Mo Liu\, Louwe B. Kuijer\, and Igor Sedlár. Expressivity of Some Versions of APAL. Proceedings of DaLí 2020\, pp 120-136\, 2020.\n\n\n        Joint work with Hans van Ditmarsch\, Louwe B. Kuijer\, and Igor Sedlár. URL:https://www.loria.fr/event/12004/ LOCATION:online CATEGORIES:Colloquium Loria END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210422T093000 DTEND;TZID=Europe/Paris:20210422T113000 DTSTAMP:20210421T141126Z CREATED:20210421T140948Z LAST-MODIFIED:20210421T141126Z UID:12149-1619083800-1619091000@www.loria.fr SUMMARY:PhD defense: Mingxiao Ma DESCRIPTION:Mingxiao Ma (RESIST) will defend his thesis\, entitled « Attack Modelling and Detection in Distributed and Cooperative Controlled Microgrid Systems« . The defense will be held online and it will take place on Thursday\, 22 April 2021 at 9:30 am. \n\n\nAbstract \n\nModern low-voltage microgrid systems rely on distributed and cooperative control approaches to guarantee safe and reliable operational decisions of their inverter-based distributed generators (DGs). However\, many sophisticated cyber-attacks can target these systems\, deceive their traditional detection methods and cause a severe impact on the power infrastructure.\n\nIn this thesis\, we systematically study the vulnerabilities and threats of distributed controlled microgrid systems. We design a novel attack named « measurement-as-reference » (MaR) attack and take it as a typical stealthy attack example to theoretically analyze the attack impact on the microgrid system and use numerical simulation results to verify the analysis. We provide mathematical models of possible false data injection (FDI) and denial of service (DoS) attacks in a representative distributed and cooperative controlled microgrid system. We propose a secure control framework with an attack detection module based on machine learning techniques. To validate the effectiveness of this framework\, we implement two typical attacks\, MaR attack and delay injection attack\, on a hardware platform modeled after a microgrid system. We collect datasets from the platform and validate the performance of multiple categories of machine learning algorithms to detect such attacks. Our results show that tree-based classifiers (Decision Tree\, Random Forest and AdaBoost) outperform other algorithms and achieve excellent performance in detecting normal behavior\, delay injection and false data attacks.\n\n\n\nComposition of jury:\nReviewers :\n                       Mohamed Kaâniche: Directeur de recherche CNRS au LAAS\, France\n                       Stéphane Mocanu: Maître de conférences à Université de Grenoble-Alpes\, France\n\n\nExaminers : \n\n                       Ghita Mezzour: Maître de conférences à Université Internationale de Rabat\, Maroc\n                       Abdelmadjid Bouabdallah: Professeur à Université de Technologie de Compiègne\, France\n                       Ye-Qiong Song: Professeur à Université de Lorraine\, France\n\nSupervisors :\n                      Isabelle Chrisment: Professeure à Télécom Nancy\, Nancy \, France\n                      Abdelkader Lahmadi: Maître de conférences à Université de Lorraine\, France URL:https://www.loria.fr/event/phd-defense-mingxiao-ma/ CATEGORIES:Soutenance END:VEVENT BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210423T140000 DTEND;TZID=Europe/Paris:20210423T160000 DTSTAMP:20210421T135352Z CREATED:20210421T135352Z LAST-MODIFIED:20210421T135352Z UID:12147-1619186400-1619193600@www.loria.fr SUMMARY:PhD defense: Bishnu Sarker DESCRIPTION:Bishnu Sarker (CAPSID) will defend his thesis\, entitled : On Graph-based Approaches for Protein Function Annotation and Knowledge Discovery. The defense will take place on Friday\, 23 April 2021 at 14:00. Due to the health situation\, the defense will be held online. \nAbstract \nDue to the recent advancement in genomic sequencing technologies\, the number of protein entries in public databases is growing exponentially. It is important to harness this huge amount of data to describe living things at the molecular level\, which is essential for understanding human disease processes and accelerating drug discovery. A prerequisite\, however\, is that all of these proteins be annotated with functional properties such as Enzyme Commission (EC) numbers and Gene Ontology (GO) terms. Today\, only a small fraction of the proteins is functionally annotated and reviewed by expert curators because it is expensive\, slow and time-consuming. Developing automatic protein function annotation tools is the way forward to reduce the gap between the annotated and unannotated proteins and to predict reliable annotations for unknown proteins. Many tools of this type already exist\, but none of them are fully satisfactory. We observed that only few consider graph-based approaches and the domain composition of proteins. Indeed\, domains are conserved regions across protein sequences of the same family. In this thesis\, we design and evaluate graph-based approaches to perform automatic protein function annotation and we explore the impact of domain architecture on protein functions. The first part is dedicated to protein function annotation using domain similarity graph and neighborhood-based label propagation technique. we present GrAPFI (Graph-based Automatic Protein Function Inference) for automatically annotating proteins with enzymatic functions (EC numbers) and GO terms from a protein-domain similarity graph. We validate the performance of GrAPFI using six reference proteomes from UniprotKB/SwissProt and compare GrAPFI results with state-of-the-art EC prediction approaches. We find that GrAPFI achieves better accuracy and comparable or better coverage. The second part of the dissertation deals with learning representation for biological entities. At the beginning\, we focus on neural network-based word embedding technique. We formulate the annotation task as a text classification task. We build a corpus of proteins as sentences composed of respective domains and learn fixed dimensional vector representation for proteins. Then\, we focus on learning representation from heterogeneous biological network. We build knowledge graph integrating different sources of information related to proteins and their functions. We formulate the problem of function annotation as a link prediction task between proteins and GO terms. We propose Prot-A-GAN\, a machine-learning model inspired by Generative Adversarial Network (GAN) to learn vector representation of biological entities from protein knowledge graph. We observe that Prot-A-GAN works with promising results to associate appropriate functions with query proteins. In conclusion\, this thesis revisits the crucial problem of large-scale automatic protein function annotation in the light of innovative techniques of artificial intelligence. It opens up wide perspectives\, in particular for the use of knowledge graphs\, which are today available in many fields other than protein annotation thanks to the progress of data science.\n\n\nComposition of jury:\nReviewers :\n                       Christine Brun : Research Director\,  CNRS\, Inserm-University of Marseille\, France.\n                       Mohamed Elati : Professor\, University of Lille\, France. \n\nExaminers :\n                       Anne Boyer : Professor\, University of  Lorraine\, France.\n                       Albert Montresor : Professor\, University of Trento\, Italy.\n\n\nSupervisors :\n                      David W. Ritchie (till Sept 2019) : Research Director\, Inria\, Nancy\, France.\n                      Marie-Dominique Devignes (from sept 2019) : Associate Researcher\, CNRS\, Nancy\, France.\n                      Sabeur Aridhi : Associate Professor\, University of Lorraine\, France. URL:https://www.loria.fr/event/phd-defense-bishnu-sarker/ LOCATION:Teams 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 BEGIN:VEVENT DTSTART;TZID=Europe/Paris:20210504T093000 DTEND;TZID=Europe/Paris:20210504T113000 DTSTAMP:20210421T134010Z CREATED:20210421T134010Z LAST-MODIFIED:20210421T134010Z UID:12128-1620120600-1620127800@www.loria.fr SUMMARY:PhD defense: George Krait DESCRIPTION:George Krait (Gamble) will defend his thesis\, entitled : Isolating the Singularities of the Plane Projection of  Generic Space Curves and Applications in Robotics\, on Tuesday\, Mai 4th 2021 at 9:30 am. \nAbstract\n Isolating the singularities of a plane curve is the first step towards computing its topology. For this\, numerical methods are efficient but not certified in general. We are interested in developing certified numerical algorithms  for isolating the singularities. In order to do so\, we restrict our attention to the special case of plane curves that are projections of smooth curves in higher dimensions. This type of curves appears naturally in robotics applications and scientific visualization. In this setting\, we show that the singularities can be encoded by a regular square system whose solutions can be isolated with certified numerical methods. Our analysis is conditioned by assumptions that we prove to be generic using transversality theory. We also provide a semi-algorithm to check their validity. Finally\, we present experiments in visualization and robotics\, some of which are not reachable by other methods\, and discuss the efficiency of our method.\n\nKeywords: Transversality\, Generic Singularities\, Certified Numerical Algorithms\, Interval Arithmetic\, Singular Curve Topology\n\n\n\n\n\n\n\nComposition of the jury\nReviewers:     Nicolas Delanoue (Université d’Angers\, ISTIA)\n                             Sonia Pérez-Díaz (University of Alcala)\n\nExaminers:     Pierrick Gaudry (CNRS\, Loria)\n                             Sylvain Lazard -directeur- (INRIA Nancy Grand Est\, Loria)\n                             Guillaume Moroz -co-directeur- (INRIA Nancy Grand Est\, Loria)\n                             Erika Ottaviano (University of Cassino and Southern Lazio)\n\nGuest:             Marc Pouget (INRIA Nancy Grand Est\, Loria)\n\n\nThe event will take place on Teams. URL:https://www.loria.fr/event/phd-defense-george-krait/ LOCATION:Teams CATEGORIES:Soutenance END:VEVENT END:VCALENDAR