BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.16.3//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:20170326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20171029T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20180325T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20181028T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20190331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20191027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20200329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20201025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20181205
DTEND;VALUE=DATE:20181207
DTSTAMP:20260608T023516
CREATED:20181127T161357Z
LAST-MODIFIED:20181127T161358Z
UID:6267-1543968000-1544140799@www.loria.fr
SUMMARY:QCM-BioChem days
DESCRIPTION:On the 5 and 6 of December\, the LORIA will host the meetings of the Mastodons Project: \nQCM-BioChem: Quality in Consensualizing and Mining biological and chemical datasets \nThe QCM-BioChem consortium is the result of the fusion of 3 Mastodons projects (QualiBioConsensus\, HyQual and DECADE) and that aims to address and tackle challenges arising from the large and wide variety of biological and chemical data as well as the different methodologies in knowledge discovery. The novelty of the approaches developed in QCM-BioChem relies on the consideration and explanation of quality criteria in terms of data\, and methods for data mining and data analysis. For further details:https://www.lri.fr/~cohen/QCM-BioChem.html \nThis meeting days will comprise 2 keynote presentations\,\n-Antti Kuusisto on December 5 at 14h00\, Room B013\n-Jérôme Lang on December 6 at 14h00\, Room C005\nfollowed by several contributed presentations. \nProgram of December 5 (room B013): \n14h00-15h00: Antti Kuusisto (Tampere University of Technology)\nTitle: Computational Logics – A Theoretical Perspective \n15h15-15h45: Arnaud Soulet (LI\, Université de Tours)\nTitle: Representativeness of knowledge bases with the generalized Benford’s Law \n15h45-16h15: Coffee break \n16h15-16h45: Tatiana Makahlova (LORIA\, Université de Lorraine)\nTitle: The Application of MDL in the Mining of Numerical Data \n17h00-17h45: Sylvie Hamel (Université de Montréal)\nTitle: Space reduction techniques for the median of permutations problem \nProgram of December 6 (room C005): \n10h00-10h45: Henry Soldano (LIPN\, Université Paris-Nord)\nTitle: Bi-pattern mining of attributed two-mode and directed networks \n10h45-11h00: Coffee break \n11h00-11h30: Lamine Diop (LI\, Université de Tours)\nTitle: Sequential Pattern Sampling with Norm Constraints \n11h45-12h15: Nyoman Juniarta (LORIA\, Université de Lorraine)\nTitle: Application of Biclustering to the discovery of constant and gradual Patterns \n12h30-14h00: Lunch break \n14h00-15h00: Jérôme Lang (LAMSADE\, Université Paris-Dauphine)\nTitle: From social choice to preference learning \n15h00-15h30: Coffee break \n15h30-16h00: Guilherme Alves (LORIA\, Université de Lorraine)\nTitle: A framework for online clustering based on evolving semi-supervision \n16h15-16h45: Kevin Dalleau (LORIA\, Université de Lorraine)\nTitle: Tackling (some) preprocessing issues using unsupervised extremely randomized trees \n======================================= \nThe complete program together with the abstracts\, of all presentations of this event can be found at:\nhttps://malotec.loria.fr/journees-mastodons-qcm-biochem
URL:https://www.loria.fr/event/qcm-biochem-days/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181205T140000
DTEND;TZID=Europe/Paris:20181205T153000
DTSTAMP:20260608T023516
CREATED:20181130T150405Z
LAST-MODIFIED:20181130T150405Z
UID:6286-1544018400-1544023800@www.loria.fr
SUMMARY:TALC Seminar : Chloé Braud (Synalp)
DESCRIPTION:Next TALC Seminar will take place on Wednesday\, December 5th at 2pm in room A008. \nChloé Braud (Synalp) will give a presentation entitled « Transfer learning for discourse parsing ». \n \nAbstract:\nDiscourse structures describe the organization of documents in terms of discourse or rhetorical relations (such as « Explanation » or « Contrast ») linking clauses and sentences. Discourse analysis could be useful for various downstream applications\, such as automatic summarization\, question-answering or sentiment analysis. However\, the range of applications and the performance are still limited by the low scores of the existing discourse parsers and their focus on English. \nDiscourse parsing is known to be a hard task: It involves several complex and interacting factors\, touching upon all layers of linguistic analysis\, from syntax\, semantics up to pragmatics. Consequently\, also annotation is complex and time consuming\, and hence available annotated corpora are sparse and limited in size. \nIn this presentation\, I will present attempts to tackle these issues using transfer learning strategies. First\, I will describe experiments on identifying implicit discourse relations (i.e. lacking a discourse connective such as « but » or « because ») by transferring knowledge from the explicit examples to the implicit ones\, either by augmenting the size of the training set\, or by building a task-tailored representation of the words.I will then present two full discourse parsers. The first one involves a combination of several corpora annotated for different languages\, leading to improvements on English and to the first systems for Basque and Dutch developed without any training data. The second parser relies on multi-task learning to transfer information among several discourse related tasks.
URL:https://www.loria.fr/event/talc-seminar-chloe-braud-synalp/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181206T100000
DTEND;TZID=Europe/Paris:20181206T120000
DTSTAMP:20260608T023516
CREATED:20181204T143414Z
LAST-MODIFIED:20181204T143414Z
UID:6292-1544090400-1544097600@www.loria.fr
SUMMARY:PhD Defense : Pierre Kimmel
DESCRIPTION:Pierre Kimmel (Types team) will defend his thesis on Thursday\, December 6th at 10am in room B013. \nHis presentation is entitled « Modal extensions of resource logics : expressiveness and calculi ». \n \nThe jury members are  : \n\nNicolas Olivetti\, Professeur Université Aix-Marseille\, LSIS\, Marseille\nSerenella Cerrito\, Professeur Université Evry Val d’Essonne\, IBISC\, Evry\nDavid Pym\, Professeur University College London\, Londres\nHans van Ditmarsch\, Directeur de recherche CNRS\, LORIA\, Nancy\nDidier Galmiche\, Professeur Université de Lorraine\, LORIA\, Nancy\nDominique Larchey-Wendling\, Chargé de recherche CNRS\, LORIA\, Nancy\n\nAbstract : \nThe design of new logical formalisms is at the heart of several problems in formal methods. Those formalisms must respond to requirements both concerning modelling (they must be able to describe certain systems) and computing (they must provide complete and sound calculus methods). In this context\, we look at resource logics\, and in particular BI and BBI logics\, that deal with the separation and sharing of resources and have led to several separation logics whose applications to software verification have been widely developped recently.\n\nWe propose in this thesis\, starting from BI and BBI logics\, to study some modal and epistemic separation logics by focusing on their modelling capacities and their expresiveness\, as well as on the new proof calculi for those logics.\nA first study deals with the modelling of dynamic resource properties through new logic LTBI\, which is a temporal separation logic\, based on BI logic and temporal modalities. This logic notably offers interesting perspectives intemporal branching modelling\, allowing for instance to characterize multi-thread processes.\nA complementary study concerns the modelling of access by agents to properties under the conditions of\nposessing some resources\, through a new logic ERL\, which is an epistemic separation logic\, based on BBI logic and epistemic modalities. This logic allows many modellings of access control systems.\nIn order to extend the expressivity of such separation logics\, like BBI logic and its variants\, a study on the\ninternalization of resources symbols in the logic’s syntax has been developed through the new logics HRL and\nHBBI (hybrid version of BBI). Internalization allows both the extension of the expressivity of logics and the\naxiomatisation of BBI logic and some of its variants.\nIn addition to the conception of those logics\, the study of their semantics and their modelling capacities\, a part\nof this thesis is dedicated to the definition of proof calculi\, here tableaux calculi\, for those new logics\, as well as\ntheir proofs of soundness and completeness.
URL:https://www.loria.fr/event/phd-defense-pierre-kimmel/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181207T100000
DTEND;TZID=Europe/Paris:20181207T113000
DTSTAMP:20260608T023516
CREATED:20181130T145532Z
LAST-MODIFIED:20181130T145539Z
UID:6283-1544176800-1544182200@www.loria.fr
SUMMARY:D4 Seminar : Philippe Muller (IRIT\, Toulouse)
DESCRIPTION:Next D4 Seminar will take place on Friday\, December 7th at 10am in room A008. \nPhilippe Muller (IRIT\, Toulouse) will give a presentation entitled « Sentential distributional semantics: Learning semantic sentence representations and their compositions ». \n \nAbstract: \n(Joint work with Damien Sileo et Tim van de Cruys) \nDistributional semantics aims at automatic representation of textual semantic content based on the observation of a large representative corpus. There is a large body of work on lexical distributional semantics\, based on the assumption that words appearing in similar contexts should have similar semantic representations. This popularized the representation of words as vectors in a semantic space.More recently\, a lot of effort in the NLP field has been devoted to building similar representations for sentences\, or even larger textual elements. \nThis raises several questions: how to build sentence representations from word representations in vector spaces\, preferably in a compositional manner\, and how to guide the representations so that they capture important semantic aspect at the sentence level?Arguably\, sequential compositional models such as recurrent neural network offer a simple composition at the lexical level that can be used in supervised settings to make accurate predictions in textual classification\, while building a representation of the sentential context in their internal state. This is however specific to each task\, and researchers have tried to find ways of building so-called « universal » sentence representations\, or more exactly transferable representations. In this perspective several settings have been proposed that evokes supervised distributional approaches at the word level\, with auxilliary tasks that could induce semantically relevant representations at the sentence level: for instance trying to predict if two sentences follow each other in a text\, or if one is a consequence of the other. These in turn must compose the two sentences in a way that allows for the learning of their relationships. Composition of representations is also important in all tasks that involve predicting a relation between a pair of textual elements: sentence similarity\, entailment\, discourse relations.\nThe compositions considered in NLP are often quite superficial\, and we will show more expressive compositions by taking inspiration from Statistical Relational Learning. Moreover we propose an unsupervised training task to induce sentence representations\, based on the prediction of discourse connections between sentences in a large corpus.
URL:https://www.loria.fr/event/d4-seminar-philippe-muller/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181211T200000
DTEND;TZID=Europe/Paris:20181211T220000
DTSTAMP:20260608T023516
CREATED:20181121T132547Z
LAST-MODIFIED:20181121T132606Z
UID:6233-1544558400-1544565600@www.loria.fr
SUMMARY:Conférence-débat : Olivier Rey
DESCRIPTION:Olivier Rey\, chercheur au CNRS\, sera l’invité de la prochaine conférence-débat du Loria. \nRendez-vous le mardi 11 décembre à 20 heures à la Salle d’Honneur des Universités pour son exposé intitulé « Penser avec le transhumanisme ». \nRésumé : \n« Je marche à l’aide des pieds\, je philosophe à l’aide des sots »\, disait Georges Bataille. C’est en cela que les transhumanistes peuvent nous être utiles : même si ce qu’ils annoncent n’a pas grand sens\, leur discours constitue un instrument de choix pour dégager les forces qui façonnent notre époque\, sonder les fantasmes qui la travaillent. \nLe transhumanisme est récent\, mais il est aussi\, à sa manière\, le produit d’un mouvement amorcé voici plusieurs siècles\, dont il aide à comprendre les tenants et les aboutissants. Là où croît le transhumanisme\, peut croître aussi l’intelligence de notre situation historique\, et le sens des véritables réformes qu’il nous faudrait opérer dans nos modes de pensée et nos façons d’agir. \nMathématicien et philosophe\, Olivier Rey est membre de l’Institut d’histoire et de philosophie des sciences et techniques (IHPST) de Paris. Il a enseigné les mathématiques à l’Ecole Polytechnique et enseigne aujourd’hui la philosophie à l’Université Paris 1 Panthéon-Sorbonne. \nIl est l’auteur de nombreux essais tels que « Une question de taille »\, pour lequel il a reçu le Prix Bristol des Lumières 2014\, et « Leurre et malheur du transhumanisme »\, publié en octobre 2018 aux éditions Desclée de Brouwer\, qu’il présentera lors de cette conférence. \nNazim Fatès\, chargé de recherche Inria au Loria introduira et animera cette conférence. \nEntrée libre et gratuite dans la limite des places assises disponibles. \nInfos pratiques :\nMardi 11 décembre\n20 heures\nSalle d’honneur des universités\n11\, place Carnot\n54000 Nancy
URL:https://www.loria.fr/event/conference-debat-olivier-rey/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20181212
DTEND;VALUE=DATE:20181213
DTSTAMP:20260608T023516
CREATED:20181129T094132Z
LAST-MODIFIED:20181129T094144Z
UID:6272-1544572800-1544659199@www.loria.fr
SUMMARY:Journée Fédération Charles Hermite : Modélisation mathématique et solutions pour la mobilité dans les réseaux sans fil
DESCRIPTION:La Fédération Charles Hermite (FCH) organise le mercredi 12 décembre 2018\, dans les locaux de l’IECL de Nancy\, une Journée Scientifique sur la thématique : « Modélisation mathématique et solutions pour la mobilité dans les réseaux sans fil ». \n \nProgramme : \n9h45 – 10h15 : Café d’Accueil \n10h15 – 11h15 : Nicola Roberto Zema (LRI- Université Paris-Sud)\nAn overview of multi-domain problems and solutions for controlled mobility in wireless networks \n11h20 – 12h20 : Marceau Coupechoux (LTCI – Telecom Paris Tech)\nOptimal Trajectories of UAV Base Stations \n12h20-13h45 : Pause déjeuner \n13h45-14h45 : Arnaud Casteigts (LABRI – Université de Bordeaux)\nFinding and Exploiting Structure in Highly-Dynamic Networks \n14h50-15h50 : Anastasios Giovanidis (Lip6 – UPMC / CNRS)\nSuccessful file transmission in mobile D2D networks with caches \n15h50-16h15 : Pause café \n16h15-17h15 : Jean-Philippe Georges\, Francis Lepage\, Vincent Lecuire (CRAN – Université de Lorraine)\nCommunications par réseaux de capteurs pour des systèmes en mobilité sur trajectoires connues \nProgramme complet
URL:https://www.loria.fr/event/journee-federation-charles-hermite-2/
LOCATION:IECL\, Institut Élie Cartan de Lorraine
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181212T100000
DTEND;TZID=Europe/Paris:20181212T120000
DTSTAMP:20260608T023516
CREATED:20181128T133309Z
LAST-MODIFIED:20181128T133309Z
UID:6270-1544608800-1544616000@www.loria.fr
SUMMARY:HDR : Bernadetta Addis
DESCRIPTION:Bernadetta Addis will defend her « Habilitation à diriger des recherches » on Wednesday\, December 12th at 10 am in room A008\, with a presentation entitled « A journey through optimization:from global to discrete optimization and back ». \n \nJury/Commitee : \nPr. Jean-Charles BILLAUT (Université de Tours)\nPr. Bernard FORTZ (Université Libre de Bruxelles) – reviewer\nPr. Martine LABBÉ (Université Libre de Bruxelles)\nPr. Ammar OULAMARA (Université de Lorraine)\nPr. Laura PALAGI (Sapienza Università di Roma) – reviewer\nPr. Alain QUILLIOT (Université Clermont Auvergne) – reviewer \nSummary:\nMy contributions (and also my research project) are divided along two axes: one dedicated to global optimization and the other to discrete optimization problems resulting from ICT  (Information and Communication Technology) applications.\nThe common elements between these two axes are represented by: the design of mathematical programming models to solve applied problems (green-networking\, placement and routing of virtualized network functions\, optimal design of spatial trajectories\, gas separation processes by membranes\, etc.)\, the analysis of underlying mathematical structures and their use in the design of effective optimization algorithms (heuristic and exact) for large scale problems.
URL:https://www.loria.fr/event/hdr-bernadetta-addis/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20181214
DTEND;VALUE=DATE:20181215
DTSTAMP:20260608T023516
CREATED:20181119T114036Z
LAST-MODIFIED:20181206T080349Z
UID:6221-1544745600-1544831999@www.loria.fr
SUMMARY:Department 3 PhD day
DESCRIPTION:Departement 3 organizes its annual PhD Day on Friday\, December 14th in room C005\, to allow all the PhD students of the department to present their ongoing work and to share their experiences. \nSchedule \nProgram: \n\n\n\n9:00 – 9:05 Welcome (Ye-Qiong Song) \n9:05 – 10:30 session 1: Modeling\, simulation and experimental methods \nBéatrice Linot (20’ + 5’ Q&A)\nTrust in Computer-Supported crisis management information sharing \nThomas Paris (20’ + 5’ Q&A)\nComplex system modeling by composition \nAbdulqawi Saif (20’ + 5’ Q&A)\nContributions of experimental methods for I/O systems and testbed experiments \nJean-Baptiste Wiart (5’)\nDefinition of a domain specific language for the cosimulation of microgrid powered hydrogen \nThéo Docquier (5’)\nDesign\, modeling and co-simulation of real-time industrial IoT for smart grids \n10:30 – 10:50 coffee break \n10:50 – 12:00 session 2: Internet of Things\, SDN and security \nMingxiao Ma (20’ + 5’ Q&A)\nStudy of Synchronization Attacks on Distributed and Cooperative Control in Microgrid Systems \nGrégoire Denis (5’)\nMalicious attacks detection and resilience in cyber-physical systems through joint dynamic resource scheduling and synthesis of adaptive control laws \nAdrien Hemmer (5’)\nPredictive Security Monitoring for Large-Scale Internet-of-Things \nAbir LARABA (5’)\nData-Driven Intelligent Monitoring for Software-Defined Networks \nAhmad ABBOUD (5’)\nCompressed and Verifiable Filtering Rules in Software-defined Networking \n\n\n\n\n\n\nVirgile Dauge (20’ + 5’ Q&A)\nSystèmes Cyber-Physiques autonomes et communicants en milieux hostiles. Application à l’exploration par robots mobiles \n12:00 – 12:30 Invited session \nProf. Enrico Natalizio (25’ + 5’ Q&A)\n5G and UAVs: synergies to exploit for an Internet of Intelligent Things \n12:30 – 14:00 Buffet & Discussion \n14:00 – 15:15 session 3: Security \nHoang-Long Nguyen (20’ + 5’ Q&A)\nTransparency Approach using Blockchain to End to End Encryption (E2EE) \nNicolas Schnepf (20’ + 5’ Q&A)\nOrchestration and verification of security functions for smart environments \nVictorien Elvinger (20’ + 5’ Q&A)\nPrunable tamper-evident log in peer-to-peer systems \n15:15 – 15:30 coffee break \n15:30 – 17:10 session 4: Safety\, Performance and Optimization \nLouis Viard (20’ + 5’ Q&A)\nMonitor-Centric Mission Definition For Cyber-Physical Systems \nQuentin Laporte-Chabasse (20’ + 5’ Q&A)\nA topological characterisation of peer-to-peer inter-organisational collaboration \nBilal Messaoudi (20’ + 5’ Q&A)\nMultiple periods vehicle routing problems: a case study \nHoai-Le NGUYEN (20’ + 5’ Q&A)\nStudying group performance and behavior in collaborative editing
URL:https://www.loria.fr/event/department-3-phd-day-2/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20181214
DTEND;VALUE=DATE:20181215
DTSTAMP:20260608T023516
CREATED:20181129T105220Z
LAST-MODIFIED:20181130T153711Z
UID:6276-1544745600-1544831999@www.loria.fr
SUMMARY:Journée Fédération Charles Hermite : Systèmes de numération\, combinatoire et théorie des nombres
DESCRIPTION:Le vendredi 14 décembre 2018 aura lieu une Journée Charles Hermite sur le thème des systèmes de numération\, combinatoire et théorie des nombres. Cette journée scientifique est organisée conjointement par l’IECL et le LORIA avec le soutien de la Fédération Charles Hermite. Les exposés auront lieu à l’IECL. \n \nOrateurs : \nYann Bugeaud (Université de Strasbourg)\nMichael Drmota (Université technique de Vienne\, Autriche)\nMichaël Rao (ENS Lyon)\nJoël Rivat (Université d’Aix-Marseille) \nProgramme et inscriptions \n 
URL:https://www.loria.fr/event/journee-federation-charles-hermite-systemes-de-numeration-combinatoireet-theorie-des-nombres/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181214T100000
DTEND;TZID=Europe/Paris:20181214T120000
DTSTAMP:20260608T023516
CREATED:20181211T101044Z
LAST-MODIFIED:20181211T101044Z
UID:6303-1544781600-1544788800@www.loria.fr
SUMMARY:PhD defense : Konstantinos Chatzilygeroudis
DESCRIPTION:Konstantinos Chatzilygeroudis will defend his thesis on Friday\, December 14th at 10am in room A008. \nHis presentation is entitled « Micro-Data Reinforcement Learning for Adaptive Robots ». \n \nThe jury members are: \n\nPierre-Yves OUDEYER\, Directeur de recherche\, Inria Bordeaux Sud-Ouest\, France\nYiannis DEMIRIS\, Professor\, Imperial College London\, UK\nVerena V. HAFNER\, Professor\, Humboldt-Universität zu Berlin\, Germany\nAlain DUTECH\, Chargé de recherche\, Inria\, CNRS\, Université de Lorraine\, France\nAude BILLARD\, Professor\, EPFL\, Switzerland\n\nSupervisor: \n\nJean-Baptiste MOURET\, Directeur de recherche\, Inria\, CNRS\, Université de Lorraine\, France\n\nAbstract: \nRobots have to face the real world\, in which trying something might take seconds\, hours\, or even days. Unfortunately\, the current state-of-the-art reinforcement learning algorithms (e.g.\, deep reinforcement learning) require big interaction times to find effective policies. In this thesis\, we explored approaches that tackle the challenge of learning by trial-and-error in a few minutes on physical robots. We call this challenge “micro-data reinforcement learning”. \nIn our first contribution\, we introduced a novel learning algorithm called “Reset-free Trial-and-Error” that allows complex robots to quickly recover from unknown circumstances (e.g.\, damages or different terrain) while completing their tasks and taking the environment into account; in particular\, a physical damaged hexapod robot recovered most of its locomotion abilities in an environment with obstacles\, and without any human intervention. \nIn our second contribution\, we introduced a novel model-based reinforcement learning algorithm\, called Black-DROPS that: (1) does not impose any constraint on the reward function or the policy (they are treated as black-boxes)\, (2) is as data-efficient as the state-of-the-art algorithm for data-efficient RL in robotics\, and (3) is as fast (or faster) than analytical approaches when several cores are available. We additionally proposed Multi-DEX\, a model-based policy search approach\, that takes inspiration from novelty-based ideas and effectively solved several sparse reward scenarios. \nIn our third contribution\, we introduced a new model learning procedure in Black-DROPS (we call it GP-MI) that leverages parameterized black-box priors to scale up to high-dimensional systems; for instance\, it found high-performing walking policies for a physical damaged hexapod robot (48D state and 18D action space) in less than 1 minute of interaction time. \nFinally\, in the last part of the thesis\, we explored a few ideas on how to incorporate safety constraints\, robustness and leverage multiple priors in Bayesian optimization in order to tackle the micro-data reinforcement learning challenge. \nThroughout this thesis\, our goal was to design algorithms that work on physical robots\, and not only in simulation. Consequently\, all the proposed approaches have been evaluated on at least one physical robot. Overall\, this thesis aimed at providing methods and algorithms that will allow physical robots to be more autonomous and be able to learn in a handful of trials.
URL:https://www.loria.fr/event/phd-defense-konstantinos-chatzilygeroudis/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181217T103000
DTEND;TZID=Europe/Paris:20181217T123000
DTSTAMP:20260608T023516
CREATED:20181213T111900Z
LAST-MODIFIED:20181213T111900Z
UID:6309-1545042600-1545049800@www.loria.fr
SUMMARY:PhD Defense : Daishi Kondo
DESCRIPTION:Daishi Kondo will defend his thesis on Monday\, December 17th at 10.30am in room C005. \nHis presentation is entitled « Preventing information leakage in NDN with name and flow filters ».  \nThe jury members are:\n\nReporter:\nMiki Yamamoto\, Professor at Kansai University\nToru Hasegawa\, Professor at Osaka University\n\nExaminer:\nGiovanna Carofiglio\, Distinguished Engineer / Senior Director at Cisco Systems\nHouda Labiod\, Professor at Telecom ParisTech\nIsabelle Chrisment\, Professor at University of Lorraine\nSylvain Contassot-Vivier\, Professor at University of Lorraine\n\nInvited:\nHideki Tode\, Professor at Osaka Prefecture University\nTohru Asami\, CEO at ATR\n\nSupervisor:\nOlivier Perrin\, Professor at University of Lorraine\nThomas Silverston\, Associate Professor at Shibaura Institute of Technology\n\nAbstract:\n\nIn recent years\, Named Data Networking (NDN) has emerged as one of the most promising future networking architectures. To be adopted at Internet scale\, NDN needs to resolve the inherent issues of the current Internet. Since information leakage from an enterprise is one of the big issues even in the Internet and it is very crucial to assess the risk before replacing the Internet with NDN completely\, this thesis investigates whether a new security threat causing the information leakage can happen in NDN. Assuming that (i) a computer is located in the enterprise network that is based on an NDN architecture\, (ii) the computer has been already compromised by suspicious media such as a malicious email\, and (iii) the company installs a firewall connected to the NDN-based future Internet\, this thesis focuses on a situation that the compromised computer (i.e.\, malware) attempts to send leaked data to the outside attacker.\n\nNDN is basically a « pull »-based architecture and there are only two kinds of packets: Interest and Data\, which are a request and a response packet\, respectively. In order to retrieve content\, a consumer first sends the Interest to NDN network and then obtains the corresponding Data from the producer or the intermediate NDN node. In other words\, they cannot send a Data unless they receive the Interest packet. Therefore\, as one of the naive methods to mitigate information leakage through a Data\, an enterprise network firewall can carefully inspect a Data to publish\, and produce it instead of the inside employee in the network (i.e.\, a whitelist). In this case\, all the publicly-accessible content is on the firewall.\n\nHowever\, the firewall cannot manage a naming policy on the outside content and NDN forwarding nodes do not verify whether the name really exists. That causes a risk of information leakage through an Interest by malware’s hiding information such as customer information in the Interest name and sending it toward the outside attacker. The malware can pretend to access outside content\, so that it is quite difficult for the firewall to detect the information leakage attack. This thesis argues that the information leakage attack through an Interest in NDN should be one of the essential security attacks at protocol level and it is important to develop the detection method of this attack.\n\nThe contributions of this thesis are fivefold. Firstly\, this thesis proposes an information leakage attack through a Data and through an Interest in NDN. This thesis investigates the one through an Interest deeply\, and\, as a more advanced attack for the attacker to hide the malicious activity\, this thesis proposes a steganography-embedded Interest name to perform information leakage efficiently. To the best of author’s knowledge\, this is the first research about the information leakage attack in NDN.\n\nSecondly\, in order to address the information leakage attack\, this thesis proposes an NDN firewall which monitors and processes the NDN traffic coming from the consumers with the whitelist and blacklist. To design the firewall\, this thesis focuses on two requirements: (i) designing an NDN firewall independent from NDN Forwarding Daemon (NFD)\, which deicides how to forward an Interest\, and (ii) performing a fast lookup of the names or name prefixes in the whitelist and blacklist. By utilizing a cuckoo filter\, which is a probabilistic filter\, the proposed NDN firewall provides Interest packet filtering based on the names or name prefixes in the lists that can be updated on the fly. While satisfying the requirements and providing the functions\, the firewall implementation achieves high performance. Specifically\, the throughput degradation with the firewall is only from 0.912% to 2.34%\, which will be acceptable in an enterprise network.\n\nThirdly\, this thesis proposes an NDN name filter to classify a name in the Interest as legitimate or anomalous. Since NDN has not been deployed at large scale\, a dataset about NDN traffic does not exist. Assuming that it is highly possible for the future NDN naming policy to become the one naturally evolved from the current Uniform Resource Locator (URL) naming policy\, this thesis utilizes content names based on URLs collected by a web crawler. By using search engine information and applying the name dataset to an isolation forest\, this thesis builds NDN name filters. This thesis evaluates the performances of the name filters and shows that the proposed name filters can choke drastically the information leakage throughput per Interest and malware has to send 137 times more Interest packets to leak information than without using the filters.\n\nThe name filter can\, indeed\, reduce the throughput per Interest\, but to ameliorate the speed of this attack\, malware can send numerous Interests within a short period of time. Moreover\, the malware can even exploit an Interest with an explicit payload in the name (like HTTP POST message in the Internet)\, which is out of scope in the proposed name filter and can increase the information leakage throughput by adopting a longer payload. That is the limitation of the name filter. To take traffic flow to the NDN firewall from the consumer into account\, fourthly\, this thesis proposes an NDN flow monitored at an NDN firewall. At first\, this thesis introduces the concept of NDN flow and specifies it strictly\, which has not yet been standardized in NDN research. Then\, this thesis proposes a method to generate an NDN flow dataset analogically derived from the HTTP flow dataset in the current Internet because there is no dataset about NDN traffic.\n\nFifthly\, in order to deal with the drawbacks of the NDN name filter\, this thesis proposes an NDN flow filter to classify a flow as legitimate or not. Based on the generated NDN flow dataset\, this thesis builds an NDN flow filter against the information leakage attack. By applying the obtained dataset to a Support Vector Machine (SVM)\, this thesis builds an NDN flow filter against the information leakage attack\, and the performance evaluation shows that the information leakage throughput choked by the flow filter is from 1.87·10−4 to 8.08·10−3 times that of only by the name filter\, and the throughput choked by the name and flow filter under banning Interests with an explicit payload in the name reaches at most 1.72 Kbps. Thus\, the flow filter complements the name filter and greatly chokes the information leakage throughput.
URL:https://www.loria.fr/event/phd-defense-daishi-kondo/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181217T133000
DTEND;TZID=Europe/Paris:20181217T153000
DTSTAMP:20260608T023516
CREATED:20181213T080435Z
LAST-MODIFIED:20181213T080435Z
UID:6307-1545053400-1545060600@www.loria.fr
SUMMARY:PhD Defense : Oriane Dermy
DESCRIPTION:Oriane Dermy (Larsen) will defend her thesis on Monday\, December 17th at 1:30pm in room A008. \nHer presentation will be in French and is entitled « Prédiction du mouvement pour la robotique collaborative : du simple geste au mouvement corps entier ». \n \nRapporteurs : \nRachid Alami\, Directeur de recherche CNRS\, LAAS\nDaney David\, Chargé de recherche INRIA\, Bordeaux \n\nExaminateurs : \nCatherine Pelachaud\, Directeur de recherche\, CNRS\, Isir UPCM \n\nDirecteurs de thèse : \nSerena Ivaldi\, Chargée de recherche INRIA\, LORIA\nFrançois Charpillet\, Directeur de recherche INRIA\, LORIA \nRésumé :\nCette thèse se situe à l’intersection de l’apprentissage automatique et de la robotique humanoïde\, dans la thématique de l’interaction homme-robot\, et dans le domaine de la cobotique (robotique collaborative). Elle se focalise sur les interactions non verbales humain-robot\, en particulier sur l’interaction gestuelle. La prédiction de l’intention\, la compréhension et la reproduction de gestes sont donc des questions centrales de cette thèse.\nDans un premier temps\, il s’agit de faire apprendre au robot des gestes par démonstration : un utilisateur prend le robot par le bras et lui fait réaliser les gestes à apprendre et ce\, plusieurs fois. Le robot doit ensuite être capable de reproduire ces différents mouvements tout en les généralisant pour s’adapter au contexte. Pour cela\, à l’aide de ses capteurs proprioceptifs\, il interprète les signaux perçus pour comprendre le mouvement que lui fait réaliser l’utilisateur\, afin d’en générer des similaires par la suite.Dans un second temps\, le robot apprend à reconnaître l’intention de l’humain avec lequel il interagit et cela\, à partir des gestes que ce dernier initie : il s’agit ensuite pour le robot de produire les gestes adaptés à la situation et correspondant aux attentes de l’utilisateur. Cela nécessite que le robot comprenne la gestuelle de l’utilisateur. Pour cela\, différentes modalités perceptives ont été explorées. À l’aide de capteurs proprioceptifs\, le robot ressent les gestes de l’utilisateur au travers de son propre corps : il s’agit alors d’interaction physique humain-robot.À l’aide de capteurs visuels\, le robot interprète le mouvement de la tête de l’utilisateur. Enfin\, à l’aide de capteurs externes\, le robot reconnaît et prédit le mouvement corps entier de l’utilisateur. Dans ce dernier cas\, l’utilisateur porte lui-même des capteurs (vêtement X-Sens) qui transmettent sa posture au robot. De plus\, le couplage de ces modalités a été étudié. D’un point de vue méthodologique\, nous venons de voir que les questions d’apprentissage et dereconnaissance de séries temporelles (les gestes) ont été centrales dans cette thèse. Pour cela\, deux approches ont été développées. La première est fondée sur la modélisation statistique de primitives de mouvements (correspondant aux gestes) : les ProMPs. La seconde\, ajoute à la première du Deep Learning\, par l’utilisation d’auto-encodeurs\, afin de modéliser des gestes corps entier contenant beaucoup d’informations\, tout en permettant une prédiction en temps réel mou. Lors de cette thèse\, différents enjeux ont notamment été pris en compte pour la création et le développement de nos méthodes. Ces enjeux concernent : la prédiction des durées des trajectoires\, la réduction de la charge cognitive et motrice imposée à l’utilisateur\, le besoin de rapidité (temps réel mou) et de précision dans les prédictions.
URL:https://www.loria.fr/event/phd-defense-oriane-dermy/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20181218
DTEND;VALUE=DATE:20181219
DTSTAMP:20260608T023516
CREATED:20181130T153648Z
LAST-MODIFIED:20181130T153648Z
UID:6288-1545091200-1545177599@www.loria.fr
SUMMARY:Journée Fédération Charles Hermite : Automates cellulaires et dynamiques sur réseaux
DESCRIPTION:Dans le cadre de la Fédération Charles Hermite (IECL & LORIA)\, une rencontre sur le thème « Automates cellulaires et dynamiques sur réseaux » est organisée le mardi 18 décembre à l’IECL. \nProgramme : \n10h15-11h15 : Régine Marchand (IECL\, Université de Lorraine) \n11h30-12h : Martin Schüle (ZHAW\, Zurich)\nThe classification problem of elementary cellular automata and the quest for natural computation \n12h-12h30 : J. Ricardo G. Mendonça (EACH\, Univ. de São Paulo / LPTMS\, Univ. Paris-Sud)\nCellular automata under noise: empirical findings and applications \n14h-15h : Thomas Nowak (LRI\, Université Paris-Sud) \n15h30-16h : Nicolas Gauville (LORIA\, Université de Lorraine) \n16h-16h30 : Jérôme Casse (NYU Shanghai)\nUne généralisation du TASEP synchrone (sur le tore) – A generalisation of the parallel TASEP (on tore) \nProgramme complet et informations pratiques
URL:https://www.loria.fr/event/journee-federation-charles-hermite-automates-cellulaires-et-dynamiques-sur-reseaux/
LOCATION:IECL\, Institut Élie Cartan de Lorraine
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181218T133000
DTEND;TZID=Europe/Paris:20181218T160000
DTSTAMP:20260608T023516
CREATED:20181214T085711Z
LAST-MODIFIED:20181214T085807Z
UID:6315-1545139800-1545148800@www.loria.fr
SUMMARY:PhD Defense : Maxime Compastié
DESCRIPTION:Maxime Compastié\, PhD student in Resist team will defend his thesis entitled « Software-defined security for distributed clouds » on Tuesday\, December 18th at 1:30 PM in Room B013. \nPhD Commitee:\n– Nora CUPPENS\, Full Professor\, IMT Atlantique – Reporter\n– Thierry GAYRAUD\, Full Professor\, Toulouse University – Reporter\n– Véronique LEGRAND\, Associate Professor\, Conservatoire National des Arts et Métiers – Examiner\n– Pierre-Etienne MOREAU\, Full Professor\, Lorraine University – Examiner\n– Olivier FESTOR\, Full Professor\, Lorraine University – Examiner / PhD Supervisor\n– Rémi BADONNEL\, Associate\, Lorraine University – Examiner / PhD Advisor\n– Ruan HE\, Chief Cloud Architect\, Tencent – Invited / Industrial Advisor\n– Sok-Yen LOUI\, Research Engineer\, Orange Labs – Invited / Industrial Advisor \nAbstract:\nIn this thesis\, we propose an approach for software-defined security in distributed clouds. More specifically\, we show to what extent this programmability can contribute to the protection of distributed cloud services\, through the generation of securized unikernel images. These ones are instanciated in the form of lightweight virtual machines\, whose attack surface is limited and whose security is driven by a security orchestrator. The contributions of this thesis are threefold. First\, we present a logical architecture supporting the programmability of security mechanims in a multi-cloud and multi-tenant context. It permits to align and parameterize these mechanisms for cloud services whose resources are spread over several providers and tenants. Second\, we introduce a method for generating securized unikernel images in an on-the-fly manner. This one permits to lead to specific and contrained resources\, that integrate security mechanisms as soon as the image generation phase. These ones may be built in a reactive or proactive manner\, in order to address elasticity requirements. Third\, we propose to extend the TOSCA orchestration language\, so that is is possible to generate automatically securised resources\, according to different security levels in phase with the orchestration. Finally\, we detail a prototyping and extensive series of experiments that are used to evaluate the benefits and limits of the proposed approach. \nKeywords: Security Management\, Programmability\, Distributed Cloud\, Orchestration\, Unikernel
URL:https://www.loria.fr/event/phd-defines-maxime-compastie/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181220T133000
DTEND;TZID=Europe/Paris:20181220T150000
DTSTAMP:20260608T023516
CREATED:20181218T160836Z
LAST-MODIFIED:20181218T160836Z
UID:6342-1545312600-1545318000@www.loria.fr
SUMMARY:Séminaire SSL
DESCRIPTION:Next SSL Seminar will take place on Thursday\, December 20th at 1.30 pm in room C005. \nTayssir Touili (CNRS – LIPN) will give a presentation entitled « On static malware detection ». \n \nThe number of malware is growing extraordinarily fast. A malware may bring serious damage.\nThus\, it is crucial to have efficient up-to-date virus detectors. A robust malware detection technique needs  to check the behavior (not\nthe syntax) of the program without executing it. We show in this talk how using behavior  signatures allow to efficiently detect malwares in a completely static way. We applied  our techniques to detect several malwares. Our  tool was able to detect more than 800 malwares. Several of these malwares could not be detected by well-known anti-viruses such as Avira\, Avast\, Norton\, Kaspersky and McAfee
URL:https://www.loria.fr/event/seminaire-ssl/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190114T100000
DTEND;TZID=Europe/Paris:20190114T173000
DTSTAMP:20260608T023516
CREATED:20181219T133236Z
LAST-MODIFIED:20181219T133312Z
UID:6344-1547460000-1547487000@www.loria.fr
SUMMARY:Histoire et mémoire de l'informatique universitaire à Nancy (1950-2010)
DESCRIPTION:Lundi 14 janvier 2019 – 10:00 – 17:30\n\n\n\n\nUniversité de Lorraine (Nancy)\, Campus Lettres et Sciences Humaines\, Place Godefroy de Bouillon\, Salle G04\n\n\n********************************************************************************************************************************************** \nAprès Grenoble et Toulouse la Faculté des sciences de Nancy a été l’une des premières en France à développer des \n programmes de recherche et d’enseignement en « informatique ». À cette époque le terme n’existe pas encore dans la langue française et cette nouvelle discipline trouve d’abord ses origines dans l’analyse numérique et les mathématiques appliquées. \nAprès une année exploratoire\, tout commence par la mise en place par Jean Legras\, en 1958-59\, d’un cours de troisième cycle d’Analyse et de calcul numérique et par l’utilisation de calculateurs électroniques (IBM 604 puis 650). En 1961\, Jean Legras dirige la première thèse en « informatique » soutenue en France par Marion Créhange\, Structure du code de programmation. Suivront ensuite les travaux décisifs de Claude Pair sur le langage Algol et les théories de la programmation. \nSouvent mal considérée à ses débuts par les mathématiciens partisans des approches formelles des mathématiques – Nancy est à cette époque un des sièges du mouvement Bourbaki – cette nouvelle discipline s’installera cependant durablement dans le paysage universitaire local et national à travers différentes constructions institutionnelles qui parfois coexisteront au gré de regroupements et de changements de tutelle ou de direction : création d’un premier Centre de calcul en 1959\, fondation d’une équipe puis d’un Centre de Recherche en Informatique de Nancy (CRIN) en 1973-1976\, installation de l’Institut de Recherche en Informatique et Automatique (INRIA Lorraine) et de l’Institut de l’information scientifique et technique (INIST) dans les années 1980\, fondation du Centre de Recherche en Automatique de Nancy (CRAN) dans les mêmes années et du Laboratoire lorrain de recherche en informatique et ses applications (LORIA). \nL’histoire de l’informatique universitaire à Nancy dépasse largement le cadre strict de l’histoire de l’informatique ou même du « numérique ». Elle est une invitation à penser les processus de développement et d’installation d’une nouvelle discipline sur le temps long\, dans un contexte de concurrence scientifique et institutionnelle avec d’autres pôles universitaires. Elle appelle à penser le rôle de différents acteurs – professeurs\, ingénieurs\, techniciens\, étudiants – dans ce processus historique. Elle pose la question des processus institutionnels\, politiques et socio-économiques qui ont abouti à l’installation en Lorraine\, territoire fortement marqué par la désindustrialisation\, de structures de recherche et d’enseignement dédiées à cette discipline. Il s’agira donc de reconstituer l’écosystème informatique universitaire nancéien : non seulement ses lieux et ses modalités de formation et de recherche\, mais également ses relations avec les organismes de recherche nationaux (CNRS et INRIA)\, les collectivités locales\, les différents plans nationaux qui ont rythmé le développement de l’informatique en France et le monde économique et industriel. \nCette journée d’étude donnera la parole à ses principaux acteurs\, souvent eux-mêmes à l’origine de travaux historiques sur le sujet. Elle accueillera ainsi : Marion Créhange\, Jean-Claude Derniame\, Jean-Pierre Finance\, Marie-Christine Haton\, Jean-Paul Haton\, Bernard Legras\, Pierre Lescanne\, Claude Pair et Jean-Marie Pierrel. Elle sera ouverte par Pierre Éric Mounier-Kuhn\, historien de l’informatique\, auteur notamment de L’informatique en France\, de la Seconde Guerre Mondiale au Plan Calcul – L’émergence d’une science (2010). \nCette journée est ouverte au public\, sur inscription\, dans la limite des places disponibles. \nPour plus de détails écrire à Laurent Rollet. \n  \n\n\n\n\nProgramme: \n\n\n  \n10h00 : Ouverture de la journée \n10h15 : Pierre-Éric Mounier-Kuhn – « Histoire de l’informatique : historiographie et approches » \n10h35 : Bernard Legras – « Mon père Jean Legras (1914-2012)\, mathématicien lorrain\, promoteur de l’informatique en Lorraine » \n10h55 : Marion Créhange – « De 1957 à 1968 et même 1975 : une création clairvoyante et courageuse. Du défrichage au décollage » \n11h15 : Discussion \n11h30 : Claude Pair – « À tout CRIN : de la naissance à la maturité (1963-1976) » \n11h50 : Jean-Claude Derniame – « Du CRIN au LORIA (1981-1985) » \n12h10 : Discussion \n12h30 : Pause déjeuner \n14h00 : Jean-Pierre Finance – « De l’adolescence à l’âge adulte : dix ans du développement de la recherche en informatique à Nancy (1985-1994) » \n14h20 : Marie-Christine Haton – « 60 ans d’Informatique universitaire à Nancy\, une vue chronologique graphique » \n14h40 : Jean-Paul Haton – « L’intelligence artificielle à Nancy : une longue histoire » \n15h00 : Discussion \n15h15 : Pause \n15h30 : Pierre Lescanne – « Logique et informatique à Nancy » \n15h50 : Jean-Marie Pierrel – « Informatique et traitement numérique de la langue à Nancy : plus d’un demi-siècle d’histoire commune » \n16h10 : Discussion \n16h30 : Table ronde « Quelle histoire pour l’informatique universitaire nancéienne ? » \n\nPlus d’infos
URL:https://www.loria.fr/event/histoire-et-memoire-de-linformatique-universitaire-a-nancy-1950-2010/
CATEGORIES:Séminaire
ATTACH;FMTTYPE=image/jpeg:https://www.loria.fr/wp-content/uploads/2016/12/logo_loria_abrege.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20190115
DTEND;VALUE=DATE:20190116
DTSTAMP:20260608T023516
CREATED:20190110T105313Z
LAST-MODIFIED:20190110T105313Z
UID:6373-1547510400-1547596799@www.loria.fr
SUMMARY:Journée FCH : Méthodes et modèles pour comprendre les réseaux biologiques
DESCRIPTION:La prochaine journée Fédération Charles Hermite aura lieu le mardi 15 janvier 2019 en salle C005\, en lien avec la thèse d’Athénaïs VAGINAY cofinancée par la fédération et les laboratoires CRAN et LORIA. \nCelle-ci est intitulée «Méthodes et modèles pour comprendre les réseaux biologiques» et comprendra cinq interventions et des échanges autour des problématiques de modélisation\, construction et analyse de réseaux biologiques complexes et notamment des perturbations occasionnées par des maladies. \nProgramme : \n9h : Accueil \n9h15 : Introduction à la journée\, Malika SMAIL-TABBONE (LORIA\, UL)\,Taha BOUKHOBZA (CRAN\, UL) \n9h30 : « Unfoldings as a Tool in Fault Diagnosis and in Systems Biology »\, Stefan HAAR (Laboratoire Spécification et Vérification\, CNRS & ENS de Cachan) \n10h45 : Pause café ou thé \n11h15 : « Régression à logits cumulatifs pénalisée pour l’inférence de réseaux »\, Clémence KARMANN (Laboratoire IECL\, UL) \n12h : Repas – Buffet offert par la FCH \n14h15 : « Réseaux biologiques au service de la compréhension des maladies génétiques »\, Olivier POCH (Laboratoire ICUBE\, CNRS & Université de Strasbourg) \n15h30 : « Reprogrammation comportementale des réseaux moléculaires : modélisation\, algorithmes et application au cancer » \,\nCélia BIANE-FOURATI (Laboratoire IBISC\, Université Paris-Saclay) \n16h15 : « Modélisation stochastique de l’expression des gènes et inférence de réseaux de régulation »\, Ulysse HERBACH (Laboratoire IECL\, UL) \n17h : Bilan et discussion \nInscription demandée par envoi d’un simple message à Nathalie.Benito@univ-lorraine.fr
URL:https://www.loria.fr/event/journee-fch-methodes-et-modeles-pour-comprendre-les-reseaux-biologiques/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190115T143000
DTEND;TZID=Europe/Paris:20190115T153000
DTSTAMP:20260608T023516
CREATED:20190110T170414Z
LAST-MODIFIED:20190110T170414Z
UID:6381-1547562600-1547566200@www.loria.fr
SUMMARY:Soutenance de thèse : Rémi Nazin
DESCRIPTION:Rémi Nazin soutiendra sa thèse\, intitulée « Ergonomie théorique de l’humain-machine : Quels fondements épistémologiques pour une conception sûre ? »\, le mardi 15 janvier à 14h30 en salle A008. \nRésumé \nLa conception sûre et le développement maîtrisé des systèmes humain(s)-machines(s)s est un enjeu majeur pour l’ensemble de la société et\, spécialement\, dans les domaines critiques comme les domaines militaire\, aérospatial et médical qui sont amenés à évoluer conjointement\, grâce aux progrès réalisés par l’automatisation. Parallèlement\, les techniques disponibles pour assurer la mise en place de solutions répondant à ces besoins sont également en constante progression concernant leurs dimensions de puissance\, efficacité énergétique\, miniaturisation\, ce qui correspond à la notion de convergence Nanotechniques-Biotechniques-Informatique-Sciences Cognitives.\nTout cela rend nécessaire d’avoir une ergonomie théorique\, non pas au sens parfois entendu d’un détachement de la pratique mais au sens d’une ergonomie fondée sur un cadre conceptuel et formel permettant de rendre intelligibles les méthodologies et normes utilisées à travers des principes généraux.\nAinsi\, l’ergonomie théorique n’est pas une théorie de l’ergonomie mais une théorie de l’anthropotechnique\, qui cherche à développer une méthodologie et une épistémologie pragmatique\, propre à apporter les fondements conceptuels à ce qui existe aujourd’hui et à permettre le développement futur de l’ergonomie comme champ scientifique. Elle repose sur l’idée centrale qu’à la base de toute Interface Humain(s)- Machine(s) se produit une interaction particulière ; l’interaction sémiotique.\nCette interaction particulière\, propre aux être vivants\, est à la base de l’intégration entre l’individu et son environnement. C’est elle qui lui permet d’agir dans le monde en produisant de la signification à partir de la perception sensible. En envisageant l’humain comme un système biologique intégré\, au sens de Chauvet\, c’est à dire comme un système dont le comportement est le produit des couplages implicites à différents niveaux de structure\, il est possible de fonder un paradigme postcognitiviste en psychologie générale. Le propre de ce paradigme est qu’il permet d’envisager le comportement de l’individu à partir de sa biologie et de façon non réductionniste.\nÀ partir des travaux de Chauvet et de Fass\, il est possible d’établir une modélisation mathématique de ces phénomènes biologiques qui permette de formaliser les spécifications d’un système technique\, à partir des exigences liées aux facteurs humains. Grâce à ce cadre conceptuel\, il est possible d’analyser et de réformer certains outils précieux pour l’ergonome comme la critériologie de Bastien et Scapin dont nous proposons une généralisation à tous les systèmes techniques. Cette critériologie a pour fonction originelle de permettre qu’un système interactif réponde à un ensemble fondamental d’exigences liées aux facteurs humains. En la généralisant et en la formalisant\, il devient possible d’envisager une modélisation des paramètres fondamentaux de l’interaction sémiotique.\nCette approche aboutit dans une ontologie de conception\, qui a pour ambition d’être un cadre formel de modélisation de l’interaction humain(s)-machine(s). Nous en proposons une application à MIDAS\, outil de modélisation de la performance humaine\, développé par la NASA. Le propos de cette ontologie est de permettre la modélisation de l’interaction de façon simultanée à la modélisation du comportement de l’utilisateur ce qui permet de mettre en évidence quels sont les paramètres hamartogènes d’une hypothèse de conception.\nAinsi\, l’usage d’ontologies de conception ouvre la voie à la construction de modèles formels\, corrects par construction\, de l’interaction humain(s)-machine(s) et de ses conditions optimales de mise en place\, permettant ainsi une conception plus assurée des systèmes à dimension critique. \nDirecteurs :\n◖ Christian Bastien\, Professeur – Université de Lorraine\n◖ Didier Fass\, Professeur – ICN Business School \nMembres du jury :\n◖ Catherine Letondal\, Maître de Conférences – École nationale de l’aviation civile\n◖ Didier Bazalgette\, Responsable Scientifique SHS Direction Générale de l’Armement\n◖ Brian Gore\, Ph.D.\, Manager for the Human Factors Portfolio – National Aeronautics and Space Administration\n◖ Franck Gechter\, Maître de Conférences – Université Technologique de Belfort Montbéliard
URL:https://www.loria.fr/event/soutenance-de-these-remi-nazin/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190116T140000
DTEND;TZID=Europe/Paris:20190116T150000
DTSTAMP:20260608T023516
CREATED:20190110T165954Z
LAST-MODIFIED:20190110T165954Z
UID:6378-1547647200-1547650800@www.loria.fr
SUMMARY:Department 3 Seminar : Dr. Mauro Passacantando (University of Pisa)
DESCRIPTION:Next Department 3 seminar will take place on Wednesday\, January 16th at 2pm in room C005. \nDr. Mauro Passacantando (University of Pisa) will give a presentation entitled « Cooperative Infrastructure and Spectrum Sharing in Heterogeneous Mobile Networks ». \n \nAbstract: To accommodate the ever-growing traffic load and bandwidth demand generated by mobile users\, mobile network operators (MNOs) need to frequently invest in high spectral efficiency technologies and increase their hold of spectrum resources; MNOs have then to weigh between building individual networks or entering into network and spectrum sharing agreements. We address here the problem of radio access network and spectrum sharing in 4G mobile networks by focusing on a case when multiple MNOs plan to deploy small cell base stations in a geographical area in order to upgrade their existing network infrastructure. We propose two cooperative game models (with and without transferable utility) to address the proposed problem: for given network (user throughput\, MNO market\, and spectrum shares) and economic (coalition cost and mobile data pricing model) settings\, the proposed models output a cost division policy that guarantees coalition (sharing agreement) stability. \nCV: Mauro Passacantando received both M.Sc. and Ph.D. in Mathematics from the University of Pisa. He is currently Assistant Professor of Operations Research at the Department of Computer Science of the same university. He achieved the Italian National Habilitation for full professorship in Operations Research. His research activities are mainly focused on variational inequalities\, projected dynamical systems\, equilibrium problems\, and their applications. Most of his recent work focuses on theory and algorithms for Ky Fan inequalities and on game theoretic approaches to service provisioning problems in cloud and multi-cloud systems. He is author of one monograph and more than forty scientific papers published in international journals and volumes.
URL:https://www.loria.fr/event/department-3-seminar-dr-mauro-passacantando-university-of-pisa/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190116T140000
DTEND;TZID=Europe/Paris:20190116T153000
DTSTAMP:20260608T023516
CREATED:20181213T135944Z
LAST-MODIFIED:20181213T135944Z
UID:6311-1547647200-1547652600@www.loria.fr
SUMMARY:D4 Seminar : Md Sahidullah
DESCRIPTION:Next TALC seminar will take place on Wednesday\, January 16th at 2pm in room A008. \nMd Sahidullah (Multispeech team)\, will give a presentation entitled « Speaker embeddings: from i-vector to x-vector and beyond ». \n \nAbstract:\nSpeaker recognition is the task of recognizing a human from his/her voice. The state-of-the-art speaker recognition technology uses a speaker embedding method for representing a speech utterance of arbitrary length in the form of a fixed-dimensional vector.  The recent advancements in deep neural network (DNN) research have enabled the\ndevelopment of robust and efficient speaker embedding techniques. In this talk\, I will first provide a brief overview of speaker recognition basics. It will be followed by the description of the conventional speaker embedding method popularly known as i-vector. Then I will present various attempts to develop speech signal representations with\nDNN-based discriminative training. I will explain the recently introduced x-vector embedding which showed promising speaker recognition performance. This talk will end with a discussion on potential future directions in the speaker embedding research including our ongoing work.
URL:https://www.loria.fr/event/d4-seminar-md-sahidullah/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190118T133000
DTEND;TZID=Europe/Paris:20190118T150000
DTSTAMP:20260608T023516
CREATED:20190109T091317Z
LAST-MODIFIED:20190109T091317Z
UID:6361-1547818200-1547823600@www.loria.fr
SUMMARY:Colloquium Loria : Félicien Vallet
DESCRIPTION:Félicien Vallet\, ingénieur au sein du service d’expertise technologique de la CNIL est le prochain invité du colloquium du Loria. \nRendez-vous vendredi 18 janvier à 13h30 dans l’amphithéâtre pour son exposé intitulé « Présentation de la CNIL et premiers enseignements à RGPD : M+8″. \n \nRésumé : \nEntré en application le 25 mai 2018\, le RGPD renforce les droits et devoirs en matière de protection des données. En offrant un cadre européen unifié\, il dote notamment les autorités de protection des données (comme la CNIL en France) de pouvoirs plus importants. Cette présentation vise à apporter des éléments d’information sur les fonctionnements\, rôles et missions de la CNIL ainsi que sur les nouveautés introduites par le RGPD. De premiers éléments d’appréciation « post-RGPD » seront également mis en avant. Enfin\, les aspects liés à la protection des données dans un cadre de recherche pourront être discutés à l’occasion de cette présentation qui se veut interactive et ouverte à tous. \n  \nMerci aux personnes extérieures au Loria de s’inscrire auprès de Marie Baron (marie.baron (at) loria.fr) avant mercredi 16 janvier.
URL:https://www.loria.fr/event/colloquium-loria-felicien-vallet/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20190121
DTEND;VALUE=DATE:20190126
DTSTAMP:20260608T023516
CREATED:20181120T081125Z
LAST-MODIFIED:20181120T081125Z
UID:6225-1548028800-1548460799@www.loria.fr
SUMMARY:5ème Ecole d’Hiver é-EGC : « Privacy Preserving\, Reasoning\, Explaining »
DESCRIPTION:La cinquième École d’Hiver é-EGC\, sur le thème «Privacy Preserving\, Reasoning\, Explaining»\, est un évènement organisé par l’Association Extraction et Gestion de Connaissances (EGC) \nCet événement s’organise autour de deux activités principales : \n\n    deux jours de formation : les 21 et 22 Janvier 2019\n    participation à la conférence EGC2019 : du 23 au 25  janvier 2019\n\nCet appel est également disponible à l’adresse : https://egc2019.sciencesconf.org/resource/page/id/12 \nTHEMES DE L’ECOLE : PRIVACY PRESERVING\, REASONING\, EXPLAINING \nLe phénomène des données massives s’installe durablement et les sources de données sont multiples et omniprésentes (IoT\, réseaux sociaux\, SI institutionnels\, SI hospitaliers\, etc.).  Dans ce contexte\, deux objectifs cruciaux semblent s’opposer. Le premier est celui de l’ouverture des données pour des usages variés\, allant de la recherche publique à l’exploitation commerciale\, dont certains font appel à des techniques sophistiquées de raisonnement et de construction d’explications susceptibles de rassurer les experts et de garantir une traçabilité des processus d’analyse et de décision mis en place. Le second objectif est de garantir le respect de la vie privée des personnes en ne divulguant pas d’informations identifiantes directement ou indirectement par croisement avec d’autres données. Des mécanismes flexibles et robustes doivent donc être pensés afin d’accompagner le mouvement de l’ouverture des données sans compromettre la sécurité de leur manipulation et des accès. \nOBJECTIFS DE L’ECOLE  \nLes deux jours de formation ont pour but principal d’offrir aux participants des tutoriaux d’initiation dans le domaine de recherche couvrant les thèmes de l’école mais également des tutoriaux plus spécifiques présentant les récentes avancées proposant des solutions et des techniques nouvelles pour les différentes problématiques ayant émergé dans ce domaine. Les exposés\, de 1h30 ou 2h30\, couvriront une large gamme des problématiques et des solutions existantes. Certains exposés seront associés à des séances plus pratiques afin de permettre aux participants de manipuler quelques outils. \nLa participation à la conférence permettra aux participants de prendre part à un des événements majeurs de la communauté francophone de l’extraction et la gestion de connaissances. Elle leur permettra d’assister à des présentations de nouvelles avancées et approches développées dans la communauté\, ceci pouvant ainsi inspirer leur parcours scientifique futur. \nEnfin\, cette École souhaite offrir aux jeunes chercheurs (doctorants\, post-doctorants et ingénieurs) et aux chercheurs confirmés du domaine la possibilité de se rencontrer et d’échanger des idées\, ce qui devrait également permettre aux jeunes chercheurs d’enrichir leur réseau. \nPROGRAMME DE L’ECOLE \nLundi 21/01/2019 \n08h30 – 09h00 – Bienvenue / Welcome ! « Privacy Preserving\, reasoning\, explaining »\n09h00 – 10h30 – to be confirmed – “Introduction”\n10h30 – 11h00 – Pause café\n11h00 – 12h30 – Fatiha Sais (LRI\,  Paris Sud University\, France) – “Identity Management in the Web of Data”\n12h30 – 14h00 – Déjeuner\n14h00 – 16h30 – Benjamin Nguyen (LIFO\, INSA Centre Val de Loire\, France) – “Anonymization techniques : theory and practice”\n16h30 – 17h00 – Pause café\n17h00 – 18h30 – Ioannis Krontiris (Huawei\, Munich\, Germany) – “Anonymization algorithms based on differential privacy with emphasis on optimizing the performance of data mining algorithms”\n20h00 – Diner \nMardi 22/01/2019\n09h00 – 10h30 – Marie-Laure Mugnier (LIRMM\, University of Montpellier): “An introduction to Ontology-Based Data Access”\n10h30 – 11h00 – Pause café\n11h00 – 12h30 – Marie-Christine Rousset (LIG\, University of Grenoble Alpes) – “RDF dataset anonymization robust to data interlinking”\n12h30 – 14h00 – Déjeuner\n14h00 – 15h30 – Yücel SAYGIN (Sabanci University\, Instanbul\, Turkey) – “Improving the accuracy of differentially private algorithms through sensitivity analysis”\n15h30 – 16h00 – Pause café\n16h00 – 17h30 – Vincent Rasneur (CNIL\, France) – “General Data Protection Regulation in research” \nPUBLIC CONCERNE \nL’École d’Hiver é-EGC 2019 s’adresse particulièrement aux doctorants et étudiants\, de manière générale\, désirant approfondir leurs connaissances dans le domaine de la préservation de la vie privée lors de la manipulation et l’analyse des données à caractère personnel ainsi que les enjeux liées au raisonnement et à la production d’explications sur la base de connaissances acquises auprès d’experts puis formalisées ou extraites par fouille de données. \nCOMITÉ SCIENTIFIQUE ET ORGANISATION \n\n    Claudia Marinica (ETIS – ENSEA / UCP / CNRS 8051)\n    Malika Smail-Tabbone  (LORIA UMR 7503– Université de Lorraine)\n    Marie-Christine ROUSSET (Laboratoire d’Informatique de Grenoble – Université de Grenoble Alpes)\n    Fabrice Guillet (LS2N – Polytech’Nantes\, CNRS 6241)\n    Lydia Boudjeloud-Assala (LORIA – Université de Lorraine)\n    Dimitris Kotzinos (ETIS – ENSEA / UCP / CNRS 8051)\n\nDATES IMPORTANTES\n \n\n    Date limite pré-inscriptions (CV à fournir) : 15/11/2018\n    Inscription effective (École (formation + conférence EGC)\, sur le site de la conférence) : 19/12/2018\n\nL’INSCRIPTION SE REALISE EN DEUX ÉTAPES \n1/ Les participants doivent manifester leur intérêt\, avant le 15/11/2018\, pour participer à l’École en s’inscrivant avec ce formulaire : https://goo.gl/forms/zXnxulcDfxxvvhsX2 \nPour que la pré-inscription soit prise en compte\, elle doit être accompagnée d’un CV récent du participant. \n2/ Après la confirmation de la pré-inscription par le comité d’organisation\, et avant le 19/12/2018\, les participants doivent s’inscrire via la page d’inscription de la conférence EGC-2019 (attention de bien choisir le tarif comprenant l’École).
URL:https://www.loria.fr/event/5eme-ecole-dhiver-e-egc-privacy-preserving-reasoning-explaining/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20190121
DTEND;VALUE=DATE:20190126
DTSTAMP:20260608T023516
CREATED:20181127T083902Z
LAST-MODIFIED:20181127T083902Z
UID:6258-1548028800-1548460799@www.loria.fr
SUMMARY:Conférence EGC - Extraction et Gestion des Connaissances - 2019
DESCRIPTION:Depuis 2000\, la conférence Extraction et Gestion des Connaissances (EGC) est le rendez-vous annuel de chercheurs et praticiens travaillant dans les domaines  de la science des données et des connaissances tels que l’apprentissage automatique\, l’ingénierie et la représentation des connaissances\, les statistiques et l’analyse de données\, la fouille de données\, les systèmes d’information\, les bases de données\, le Web sémantique et les données ouvertes\, etc.\nLe programme scientifique d’EGC se compose d’articles et démonstrations et sera disponible prochainement. \nListe des papiers acceptés : https://egc2019.sciencesconf.org/resource/page/id/22 \nEGC 2019 a le plaisir d’accueillir les conférenciers invités suivants : \n\nFrank van Harmelen\, président d’honneur\, professeur\, dirige l’équipe Knowledge Representation & Reasonning du département d’informatique de l’université VU d’Amsterdam\, directeur de l’institut « The Network Institute »\nIoana Manolescu\, directrice de recherche INRIA DR1\, à la tête de l’équipe projet INRIA/LIX CEDAR\, enseignant à l’école polytechnique\nKrishna P. Gummadi\, professeur\, à la tête de l’équipe Networked Systems\, Max Planck Institute for Software Systems (MPI-SWS)\, Allemagne\nRoberto Di Cosmo\, directeur de Software Heritage\, Inria et professeur d’Informatique à Paris Diderot\, membre de l’IRIF\n\n8 ateliers auront lieu le 22 janvier. Les appels à soumission sont encore ouverts :\nhttps://egc2019.sciencesconf.org/resource/page/id/4 \nQuatre prix scientifiques seront attribués lors de la conférence :\nhttps://egc2019.sciencesconf.org/resource/page/id/23 \nLa 5e édition de l’école é-EGC aura lieu le 21 et 22 janvier 2019. Son thème est«Privacy Preserving\, Reasoning\, Explaining». Les inscriptions sont encore ouvertes. \nLe programme ainsi que toute les informations sont disponibles sur la page :\nhttps://egc2019.sciencesconf.org/resource/page/id/12 \nLes doctorants peuvent bénéficier de bourse de mobilité du GDR MADICS pour l’école et les ateliers : http://www.madics.fr/reseaux/formation/doctorants/ \n  \nNous vous invitons dès maintenant à vous inscrire à EGC 2019 :\nhttps://egc2019.sciencesconf.org/resource/page/id/3 \nEn espérant vous voir à Metz  du 21 au 25 janvier 2019 :\nhttps://egc2019.sciencesconf.org/resource/page/id/21
URL:https://www.loria.fr/event/conference-egc-extraction-et-gestion-des-connaissances-2019/
CATEGORIES:Manifestation
ATTACH;FMTTYPE=image/jpeg:https://www.loria.fr/wp-content/uploads/2018/11/POSTER_EGC2019_V3.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190129T110000
DTEND;TZID=Europe/Paris:20190129T233000
DTSTAMP:20260608T023516
CREATED:20190116T143344Z
LAST-MODIFIED:20190116T143344Z
UID:6388-1548759600-1548804600@www.loria.fr
SUMMARY:OLKi project presentation
DESCRIPTION:Christophe Cerisara (Synalp) will present OLKi Project on Tuesday\, January 29th at 11am in room A008. \nHis presentation will thus concern AI applied to natural language and knowledge\, open science and resource sharing through the Fediverse. \nMore about OLKi \n 
URL:https://www.loria.fr/event/olki-project-presentation/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190129T143000
DTEND;TZID=Europe/Paris:20190129T163000
DTSTAMP:20260608T023516
CREATED:20190128T155425Z
LAST-MODIFIED:20190128T155425Z
UID:6475-1548772200-1548779400@www.loria.fr
SUMMARY:PhD defense : Quentin Brabant
DESCRIPTION:Quentin Brabant will defend his thesis on Tuesday\, January 29th at 2.30 pm in room A008. \nHis presentation is entitled « Lattice polynomial functions for interpolation and monotonic classification ». \n \nReviewers:\nSébastien Destercke\, chargé de recherche\, Université de Technologie de Compiègne\, CNRS\nAlexis Tsoukias\, directeur de recherche\, Université Paris Dauphine\, LAMSADE\, CNRS\nExaminers :\nHélène Fargier\, directrice de recherche\, Universié Paul Sabatier\, IRIT\, CNRS\nClaire Gardent\, directrice de recherche\, LORIA\, CNRS\nJean-Luc Marichal\, associate professor\, Université du Luxembourg\nInvited :\nDidier Dubois\, directeur de recherche\, Université Paul Sabatier\, IRIT\, CNRS\nHenri Prade\, directeur de recherche\, Université Paul Sabatier\, IRIT\, CNRS\nMichel Grabisch\, professeur des universités\, Université Paris 1 Panthéon-Sorbonne\nPhD supervisor :\nMiguel Couceiro\, Université de Lorraine\, CNRS\, Inria\, LORIA \nAbstract:\nA Lattice Polynomial Function (LPF) over a lattice L is a map from L^n to L that can be defined by an expression involving variables\, constants and the lattice operators « infimum » and « supremum ». If L is a distributive lattice\, these maps include the so-called Sugeno integrals that are aggregation functions capable of merging ordinal values\, not necessarily numerical. They are widely used in the qualitative approach to Multiple Criteria Decision Aiding (MCDA)\, and they can be thought of as the ordinal counterparts of Choquet integrals. \nIn the first part of this thesis\, we tackle the task of interpolating a partial function by an LPF\, stated as follows : for a lattice L\, a finite subset D of L^n\, and a function f : D -> L\, return an LPF p : L^n -> L such that p(x) = f(x) for all x ∊ D (if such an LPF exists). We treat the cases where L is a finite lattice\, and then the cases where L is a bounded distributive lattice. In both cases\, we provide algorithms that solve this problem in polynomial time. \nIn the second part\, we consider generalizations of Sugeno integrals in the multi-attribute setting\, in particular\, the Sugeno Utility Functions (SUFs)\, that are able to merge values coming from different ordinal scales. We consider the their use in monotonic classification tasks. We present a model based on a set of SUFs and an algorithm for learning such model from data. We compare this model to the sets of monotonic decision rules learned by VC-DomLEM\, and study the number of SUFs that are required in order to model empirical data. \n  \nRésumé :\nUne Fonction Latticielle Polynômiale (FLP) sur un treillis L est une fonction de L^n vers L\, qui peut être exprimée à partir de variables\, de constantes et des opérateurs de treillis « inf » et « sup ». Dans les cas où L est distributif et borné\, les FLP incluent les intégrales de Sugeno. Celles-ci sont des fonctions d’agrégation qui permettent de fusionner des valeurs sur des échelles ordinales non numériques\, et qui sont utilisées notamment dans l’approche qualitative de l’Aide à la Décision Multi Critères en tant qu’alternatives ordinales aux intégrales de Choquet. \nDans une première partie\, nous traitons la tâche d’interpolation par des FLP\, c’est à dire : pour un treillis L\, un sous-ensemble fini D de L^n et une fonction f : D -> L\, retourner une FLP p : L^n -> L telle que p(x) = f(x) pour tout x ∊ D (si une telle FLP existe). Nous traitons successivement le cas où L est un treillis fini et le cas où L est une treillis distributif borné. Dans les deux cas\, nous donnons des algorithmes qui résolvent ce problème en temps polynomial. \nDans une seconde partie\, nous abordons les généralisations des intégrales de Sugeno appelées Fonctions d’Utilité de Sugeno (FUS)\, qui permettent la fusion de valeurs appartenant à des échelles ordinales différentes\, ainsi que leur application à la tâche de classification monotone. Nous introduisons un modèle composé de plusieurs FUS\, ainsi qu’un algorithme d’apprentissage d’un tel modèle. Nous comparons ce modèle aux ensembles de règles de décision appris par VC-DomLEM\, et étudions le nombre de FUS nécessaires afin de modéliser des données empiriques.
URL:https://www.loria.fr/event/phd-defense-quentin-brabant/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20190130
DTEND;VALUE=DATE:20190131
DTSTAMP:20260608T023516
CREATED:20190122T084917Z
LAST-MODIFIED:20190130T153104Z
UID:6431-1548806400-1548892799@www.loria.fr
SUMMARY:2nd Symposium Mathematics for Decision and Discovery (M4D2)
DESCRIPTION:The 2nd Symposium Mathematics for Decision and Discovery (M4D2) will take place on January 30th in room B013. \n>>>   Aims and Description   <<< \nThe main goal of M4D2 is to bring together researchers from fields of computer science\nthat may seem at first glance rather distant but that  share  in fact several common points.\nThis is particularly the case for topics pertaining to \n\ndecision making and social choice\,\ncomplex and multi-agent systems\,\nknowledge discovery and machine learning\,\ngame theory and operations research\, etc.\n\nand that share the same interest in mathematical tools coming from \n\nordered sets and lattice theory\, knowledge spaces\,\nclone theory and aggregation functions\,\nBoolean and pseudo-Boolean functions\,\ngraph and hypergraph theory\, combinatorial optimisation\, etc.\n\nWith this event we hope to lay ground to fruitful discussions and expertise exchanges\, and to provide\na space where participants will have the chance\, not only to present their recent achievements\, but\nmost importantly to share and discover different perspectives\, to acquire new ideas\, and to become\ninvolved in new research efforts where their expertise is welcome and needed. \nM4D2 is organized by M. Couceiro and A. Napoli in the framework of the MALOTEC seminar\n(the French acronym for « Seminar of mathematics and logic for knowledge discovery »)\nheld in the ORPAILLEUR Team\, at LORIA. \nThe main topic of the 2nd symposium M4D2 will be preference modeling\, reasoning and learning and\nit will take place on 30 of January\, 2019. All members of LORIA\, IECL\, CRAN and other computer science\nand mathematics laboratories\, are most welcome! \n>>>   Program   <<< \n10h00-10h45: Henri Prade (IRIT)\nAnalogical prediction of preferences \n11h00-11h45: Hélène Fargier (IRIT)\nTBA\n\n12h00-12h45: Michel Grabisch (CES\, University of Paris I Panthéon-Sorbonne)\nMonotone decomposition of 2-additive generalized additive independence models \n(Joint work with Christophe Labreuche and Mustapha Ridaoui) \n13h00-14h30: Lunch \n14h30-15h15: Sébastien Destercke (Heudiasyc)\nOrdinal regression with imprecise probabilities: from learning to inferences \n15h30-16h15: Alexis Tsoukiàs (LAMSADE)\nComparing intervals of the real line\n(Joint work with Meltem Öztürk) \n16h30-17h00: Jimmy Devillet (University of Luxembourg)\nGeneralizations of single-peakedness \n17h00-17h30: Discussions \nFurther information: https://malotec.loria.fr/2nd-symposium-mathematics-for-decision-and-discovery-m4d2
URL:https://www.loria.fr/event/2nd-symposium-mathematics-for-decision-and-discovery-m4d2/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190201T140000
DTEND;TZID=Europe/Paris:20190201T160000
DTSTAMP:20260608T023516
CREATED:20190128T153417Z
LAST-MODIFIED:20190129T150914Z
UID:6473-1549029600-1549036800@www.loria.fr
SUMMARY:PhD Defense : Ameur Douib
DESCRIPTION:Ameur Douib (SMarT) will defend his thesis on Friday\, February 1st at 2pm in room C005. \nHis presentation is entitled « Algorithmes Bio-inspirés pour la Traduction Automatique Statistique ». \n \n\n\n\nJurys :\n\nPr. Yves Lepage : Université de Waseda\, Japon\nPr. Violaine Prince : Université Montpellier 2\, France\nPr. Yannick Estève : Université Avignon\, France\nPr. Ammar Oulamara : Université de Lorraine\, France\nPr. Kamel Smaïli : Université de Lorraine\, France \nMCF David Langlois : Université de Lorraine\, France\n\n\n\nRésumé :\nDifférentes composantes des systèmes de traduction automatique statistique sont considérées comme des problèmes d’optimisations. En effet\, l’apprentissage du modèle de traduction\, le décodage et l’optimisation des poids de la fonction log-linéaire sont trois importants problèmes d’optimisation. Savoir définir les bons algorithmes pour les résoudre est l’une des tâches les plus importantes afin de mettre en place un système de traduction performant.\n\nPlusieurs algorithmes d’optimisation sont proposés pour traiter les problèmes d’optimisation du décodeur. Ils sont combinés pour résoudre\, d’une part\, le problème de décodage qui produit une traduction dans la langue cible d’une phrase source\, d’autre part\, le problème d’optimisation des poids des scores combinés dans la fonction log-linéaire pour d’évaluation des hypothèses de traduction au cours du décodage. Le système de traduction statistique de référence est basé sur un algorithme de recherche en faisceau pour le décodage\, et un algorithme de recherche linéaire pour l’optimisation des poids associés aux scores.\n\nNous proposons un nouveau système de traduction avec un décodeur entièrement basé sur les algorithmes génétiques. Les algorithmes génétiques sont des algorithmes d’optimisation bio-inspirés qui simulent le processus de l’évolution naturelle des espèces. Ils permettent de manipuler un ensemble de solutions à travers plusieurs itérations pour converger vers des solutions optimales. Ce travail\, nous permet d’étudier l’efficacité des algorithmes génétiques pour la traduction automatique statistique. L’originalité de notre proposition est de proposer deux algorithmes : un algorithme génétique\, appelé GAMaT\, comme décodeur pour un système de traduction statistique à base de segments\, et un algorithme génétique\, appelé GAWO\, pour l’optimisation des poids de la fonction log-linéaire afin de l’utiliser comme fonction fitness pour GAMaT. Nous proposons également\, une approche neuronale pour définir une nouvelle fonction fitness pour GAMaT. Cette approche consiste à utiliser un réseau de neurones pour l’apprentissage d’une fonction qui combine plusieurs scores\, évaluant différents aspects d’une hypothèse de traduction\, combinés auparavant dans la fonction log-linéaire\, et qui prédit le score BLEU de cette hypothèse de traduction.\n\nDans un premier temps\, nous réalisons un ensemble d’expérimentations pour étudier le comportement de nos algorithmes génétiques\, GAMaT et GAWO\, ainsi que les performances du réseau de neurones pour l’apprentissage de la fonction de prédiction du score BLEU. Par la suite\, nous évaluons les performances de traduction de notre système de traduction génétique sur deux paires de langues différentes (français-anglais et turc-anglais). GAMaT est évalué en utilisant les deux fonctions de fitness\, à savoir GAWO pour l’optimisation des poids et la fonction de prédiction du BLEU apprise par le réseau de neurones. Nous comparons également\, les performances de notre système avec celles des systèmes de référence en traduction automatique.\n\nCe travail\, nous a permis de proposer un nouveau système de traduction automatique statistique ayant un décodeur entièrement basé sur des algorithmes génétiques. Les traductions en sortie du système rivalisent avec celles des systèmes de référence\, malgré le fait que les performances de traduction sur les ensembles de test ne sont pas meilleures. La thèse propose une analyse statistique comparative des cas où chaque système donne de meilleurs résultats que les deux autres\, où notre système s’est mieux comporté que les autres dans un grand nombre de traductions. Nous avons également étudié les avantages et les limites de l’utilisation des algorithmes génétiques dans un système de TAS\, tout en proposant une analyse critique et des perspectives d’amélioration et d’adaptation de notre travail.\n*******************************************************************************************************\n\n\nEN: \n\n\n\nDifferent components of statistical machine translation systems are considered as optimization problems. Indeed\, the learning of the translation model\, the decoding and the optimization of the weights of the log-linear function are three important optimization problems. Knowing how to define the right algorithms to solve them is one of the most important tasks in order to build an efficient translation system.\n\nSeveral optimization algorithms are proposed to deal with decoder optimization problems. They are combined to solve\, on the one hand\, the decoding problem that produces a translation in the target language for each source sentence\, on the other hand\, to solve the problem of optimizing the weights of the combined scores in the log-linear function to fix the translation evaluation function during the decoding. The reference system in statistical translation is based on a beam-search algorithm for the decoding\, and a line search algorithm for optimizing the weights associated to the scores.\n\nWe propose a new statistical translation system with a decoder entirely based on genetic algorithms. Genetic algorithms are bio-inspired optimization algorithms that simulate the natural process of evolution of species. They allow to handle a set of solutions through several iterations to converge towards optimal solutions. This work allows us to study the efficiency of the genetic algorithms for machine translation. The originality of our work is the proposition of two algorithms: a genetic algorithm\, called GAMaT\, as a decoder for a phrase-based machine translation system\, and a second genetic algorithm\, called GAWO\, for optimizing the weights of the log-linear function in order to use it as a fitness function for GAMaT. We propose also\, a neuronal approach to define a new fitness function for GAMaT. This approach consists in using a neural network to learn a function that combines several scores\, which evaluate different aspects of a translation hypothesis\, previously combined in the log-linear function\, and that predicts the BLEU score of this translation hypothesis.\n\nFirst\, we carry out a set of experiments to study the behavior of our genetic algorithms\, GAMaT and GAWO\, as well as the performances of the neural network to learn the prediction function of the BLEU score. Subsequently\, we evaluate the translation performance of our genetic translation system for two pairs of different languages (French-English and Turkish-English). GAMaT is evaluated using the two fitness functions\, namely GAWO for optimizing weights and the BLEU prediction function learned by the neural network. We compare also the performance of our system with those of reference systems in machine translation.\n\nThis work allowed us to propose a new machine translation system with a decoder entirely based on genetic algorithms. The output translations of the system compete with those of the reference systems\, despite the fact that the translation performance on the test sets is not better. The thesis proposes a comparative statistical analysis of the cases where each system gives better results than the two others\, where our system has gotten done better than the other systems in a large number of translations. We also studied the benefits and limitations of using genetic algorithms in a machine translation system\, while providing critical analysis and opportunities for improvement and adaptation of our work.
URL:https://www.loria.fr/event/phd-defense-ameur-douib/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190208T133000
DTEND;TZID=Europe/Paris:20190208T150000
DTSTAMP:20260608T023516
CREATED:20190121T091124Z
LAST-MODIFIED:20190128T125352Z
UID:6423-1549632600-1549638000@www.loria.fr
SUMMARY:Colloquium Loria : Emmanuel Prados
DESCRIPTION:Emmanuel Prados\, chargé de recherche Inria et responsable de l’équipe STEEP (Soutenabilité\, Territoires\, Environnement\, Economie et Politique d’Inria Grenoble Rhône-Alpes\, est le prochain invité du colloquium du Loria. \nRendez-vous vendredi 8 février à 13h30 dans l’amphithéâtre pour son exposé intitulé “Le numérique face à la catastrophe environnementale et sociétale”. \nRésumé : \nL’humanité est aujourd’hui confrontée à des défis sans précédent et étroitement entremêlés. On entend désormais quotidiennement parler de “crises” environnementale\, financière\, de la dette\, économique\, monétaire\, politique\, démocratique\, sociale\, des réfugiés\, géopolitique etc. Comment comprendre et interpréter cette accumulation de difficultés ?\nCelles-ci sont-elles passagères ou sont-elles dues à des phénomènes plus profonds comme un effondrement de société ?\nFace à ces enjeux\, de nombreux acteurs promeuvent toujours davantage le numérique et les solutions technologiques. Mais quels sont véritablement les effets du numérique sur l’environnement et la société ? Plus spécifiquement\, quels sont les effets du numérique sur les mécanismes à l’origine de ces problèmes ? Le numérique\, peut-il réellement déverrouiller les blocages socio-techniques qui semblent nous mener au chaos\, ou constitue t-il seulement à une fuite en avant ? Quelles sont les perspectives alternatives qui se dessinent ?\nCette conférence abordera plusieurs aspects de ces questions et essaiera d’apporter un certain nombre d’éclairages”.\n\nBio : Emmanuel Prados est chercheur INRIA et responsable de l’équipe STEEP (Soutenabilité\, Territoires\, Environnement\, Economie et Politique). L’équipe STEEP développe des outils d’aide à la décision pour les acteurs territoriaux. Ceux-ci permettent d’évaluer les pressions environnementales liées aux activités présentes sur le territoire ainsi que les impacts locaux et éloignés sur les écosystèmes. Via ces outils\, l’équipe cherche à identifier des leviers d’action qui permettraient de mettre en œuvre les transitions de société qui sont désormais nécessaires pour les prochaines décennies.
URL:https://www.loria.fr/event/colloquium-loria-emmanuel-prados/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20190219
DTEND;VALUE=DATE:20190220
DTSTAMP:20260608T023516
CREATED:20190213T132815Z
LAST-MODIFIED:20190213T132815Z
UID:6553-1550534400-1550620799@www.loria.fr
SUMMARY:La cybersécurité dans tous ses états
DESCRIPTION:Le CLUSIR Est\, Club de la Sécurité de l’Information Régional est un club professionnel constitué en association régionale autonome qui a pour objet de susciter\, proposer\, réaliser et d’une manière générale développer toute action propre à une meilleure approche et maîtrise des risques du système d’information. \nIl organise dans nos locaux le 19 février l’événement « La cybersécurité dans tous ses états ». Il s’agit de la deuxième édition dont le thème porte sur la sensibilisation. \nProgramme : \n\n8h30 – 9h15 : Inscription\, badge et accueil café\n9h15 – 9h30 : Mot de bienvenue d’Inria et du Loria\n9h30 – 10h00 : UEM\, Mickael Garcia\, chef de section exploitation\, Retour d’expérience sur une campagne de sensibilisation\n10h00 – 10h30 : DIGITRUST\, Régis Lhoste\, l’initiative Cybersécurité Lorraine\, Université d’Excellence\n10h30 – 10h45 : Pause\n10h45 – 11h15 : SOGETI\, Pascal Dugué\, les conséquences de la directive NIS pour les entreprises\n11h15 – 11h45 : Cybermalveillance.gouv\, Franck Gicquel\, Responsable des partenariats\, risques numériques conséquences et bonnes pratiques\n11h45 – 12h15 : Maître Cécile Doutriaux\, JURIS DÉFENSE AVOCATS – Chaire de cybersécurité de Saint Cyr « De la sensibilisation à l’action judiciaire en cas d’atteinte à ses données et à ses systèmes d’information »\n\n\n12h15 – 13h45 : Buffet\, networking et visite des stands\n\n\n13h45 – 14h15 : Axians\, démonstrateur Cybersécurité en milieu industriel\n14h15 – 14h45 : Le Monde Informatique\, Dominique Filippone\n14h45 – 15h15 : LYBERO.NET\, Arnaud Laprevote\, Chiffrement et conséquences\n15h15 – 15h45 : La Banque Postale\, Véronique Bardet\, responsable sécurité opérationnelle\n15h45 – 16h00 : Pause\n16h00 – 16h15 : Région Grand Est\, François Werner\, VP\, l’action de la région\n16h15 – 16h45 : Gendarmerie Nationale\, les cyber enquêteurs\n16h45 – 17h15 : LHS Internet des Objets et cybersécurité\n17h15 – 17h30 : Clôture
URL:https://www.loria.fr/event/la-cybersecurite-dans-tous-ses-etats/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190228T110000
DTEND;TZID=Europe/Paris:20190228T120000
DTSTAMP:20260608T023516
CREATED:20190227T110218Z
LAST-MODIFIED:20190227T110218Z
UID:6581-1551351600-1551355200@www.loria.fr
SUMMARY:MALOTEC Seminar : Marc Plantevit
DESCRIPTION:Next MALOTEC seminar will take place on Thursday\, February 28th at 11am in room A008. \nMarc Plantevit (Université Claude Bernard Lyon 1 – LIRIS – CNRS UMR 5205) will give a presentation entitled « Pattern Mining in Augmented Graphs ». \n  \nMarc Plantevit\nUniversité Claude Bernard Lyon 1\nData Mining and Machine Learning (DM2L)\nLIRIS – CNRS UMR 5205 \nTitle: Pattern Mining in Augmented Graphs \nAbstract: Graphs are a powerful mathematical abstraction that enables to depict many real world phenomena. Vertices describe entities and edges identify relations between entities. Such graphs are often augmented with additional pieces of information. For instance\, the vertices or the edges are enriched with attributes describing them and are called vertex (respectively edge) attributed graphs. Graphs can also be dynamic\, i.e.\, the structure and the values of vertex attributes may evolve through time. The discovery of patterns in such graphs may provide actionable insights and boost the user knowledge. In this talk\, I will discuss the different pattern domains for augmented graphs I contributed to define. This includes the discovery of exceptional attributed subgraphs in edge or vertex attributed graphs. Then\, I will discuss how to find patterns of higher interest by taking into account the domain knowledge\, user feedback and user’s prior knowledge through different examples. \nFor more information: https://perso.liris.cnrs.fr/mplantev/doku/
URL:https://www.loria.fr/event/malotec-seminar-marc-plantevit/
CATEGORIES:Séminaire
END:VEVENT
END:VCALENDAR