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
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20180702
DTEND;VALUE=DATE:20180707
DTSTAMP:20260607T170616
CREATED:20180517T082715Z
LAST-MODIFIED:20180517T082715Z
UID:5706-1530489600-1530921599@www.loria.fr
SUMMARY:PFIA2018 à Nancy
DESCRIPTION:L’édition 2018 de la Plate-forme Intelligence Artificielle (PFIA2018) se tiendra du 2 au 6 juillet à Nancy\, sur le site de la FST de Vandœuvre-lès-Nancy. \nLa plate-forme vise à réunir chercheurs\, industriels et étudiants autour de conférences et d’ateliers consacrés à l’Intelligence Artificielle. Elle constitue un point de rencontre unique et convivial pour la communauté IA francophone\, permettant de rapprocher les différentes disciplines qui la compose et d’établir des passerelles entre elles. \nCette année\, 5 conférenciers de renommée internationale animeront des exposés chaque matin. Les journées seront ensuite découpées en thématiques et en conférences jusque 17h30. Le planning provisoire est accessible à cette adresse. \nInscription obligatoire via le site de PFIA2018.\nPour les membres du Loria\, l’inscription est gratuite mais obligatoire via ce formulaire d’inscription\, à compléter avant le 8 juin.
URL:https://www.loria.fr/event/pfia2018-a-nancy/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180702T140000
DTEND;TZID=Europe/Paris:20180702T150000
DTSTAMP:20260607T170616
CREATED:20180628T055511Z
LAST-MODIFIED:20180628T055528Z
UID:5797-1530540000-1530543600@www.loria.fr
SUMMARY:MALOTEC seminar : Martin Trnecka
DESCRIPTION:MALOTEC is organizing a seminar with Martin Trnecka on Monday\, July 2 at 14:00 am in Room B013. \nMartin Trnecka is assistant professor of Computer Science at the Department of Computer Science\, Faculty of Science\, Palacký University Olomouc in Czech Republic. He obtained his PhD in Computer Science in 2017 from Palacký University Olomouc. His research interests are in data analysis\, particularly in Boolean matrix decomposition\, formal concept analysis and fuzzy relational equations. He published several papers in journals and conferences\, including J. of Computer and System Sciences\, Annals of Mathematics and Artifical Intelligence and IJCAI. \nTitle : Boolean Matrix Factorization from Formal Concept Analysis Perspective \nAbstract :\nBoolean matrix factorization (BMF) is becoming an established method for analysis and preprocessing of data. The existing BMF methods are based on various types of heuristics because the main computational problems involved are known to be provably hard. The heuristics employed\, however\, use only a limited theoretical insight regarding BMF. This talk attempts to show that a better understanding of the geometry of Boolean data\, provided by formal concept analysis\, results in a better understanding of BMF\, theoretically justified heuristics\, and better algorithms.
URL:https://www.loria.fr/event/malotec-seminar-martin-trnecka/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20180703
DTEND;VALUE=DATE:20180704
DTSTAMP:20260607T170616
CREATED:20180417T091606Z
LAST-MODIFIED:20180417T091606Z
UID:5352-1530576000-1530662399@www.loria.fr
SUMMARY:Journée IA et Santé au LORIA
DESCRIPTION:Dans le cadre de la Plateforme Française Intelligence Artificielle 2018 (PFIA 2018) qui se tiendra du 2 au 6 juillet 2018 à Nancy\, une journée « IA et Santé » est organisée au LORIA le mardi 3 juillet. \nL’atelier aura pour thématique principale l’exploitation des données et des connaissances numériques en santé. \nSeront abordés : \nLe traitement intelligent de données et des connaissances en santé :\n– Documents cliniques\, possiblement multimodaux\, réseaux sociaux\, publications scientifiques\n– Systèmes d’information hospitaliers / ambulatoires\, réseaux ville-hôpital\n– Données massives en santé\, données ouvertes en santé \nLes représentations et les méthodes de l’intelligence artificielle\, notamment :\n– Terminologies et ontologies médicales\n– Apprentissage et fouille de données\, extraction de connaissances et classification\n– Aide à la décision\, agents intelligents\n– Traitement automatique des langues\, recherche d’information.\n– Visualisation intelligente des données \nL’atelier s’adresse aussi bien aux jeunes chercheurs qu’aux chercheurs plus avancés\, aux industriels aussi bien qu’aux académiques. Il est ouvert à la présentation de travaux de différents stades d’avancement. Pour participer\, vous pouvez soumettre vos articles en français ou en anglais jusqu’au 22 avril.
URL:https://www.loria.fr/event/journee-ia-et-sante-au-loria/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180705T110000
DTEND;TZID=Europe/Paris:20180705T120000
DTSTAMP:20260607T170616
CREATED:20180704T090143Z
LAST-MODIFIED:20180704T090146Z
UID:5829-1530788400-1530792000@www.loria.fr
SUMMARY:Talk Sergei Grudinin on structural bioinformatics
DESCRIPTION:There will be a presentation on structural bioinformatics on Thursday 5th of July at 11h00 in Room B013. \nSergei Grudinin\, from Nano-D\, (Inria/CNRS) in Grenoble will give a talk entitled « Novel computational approaches for structural bioinformatics ». \nAbstract : \nIn my talk I will briefly present our recent developments in using polynomial expansions\, collective motions\, Fourier analysis\, machine learning\, and symmetry information for several problems in structural bioinformatics. I will first present our approach of computing nonlinear large-amplitude motions in the Cartesian space using a nonlinear extrapolation of the instantaneous eigen-motions of large biological objects. Then\, I will show how to compute collective motions in the Fourier space and how to extend the Fourier correlation theorem for flexible objects. I will also present novel methods of using polynomial expansions for small-angle X-ray and neutron scattering of rigid and flexible objects. Finally\, I will show how machine learning and 3D convolutional networks can help in constructing knowledge-based scoring functions for protein quality assessment\, and what we can learn from exhaustive analysis of symmetric protein structure in the protein data bank.
URL:https://www.loria.fr/event/talk-sergei-grudinin-on-structural-bioinformatics/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180717T140000
DTEND;TZID=Europe/Paris:20180717T150000
DTSTAMP:20260607T170616
CREATED:20180712T132254Z
LAST-MODIFIED:20180712T132254Z
UID:5867-1531836000-1531839600@www.loria.fr
SUMMARY:Talk on GPU architecture of Deep Learning
DESCRIPTION:Julien Demouth\, senior manager of GPU architecture for deep learning at NVIDIA will give a talk on Tuesday 17th July\, at 2pm in A008 on GPU architectures and software layers for deep learning.
URL:https://www.loria.fr/event/talk-on-gpu/
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20180827
DTEND;VALUE=DATE:20180901
DTSTAMP:20260607T170616
CREATED:20180822T135253Z
LAST-MODIFIED:20180822T135258Z
UID:5890-1535328000-1535759999@www.loria.fr
SUMMARY:VTSA 2018
DESCRIPTION:L’école d’été sur la technologie\, les systèmes et les applications de vérification aura lieu à Nancy du 27 au 31 août 2018. \nNous croyons que les trois aspects de la technologie de vérification\, les systèmes et les applications dépendent fortement les uns des autres et que les progrès dans le domaine de l’analyse formelle et de la vérification ne peuvent être réalisés que si les trois aspects sont considérés comme un tout. Nos cinq conférenciers David Basin\, Jean-Christophe Filliâtre\, Peter Lammich\, Anca Muscholl et Carsten Sinz défendent ce point de vue en ce sens qu’ils représentent et présenteront une technologie de vérification particulière et sa mise en œuvre dans un système afin d’appliquer avec succès l’approche aux problèmes de vérification du monde réel. \nOrganisée par Inria en partenariat avec l’Université de la Grande Région\, l’Université de Liège\, l’Université du Luxembourg et le Max Planck Institute for Informatics. \nPlus d’informations
URL:https://www.loria.fr/event/vtsa-2018/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180907T143000
DTEND;TZID=Europe/Paris:20180907T163000
DTSTAMP:20260607T170616
CREATED:20180903T111134Z
LAST-MODIFIED:20180903T111134Z
UID:5901-1536330600-1536337800@www.loria.fr
SUMMARY:PhD Defense : Simon Abelard
DESCRIPTION:Simon Abelard will defend his thesis on Friday\, September 7th at 2.30pm in room C005. \nHis presentation is entitled « Point-counting on hyperelliptic curves defined over finite fields of large characteristic: algorithms and complexities« . \nReferees:\nChristophe Ritzenthaler\, Professor\, Université Rennes 1\nFréderik Vercauteren\, Associate Professor\, KU Leuven \nExaminers:\nMagali Bardet\, Associate Professor\, Université de Rouen\nElisa Gorla\, Professor\, Université de Neuchatel\nGuillaume Hanrot\, Professor\, ÉNS Lyon \nAdvisors:\nPierrick Gaudry\, Senior Research Scientist CNRS\, Nancy\nPierre-Jean Spaenlehauer\, Research Scientist Inria\, Nancy \nAbstract:\nCounting points on algebraic curves has drawn a lot of attention due to its many applications from number theory and arithmetic geometry to cryptography and coding theory. In this thesis\, we focus on counting points on hyperelliptic curves over finite fields of large characteristic p. In this setting\, the most suitable algorithms are currently those of Schoof and Pila\, because their complexities are polynomial in log p. However\, their dependency in the genus g of the curve is exponential\, and this is already painful even in genus 3. \nOur contributions mainly consist of establishing new complexity bounds with a smaller dependency in g of the exponent of log p. For hyperelliptic curves\, previous work showed that it was quasi-quadratic\, and we reduced it to a linear dependency. Restricting to more special families of hyperelliptic curves with explicit real multiplication (RM)\, we obtained a constant bound for this exponent. \nIn genus 3\, we proposed an algorithm based on those of Schoof and Gaudry-Harley-Schost whose complexity is prohibitive in general\, but turns out to be reasonable when the input curves have explicit RM. In this more favorable case\, we were able to count points on a hyperelliptic curve defined over a 64-bit prime field.
URL:https://www.loria.fr/event/phd-defense-simon-abelard/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20180913
DTEND;VALUE=DATE:20180915
DTSTAMP:20260607T170616
CREATED:20180706T122814Z
LAST-MODIFIED:20180829T135728Z
UID:5842-1536796800-1536969599@www.loria.fr
SUMMARY:Le Loria présent au salon Grand Est Numérique
DESCRIPTION:La 6ème édition de la grande rencontre business et numérique du Grand Est\, GEN se déroulera le jeudi 13 et vendredi 14 septembre au tout nouveau Centre des Congrès de Metz\, situé juste derrière la Gare\, dans le quartier de l’Amphithéâtre. Il portera sur le thème Business & Tech.\nÀ cette occasion\, nos chercheurs et nos start-ups seront présents aux côtés de nos partenaires\, Inria Nancy Grand Est et Centrale Supelec Metz. \nAu travers de conférences\, de tables rondes\, d’ateliers\, du village startups\, venez rencontrer nos chercheurs et nos start-ups. Le tout dans un cadre détendu\, une région dont l’écosystème numérique est en ébullition permanente. \n\n\n\n\n3000 visiteurs sont attendus et de nombreuses têtes d’affiches seront présentes comme :\n– Bertrand Piccard\, initiateur et visionnaire de Solar Impulse\n– Korben\, blogueur influent et fondateur de YesWeHack autour de la cybersécurité\n– Laurent Alexandre\, docteur fondateur de Doctissimo.fr\n– Mariya Gabriel\, commissaire européenne au numérique \n\n\n\n\nProgramme complet et inscription \nNos start-ups présentes : \nAlerion : \nLes drones (véhicules robots autonomes aériens/terrestres) émergent dans notre quotidien et proposent un large panel d’applications civiles : drones aspirateurs\, de photographie\, de surveillance de sites… Mais sans intelligence embarquée\, les applications sont restreintes et l’opérateur reste un pilote. Alerion proposera une solution d’e-fauconnerie sous forme de «legos» cyberphysiques connectés autour desquels seront façonnés à la demande\, des services avancés\, innovants et autres jeux-sérieux. \nAntsway : \nGestion de parcs de véhicules électriques et optimisation des tournées. \nHarmonic Pharma :\nSolution de reconnaissance moléculaire fondée sur les harmoniques sphériques et l’agrégation de données afin de valoriser et de repositionner des molécules d’intérêt thérapeutique. \nCyber-Detect : \nCyber-Detect met à profit ses compétences en cybersécurité et son savoir-faire en analyse morphologique pour proposer des solutions à destination des équipes sécurité et informatique. \nLybero.net : \nSolutions de sécurité\, coffre fort numérique.
URL:https://www.loria.fr/event/le-loria-present-au-salon-grand-est-numerique/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180919T180000
DTEND;TZID=Europe/Paris:20180919T200000
DTSTAMP:20260607T170616
CREATED:20180907T115735Z
LAST-MODIFIED:20180907T115735Z
UID:5907-1537380000-1537387200@www.loria.fr
SUMMARY:Coup d'envoi du MeetUp IA Nancy avec Jean-Paul Haton !
DESCRIPTION:Les meetups Intelligence Artificielle Nancy sont des moments de rencontre pour démystifier et comprendre l’Intelligence Artificielle. \nL’objectif de ce groupe est de réunir régulièrement un réseau de chercheurs\, étudiants et entreprises qui vous présenteront leurs travaux et partageront leurs connaissances.\nPassionnés par l’intelligence artificielle ou simples curieux\, ces rencontres sont ouvertes à tous et suivies de discussions informelles autour d’un apéritif.\nRejoignez-nous pour développer votre culture scientifique et partager nos réflexions ! \n \nPour le premier meetup IA Nancy\, nous avons le plaisir d’accueillir Jean-Paul Haton professeur émérite en informatique à l’Université de Lorraine et chercheur au Loria\, qui apportera son expertise et son expérience sur l’IA dans sa globalité. \nCette rencontre sera également l’occasion de discuter de vos attentes et de vous exposer le déroulement de notre série de meetups (contenu\, forme\, organisation…). \nCette soirée se terminera autour d’un petit apéritif afin d’échanger nos premières impressions. \nInscription gratuite mais obligatoire avant le lundi 17 septembre sur la plate-forme MeetUp.
URL:https://www.loria.fr/event/coup-denvoi-du-meetup-ia-nancy-avec-jean-paul-haton/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180920T140000
DTEND;TZID=Europe/Paris:20180920T200000
DTSTAMP:20260607T170616
CREATED:20180803T140407Z
LAST-MODIFIED:20180904T090638Z
UID:5884-1537452000-1537473600@www.loria.fr
SUMMARY:Le Loria accueille l'Académie Digitale de Nancy Numérique !
DESCRIPTION:Le jeudi 20 septembre\, le Loria accueillera la sixième édition d’Académie Digitale initiée par Nancy Numérique. \n\nEn quelques années\, l’Académie Digitale est devenue un des rendez–vous phares de Nancy Numérique\, l’association nancéienne regroupant toutes les structures autour du numérique. Académie Digitale est un un événement qui permet le temps d’un après-midi de faire des rencontres\, d’échanger entre les différents acteurs de l’écosystème de Nancy et environs. \n\nUn premier temps\, réservé aux adhérents\, s’articulera autour d’une plénière de rentrée\, une rencontre avec Google\, un speed–meeting et des ateliers de partage de connaissance.\n\nPuis\, dans un second temps\, une rencontre ouverte à tous « Big Data ou Big Mother : les algorithmes et leurs pouvoirs » avec Philippe Vion–Dury\, rédacteur en chef de Socialter et auteur de l’ouvrage La nouvelle servitude volontaire\, enquête sur le projet politique de la Silicon Valley.\nPROGRAMME :\n\n13h45 – Plénière de rentrée nancy numérique (réservé aux membres)\nPrésentation de la feuille de route du dernier semestre par Fabian Costet\, Président. \n14h15 – Intervention de Google (réservé aux membres)\nAutour de l’accompagnement de la transformation numérique des territoires Grand-Est avec Google Ateliers Numériques en partenariat avec Nancy Numérique \n15h00 – Speed meeting (réservé aux membres)\nObjectifs : Mieux connaître les activités\, compétences\, projets… des différents adhérents de notre association. – Améliorer la synergie entre nos membres par une meilleure connaissance de nos activités respectives. \n16h30 – Ateliers de partage de connaissances (réservé aux membres)\nObjectifs : Passionnés et/ou chevronnés\, nos membres transmettent leurs compétences\, leur savoir-faire à d’autres adhérents avec bienveillance et générosité. Un autre moyen de se découvrir…\nProgramme : Atelier #1 : “Relation entre les laboratoires et les entreprises” proposé par le Loria || Atelier #2 : “Après 4 mois\, où en sommes-nous dans la RGPD ?” proposé par Fidal. \n18h30 – Rencontre publique avec Philippe Vion-Dury\, rédacteur en chef de Socialter\, Auteur du livre “La Nouvelle Servitude volontaire” FYP éditions\, 2016\nRencontre au LORIA autour « Big Data ou Big Mother : les algorithmes et leurs pouvoirs« \,  une opportunité de réfléchir tous ensemble sur l’impact sociétal\, politique et économique des géants du web. \nOuvert au public et gratuit \nInscription obligatoire avant le 12 septembre \nEn savoir plus
URL:https://www.loria.fr/event/le-loria-accueille-lacademie-digitale-de-nancy-numerique/
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180920T203000
DTEND;TZID=Europe/Paris:20180920T220000
DTSTAMP:20260607T170616
CREATED:20180822T134356Z
LAST-MODIFIED:20180822T134438Z
UID:5887-1537475400-1537480800@www.loria.fr
SUMMARY:Conférence "Sciences et Société" sur l'IA avec Malik Ghalab
DESCRIPTION:Nos machines peuvent-elles dorénavant prendre des décisions ? \nMalika Ghalab\, directeur de recherche CNRS émérite au LAAS interviendra à la prochaine conférence « Sciences et Société » pour tenter de répondre à cette question. Il vous donne rendez-vous le jeudi 20 septembre dès 20h30 à l’amphi Botté de l’IUT Charlemagne. \nL’Intelligence Artificielle (IA) est un domaine de recherche multi-disciplinaire\, à l’interface de l’informatique\, des mathématiques appliquées et des sciences cognitives. L’objet de l’IA est la mécanisation de tâches qui requièrent des connaissances et des capacités de perception\, de raisonnement et de prise de décision. Ce domaine\, encore jeune bien que sexagénaire\, a fait beaucoup de progrès dont il est fréquemment question dans les médias\, parfois avec exagération sur ses possibilités et dangers. \nNos machines peuvent-elles dorénavant prendre des décisions ? La question mérite être analysée pour les deux sens de « pouvoir décider » :\nBien entendu\, avoir le droit requière en théorie d’avoir la capacité de prendre des décisions\, mais ceci est loin d’être suffisant. Sur le premier volet\, l’exposé résumera l’état de l’art en IA. On illustrera les tâches pour lesquels les capacités des machines à trouver de bonnes décisions sont désormais effectives\, en distinguant la décision autonome de l’aide à la prise de décision humaine. On insistera sur les limites des capacités actuelles\, qui restent spécifiques à des tâches particulières et qui ne se généralisent que difficilement à un large spectre de tâches. Le deuxième volet soulève des risques sociaux et éthiques\, mais également des problèmes scientifiques largement ouverts\, qui aggravent ces risques. \nCette conférence faisant partie du cycle « Sciences et société »  est organisée par l’IUT Charlemagne\, l’Institut Elie Cartan de Lorraine et la Fédération Charles Hermite \n 
URL:https://www.loria.fr/event/conference-sciences-et-societe-sur-lia-avec-malik-ghalab/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180925T131500
DTEND;TZID=Europe/Paris:20180925T153000
DTSTAMP:20260607T170616
CREATED:20180917T110627Z
LAST-MODIFIED:20180919T083645Z
UID:5950-1537881300-1537889400@www.loria.fr
SUMMARY:PhD Defense : Baldwin Dumortier
DESCRIPTION:Baldwin Dumortier (Multispeech) will defend his thesis on Tuesday\, September 25th at 1.15pm in room C005. \nHis thesis is entitled « Acoustic control of wind farms ». \n \n« Contrôle acoustique d’un parc éolien » \nRapporteurs :\nChristophe Gonzales\, Professeur\, Université Pierre et Marie Curie\, Paris.\nPatrick Danès\, Professeur\, Université Paul Sabatier\, Toulouse.\n\nExaminateurs :\nMathieu Lagrange\, Chargé de recherche CNRS\, Laboratoire des Sciences du Numérique de Nantes\, Nantes.\nMarianne Clausel\, Professeur\, Université de Lorraine\, IECL\, Nancy.\n\nDirecteurs de thèse :\nEmmanuel Vincent\, Directeur de Recherche Inria\, LORIA\, Nancy.\nMadalina Deaconu\, Chargée de Recherche Inria\, IECL\, Nancy.\n\n\nActuellement\, la construction d’un parc éolien nécessite une étude acoustique qui doit assurer la tranquillité des habitants aux alentours et la conformité au regard de la réglementation en vigueur. Pour ce faire\, des mesures acoustiques sont réalisées sur une période d’environ deux semaines. Durant ces mesures\, des cycles de marche et d’arrêt des machines sont réalisés afin de mesurer la différence de niveau sonore entre le bruit ambiant (éoliennes en fonctionnement) et le bruit résiduel (éoliennes à l’arrêt). Un plan de bridage des machines est alors calculé et fourni à l’exploitant afin de l’implémenter dans le système de contrôle local des éoliennes (SCADA).\nActuellement\, ce plan dépend grossièrement des conditions météorologiques et des périodes de la journée\, supposées corrélées aux conditions acoustiques. En pratique\, cette manière de procéder engendre fréquemment des dépassements du critère réglementaire et/ou des pertes de production électrique. Ceci est dû aux conditions acoustiques qui évoluent sans cesse\, à la fois pour le bruit particulier (bruit des éoliennes seules) qui dépend finement des conditions météorologiques\, et\npour le bruit résiduel qui dépend de toutes les autres sources de l’environnement et qui est fondamentalement de nature stochastique.\nLa thèse vise à proposer un algorithme de contrôle du parc éolien en temps réel basé sur un nouveau paradigme de contrôle. On y étudie la possibilité de contrôler un parc éolien à partir d’un système en boite noire d’estimation temps-réel du niveau résiduel et du niveau particulier par séparation de sources. Dans le manuscrit\, on définit tout d’abord une formulation du problème dans le cadre du contrôle en identifiant les problématiques propres à ce sujet\, une définition des variables du problème et en se rattachant à l’état de l’art du contrôle. Ensuite\, on propose deux solutions complètes de contrôle et une évaluation expérimentale. La première est une solution déterministe\, qui s’appuie sur un algorithme d’optimisation combinatoire sous contrainte\, et qui s’inspire du contrôle actuel des parcs éoliens tout en tenant compte de l’estimation par séparation de sources\, alors supposée exacte. On y propose en outre une étude de la capacité du système\ndéterministe à satisfaire le critère réglementaire français qui est aujourd’hui calculé à l’aide de médianes temporelles des variables acoustiques. La seconde est une solution stochastique\, qui est basée sur une représentation d’état des variables acoustiques et des incertitudes gaussiennes. Elle inclut un filtrage de Kalman non-linéaire\, afin de fusionner l’incertitude sur le modèle acoustique et l’incertitude de séparation de sources\, un algorithme espérance-maximisation afin de ré-estimer les incertitudes du problème qui varient d’un parc à un autre\, et une adaptation robuste de l’algorithme combinatoire afin de prendre en compte les incertitudes estimées.\n\n\n\n(EN)\nCurrently\, acoustic studies are required to set wind farms up. They must ensure the tranquility of the inhabitants around the farms in accordance with current regulations. For this purpose\, acoustic measurements are made during a couple of weeks. When measuring\, the wind turbines are periodically stopped in order to evaluate the difference between ambient noise levels (with the turbines on) and residual noise levels (with the turbines off). A curtailment plan is then computed and sent to the wind farm owner in order to set it up in the local turbine control system (SCADA). Currently\, the curtailment plan roughly depends on the weather conditions and the time of the day which are allegedly correlated to the acoustic variables. In practice\, it frequently leads to violations of the acoustic constraints or electrical power loss. This is because\nthe acoustic conditions constantly and strongly evolve over time : the wind turbine noise level finely depends on the weather conditions and the residual noise level depends on all the other acoustic sources and has therefore a stochastic nature. The goal of the thesis is to design a principled real-time control algorithm for wind farms.\nTo do so\, we investigate the use of a black-box source separation system that estimates the residual noise level and the wind turbine noise level. We first provide a theoretical formulation of the problem by accounting for specific practical issues\, by defining the variables of the problem and by binding these issues to the state of the art. Then\, we propose two complete control solutions and run an experimental evaluation. The first solution is a deterministic algorithm based on a constrained combinatorial optimization algorithm\, which is inspired by the current approach for controlling wind farms while exploiting the source separation system. Moreover\, we present a study of its ability to fulfill the French acoustic constraints that are computed as temporal medians of the acoustic variables. The second solution is stochastic and based on a state-space model defined by means of Gaussian uncertainties. It features a nonlinear Kalman filter in order to fuse the uncertainties of the model and of the source separation system\, an Expectation-Maximization algorithm that computes the uncertainties for a specific farm\, and a robust variant of the deterministic algorithm that takes the estimated uncertainties into account when computing the optimal command.
URL:https://www.loria.fr/event/phd-defense-baldwin-dumortier/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180927T133000
DTEND;TZID=Europe/Paris:20180927T150000
DTSTAMP:20260607T170616
CREATED:20180917T111633Z
LAST-MODIFIED:20180917T111633Z
UID:5953-1538055000-1538060400@www.loria.fr
SUMMARY:Séminaire Sécurité Loria : Clémentine Maurice
DESCRIPTION:Next SSL seminar will take place on Thursday\, September 27th at 1.30 pm in room A008. \nClémentine Maurice (CNRS\, IRISA) will give a presentation entitled « Evolution of microarchitectural attacks ». \n \nHardware is often considered as an abstract layer that behaves correctly\, just executing instructions and outputing a result. However\, the internal state of the hardware leaks information about the programs that are executing\, paving the way for covert or side-channel attacks. \nIn this presentation\, we will cover the evolution of microarchitectural attacks. We will first have a look at a historical recap of past attacks and how the field evolved in the last years. We will focus on two recent trends\, that are practical attacks (by demonstrating robust covert channels in the cloud) and the increase of the attack surface. We will conclude with the different challenges and open questions that the field is facing.
URL:https://www.loria.fr/event/seminaire-securite-loria-clementine-maurice/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180928T140000
DTEND;TZID=Europe/Paris:20180928T150000
DTSTAMP:20260607T170616
CREATED:20180924T070623Z
LAST-MODIFIED:20180924T070623Z
UID:5973-1538143200-1538146800@www.loria.fr
SUMMARY:Seminar : Sandra Strohback and Yang Zhang (CISPA)
DESCRIPTION:Our colleagues from CISPA Saarland\, Sandra Strohback and Yang Zhang will visit us\non friday september\, 28 to give the following talks in room A008 :\n\n\n2pm – 2pm15 :  Sandra Strohback will give a presentation on the next Workshop CISPA-LORIA on Security and Privacy Issues of Big Data:\n\n2pm15 – 3pm: Yang Zhang will give a talk entitled  » ML-Leaks: Model and Data Independent Membership Inference Attacks and Defenses on Machine Learning Models ».\n\n \nAbstract: \nMachine learning (ML) has become a core component of many real-world applications and training data is a key factor that drives current progress. This huge success has led Internet companies to deploy machine learning as a service (MLaaS). Recently\, the first membership inference attack has shown that extraction of information on the training set is possible in such MLaaS settings\, which has severe security and privacy implications. \nHowever\, the early demonstrations of the feasibility of such attacks have many assumptions on the adversary\, such as using multiple so-called shadow models\, knowledge of the target model structure\, and having a dataset from the same distribution as the target model’s training data.\nIn this talk\, I will present our newest results on relaxing all these key assumptions\, thereby showing that such attacks are very broadly applicable at low cost and thereby pose a more severe risk than previously thought. We present the most comprehensive study so far on\nthis emerging and developing threat using eight diverse datasets which show the viability of the proposed attacks across domains. \nIn addition\, we propose the first effective defense mechanisms against such broader class of membership inference attacks that maintain a high level of utility of the ML model.
URL:https://www.loria.fr/event/seminar-sandra-strohback-and-yang-zhang-cispa/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181001T160000
DTEND;TZID=Europe/Paris:20181001T200000
DTSTAMP:20260607T170616
CREATED:20180910T141049Z
LAST-MODIFIED:20180910T141133Z
UID:5926-1538409600-1538424000@www.loria.fr
SUMMARY:Remise des insignes et titres de docteur honoris causa à Michael Backes
DESCRIPTION:Le 1er octobre 2018 seront remis les insignes et titres de docteur honoris causa à Michael Backes\, professeur en informatique\, expert en cybersécurité. \nCette cérémonie sera suivie d’une conférence du professeur Backes\, en anglais : Tackling the Grand Challenges of Cybersecurity Research: The Case of Security of Autonomous Systems. \nVous êtes chaleureusement invités et nous vous invitons à confirmer votre présence via l’adresse evenements@univ-lorraine.fr. \nRésumé de la conférence \n« Le domaine de la cyber sécurité et de la confidentialité est devenu d’une importance capitale aux yeux de la société. Des failles informatiques sont utilisés pour espionner et saboter les infrastructures les plus sensibles (tels que les réseaux de distributions d’électricité et d’eau potable\, les réseaux informatiques de santé\, de communication et de transports) et la présence abondante de banques de données massives\, confidentielles et dont l’utilisation est répandue implique des risques sans précédent pour la vie privée des utilisateurs. Les problèmes sous-jacents sont immensément complexes et requièrent des progrès substantiels dans les champs de la recherche en cyber sécurité et confidentialité. \nTout cela implique une étude d’ensemble\, au sein d’un programme de recherche global\, de la recherche fondamentale de pointe avec des approches innovantes\, souvent disruptives\, à la recherche appliquée et au transfert de technologie. \nEn réponse à cette problématique\, nous avons annoncé la création du CISPA – Helmholz Center à Sarrebruck. Ce centre rassemble la masse critique de chercheurs requis pour une étude complète et systémique des grands défis pressants en cyber sécurité et confidentialité auxquels notre société est confrontée en cet âge du numérique. \nDans cette discussion nous braquerons les projecteurs sur le défi particulièrement important de la sécurité des réseaux autonomes ».
URL:https://www.loria.fr/event/remise-des-insignes-et-titres-de-docteur-honoris-causa-a-michael-backes/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181002T103000
DTEND;TZID=Europe/Paris:20181002T120000
DTSTAMP:20260607T170616
CREATED:20180921T124352Z
LAST-MODIFIED:20180925T070058Z
UID:5970-1538476200-1538481600@www.loria.fr
SUMMARY:Exposé de Bernadette Bensaude-Vincent
DESCRIPTION:Bernadette Bensaude-Vincent\, professeur d’histoire et de philosophie des sciences à l’Université Paris I Panthéon-Sorbonne\, fera un exposé le mardi 2 octobre à 10h30 en salle A008. \nSa présentation est intitulée Biologie de synthèse\, enjeux épistémologiques\, économiques et philosophiques. \n \nRésumé : Domaine de pointe dans les biotechnologies et porteur d’espoirs d’une bioéconomie florissante\, la biologie de synthèse propose de fabriquer des micro-organismes à façon pour remplir des tâches de production ou de réparation. On  caractérisera cette discipline nouvelle comme une technoscience exemplaire qui introduit un nouveau type de pratique de science qui soulève d’importants problèmes éthiques et philosophiques.
URL:https://www.loria.fr/event/expose-de-bernadette-bensaude-vincent/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181004T133000
DTEND;TZID=Europe/Paris:20181004T150000
DTSTAMP:20260607T170616
CREATED:20180924T090553Z
LAST-MODIFIED:20180924T090553Z
UID:5983-1538659800-1538665200@www.loria.fr
SUMMARY:Colloquium Loria : Jean-François Cardoso
DESCRIPTION:Jean-François Cardoso\, directeur de recherche CNRS à l’Institut d’Astrophysique de Paris est l’invité du prochain colloquium du Loria. \nRendez-vous le jeudi 4 octobre à 13h30 dans l’amphithéâtre pour son exposé intitulé “La plus vieille image du monde : la saisir\, la faire parler.” \nVoici le résumé de sa présentation : \n“La collaboration “Planck” de l’Agence Spatiale Européenne a récemment publié une carte plein-ciel du rayonnement fossile cosmologique.\nCette image\, qui a fait la Une des quotidiens du monde entier\, est presque littéralement une “photo instantanée” de notre Univers aux premiers temps de sa formation\, la plus vieille image du monde.\nElle confirme avec éclat et approfondit la théorie du Big Bang\, notre meilleur scénario pour l’origine et la formation de l’Univers. \nDans ce séminaire\, je rappellerai les grandes lignes de la théorie du Big Bang\, je décrirai le satellite Planck et le traitement des données qui ont permis de construire une carte du rayonnement fossile avec une merveilleuse précision. Finalement\, j’expliquerai comment “des données\, on extrait la Science”: comment on fait parler l’image par la statistique pour déterminer\, l’âge de l’Univers\, son contenu en masse et énergie\, et bien d’autres choses…” \nLes personnes extérieures au laboratoire doivent s’inscrire par e-mail auprès de Marie Baron (marie.baron @ loria.fr) avant le mardi 2 octobre.
URL:https://www.loria.fr/event/colloquium-loria-jean-francois-cardoso/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181005T113000
DTEND;TZID=Europe/Paris:20181005T140000
DTSTAMP:20260607T170616
CREATED:20180926T140859Z
LAST-MODIFIED:20180926T140859Z
UID:6012-1538739000-1538748000@www.loria.fr
SUMMARY:Brunch "La géomatique aujourd'hui et demain !"
DESCRIPTION:Le prochain brunch de l’Université de Lorraine aura lieu le vendredi 5 octobre de 11h30 à 14h à la Maison Mosaïque de Saint-Dié-des Vosges\, avec pour thème « GPS\, géolocalisation et systèmes d’information géographique. La géomatique aujourd’hui et demain ! ». Gilles Simon (maître de conférences dans l’équipe Magrit)\, y présentera ses recherches sur la vision par ordinateur\, principalement appliquée à la réalité augmentée en milieux urbains et industriels. \nPlus d’infos \nProgramme complet \n 
URL:https://www.loria.fr/event/brunch-la-geomatique-aujourdhui-et-demain/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181008T150000
DTEND;TZID=Europe/Paris:20181008T160000
DTSTAMP:20260607T170616
CREATED:20181008T064027Z
LAST-MODIFIED:20181008T064028Z
UID:6084-1539010800-1539014400@www.loria.fr
SUMMARY:HDR : Pascal Fontaine
DESCRIPTION:Pascal Fontaine (Mosel-Veridis) will defend his habilitation on Monday\, October 8th at 3PM in room C005. \nHis presentation is entitled « Satisfiability Modulo Theories ». \nAbstract: Satisfiability Modulo Theories (SMT) is an automatic reasoning paradigm to check the satisfiability of logic formulas in presence of predicates and functions interpreted within a theory.  Among  relevant theories\, one finds the empty theory (uninterpreted symbols)\, various arithmetic theories\, and theories for data-types\, sets\,… SMT solvers generally also implement some kind of combination of theories\, so that they can handle formulas containing interpreted symbols from several of those theories at the same time.  My previous contributions as well as my project revolve around SMT\, mainly on decision procedures\, combination of theories and quantifier handling for SMT.  My main directions for future research are to extend SMT to handle higher-order formulas\, and to further improve efficiency\, quantifier handling\, and proof production for SMT.  A last aspect of my work involves applying SMT techniques for verification\, more particularly for TLA+ and the B method. \nCommittee:\nSylvain Conchon\, Université Paris-Sud 11\, France\nStephan Merz\, Université de Lorraine\, CNRS\, Inria\, Loria\, France\nRenate Schmidt\, University of Manchester\, UK\nRoberto Sebastiani\, Università di Trento\, Italy\nJeanine Souquières\, Université de Lorraine\, CNRS\, Loria\, France\nViorica Sofronie-Stokkermans\, Universität Koblenz-Landau\, Germany\nCesare Tinelli\, The University of Iowa\, USA
URL:https://www.loria.fr/event/hdr-pascal-fontaine/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181011T133000
DTEND;TZID=Europe/Paris:20181011T150000
DTSTAMP:20260607T170616
CREATED:20180917T112243Z
LAST-MODIFIED:20180917T112243Z
UID:5955-1539264600-1539270000@www.loria.fr
SUMMARY:Séminaire Sécurité Loria : Bryan Ford
DESCRIPTION:Next SSL seminar will take place on Thursday\, October 11th at 1.30 pm in the amphitheater. \nBryan Ford (EPFL) will give a presentation entitled « Coins\, Clubs\, and Crowds: Scaling and Decentralization in\nNext-Generation Blockchains and Cryptocurrencies ». \n \nBuilding secure systems from independent\, mutually distrustful parties is an old topic in computer science. But despite its attendant hype and misinformation\, today’s “blockchain bandwagon” has successfully brought the gospel of decentralization – both a realization of its possibility and an appreciation for its value – to mainstream society.\nCurrently-deployed blockchains\, however\, are slow\, unscalable\, weakly consistent\, profligate in energy use\, and have effectively re-centralized due to market pressures. We will explore ongoing challenges and progress in rethinking blockchain architecture to improve scalability\, efficiency\, functionality\, privacy\, and decentralization.\nWe will explore how decentralized building blocks such as collective signatures and scalable distributed randomness enable architecturally modular solutions to challenges such as scalable Byzantine consensus\, horizontal sharding\, proof-of-stake\,  and blockchain-managed secrets.\nFinally\, we explore challenges in fairness and democratization in decentralized systems\, how “proof-of-personhood” blockchains could enable information forums and anonymous reputation systems resistant to propaganda campaigns\, and how democratic cryptocurrencies could offer a permissionless analog of universal basic income. \nBio: Prof. Bryan Ford leads the Decentralized/Distributed Systems (DEDIS) research laboratory at the Swiss Federal Institute of Technology in Lausanne (EPFL). Ford focuses broadly on building secure decentralized systems\, touching on topics including private and anonymous communication\, scalable decentralized systems\, blockchain technology\, Internet architecture\, and operating systems. Ford earned his B.S. at the University of Utah and his Ph.D. at MIT\, then joined the faculty of Yale University where his work received the Jay Lepreau Best Paper Award and grants from NSF\, DARPA\, and ONR\, including the NSF CAREER award. His continuing work receives support from EPFL\, the AXA Research Fund\, and numerous industry partners. He has served on numerous prestigious advisory boards including on the DARPA Information Science and Technology (ISAT) study group\, the Swiss FinTech Innovations (SFTI) advisory board\, and the Swiss Blockchain Taskforce.
URL:https://www.loria.fr/event/seminaire-securite-loria-bryan-ford/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181016T100000
DTEND;TZID=Europe/Paris:20181016T113000
DTSTAMP:20260607T170616
CREATED:20181009T140555Z
LAST-MODIFIED:20181009T140555Z
UID:6092-1539684000-1539689400@www.loria.fr
SUMMARY:Formal Methods Seminar : Sergueï Lenglet
DESCRIPTION:Next Formal Methods Seminar will take place on Tuesday\, October 16th at 10 in room A008. \nSergueï Lenglet (Loria\, UL) will give a presentation entitled « HOpi in Coq : Locally Nameless vs Nominal ». \nResume : I will present what I did during my sabbatical in Rennes : the formalization of a higher-order process calculus\, i.e.\, a process algebra where messages contain executable processes. I will discuss in particular the problem of representing binders\, and compare existing techniques (locally nameless and nominal) in that setting.
URL:https://www.loria.fr/event/formal-methods-seminar-serguei-lenglet/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181017T140000
DTEND;TZID=Europe/Paris:20181017T160000
DTSTAMP:20260607T170616
CREATED:20181003T065748Z
LAST-MODIFIED:20181003T065748Z
UID:6037-1539784800-1539792000@www.loria.fr
SUMMARY:TALC Seminar : Paul Magron
DESCRIPTION:Next TALC Seminar will take place on Wednesday\, October 17\, 2018 at 2pm in room A008. \nPaul Magron (Tampere University of Technology) will give a presentation entitled « Probabilistic modeling of the phase for audio source separation ». \nAbstract:\nMany audio source separation techniques act on a time-frequency representation of the data\, such as the short-time Fourier transform (STFT)\, since it reveals the underlying structure of sounds. These methods usually discard the phase information and process spectrogram-like quantities only. The sources are finally retrieved by means of a Wiener-like filter\, which assigns the phase of the original mixture to each isolated source. However\, this introduces interference and artifacts in the estimates\, which highlights the need for more sophisticated phase recovery techniques. In this talk\, we will present our recent work on phase-aware probabilistic models for audio source separation. Firstly\, we will model the phase as a non-uniform random variable based on the von Mises distribution. This allows us to incorporate some prior knowledge about the phase\, e.g.\, that arise from a signal model (sums of sinusoids). In particular\, we will show that the traditional uniform model and the von Mises model are not contradictory\, but rather rely on different assumptions about the phase. Secondly\, we will present mixture models based on the anisotropic Gaussian distribution\, from which we can derive phase-aware estimators of the sources in the STFT domain. This results in an anisotropic Wiener filter\, which preserves some of the interesting statistical properties of the Wiener filter\, while enabling one to account for a phase model.\nFinally\, we will propose techniques for jointly inferring the magnitude and the phase based on this framework. Indeed\, by structuring the variance parameters of these models through e.g.\, nonnegative matrix factorization or deep neural networks\, we can derive complete and phase-aware source separation systems.
URL:https://www.loria.fr/event/talc-seminar-paul-magron/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20181019
DTEND;VALUE=DATE:20181020
DTSTAMP:20260607T170616
CREATED:20181003T083821Z
LAST-MODIFIED:20181018T141830Z
UID:6039-1539907200-1539993599@www.loria.fr
SUMMARY:Journée d'automne du Groupe de travail "Robotique et neurosciences"
DESCRIPTION:Le groupe de travail « Robotique et Neurosciences » (GT8) du GDR Robotique organise cet automne une quatrième journée de travail ayant pour objectif de favoriser la rencontre et les échanges entre roboticiens\, psychologues et neuroscientifiques.\nElle se déroulera le 19 octobre en salle A008. \nCette journée sera organisée autour d’un ensemble de présentations orales par des chercheurs invités\, ainsi que de présentations orales courtes et de posters des participants. \nProgramme provisoire : \n\n10h20 – 11h10 : «Des robots et des intentions»\, M. Rebuschi (Archives Poincaré\, Nancy)\n11h10 – 11h40 : «Multi-objective Model-based Policy Search for Data-efficient Learning with Sparse Reward»\, R. Kaushic (Loria\, Nancy)\n11h40 – 12h10 : «Learning Adaptive Behavior in Games»\, N. Justesen (IT\nUniv. of Copenhagen)\n12h10 – 13h00 : «L’animal\, le robot\, le fou et moi»\, D. Desor (Biologie\, Nancy)\n14h00 – 14h50 : «Adaptive bio-inspired robot controllers for emergence of Human-Robot movement coordination and synchronization.» P. Hénaff (Loria\, Nancy)\n14h50 – 15h20 : «Adaptive CPG-Controllers Increase Compliance in Rhythmic Physical Human-Robot Interactions»\, M. Jouaiti (Loria\, Nancy)\n15h20 – 15h50 : «Utilisation des techniques du soft-computing pour la commande des systèmes non-linéaire: application sur un Mini quadricoptère\,IBISC». Z.M. El Mehdi (IBISC\, Univ. Evry)\n16h20 – 17h10 : «DynaQ neural avec /Prioritized sweeping/ et prédécesseurs multiples\, liens avec les réactivations hippocampiques»\, B. Girard (ISIR\, Paris)\n\nInscriptions gratuites sur : https://gt8-oct-2018.loria.fr/inscription
URL:https://www.loria.fr/event/journee-de-travail-robotique-et-neuroscience/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181019T140000
DTEND;TZID=Europe/Paris:20181019T153000
DTSTAMP:20260607T170616
CREATED:20181009T141122Z
LAST-MODIFIED:20181009T141122Z
UID:6096-1539957600-1539963000@www.loria.fr
SUMMARY:Formal Methods Seminar : Fabian Reiter
DESCRIPTION:Next Formal Methods Seminar will take place on Friday\, October 19th at 2pm in room B013. \nFabian Reiter (LSV\, Cachan) will give a presentation entitled « Descriptive distributed complexity » \nAbstract: This talk connects two classical areas of theoretical computer science: descriptive complexity and distributed computing. The former is a branch of computational complexity theory that characterizes complexity classes in terms of equivalent logical formalisms. The latter studies algorithms that run in networks of interconnected processors. \nAlthough an active field of research since the late 1970s\, distributed computing is still lacking the analogue of a complexity theory. One reason for this may be the large number of distinct models of distributed computation\, which make it rather difficult to develop a unified formal framework. In my talk\, I will outline how the descriptive approach\, i.e.\, connections to logic\, could be helpful in this regard.
URL:https://www.loria.fr/event/formal-methods-seminar-fabian-reiter/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20181024
DTEND;VALUE=DATE:20181027
DTSTAMP:20260607T170616
CREATED:20180913T111655Z
LAST-MODIFIED:20180913T111655Z
UID:5944-1540339200-1540598399@www.loria.fr
SUMMARY:Workshop on Security and Privacy Issues of Big Data
DESCRIPTION:A workshop for PhD Students on Security and Privacy issues of Big Data will take place at CISPA\, Saarland\, from October 24 to October 26th. \n \nThe development of ICT has tremendously changed people’s way of living during the past decade. The resulting big data\, on one hand\, can help to build appealing industrial products\, on the other hand\, raises serious concerns about people‘s security and privacy. \nThis workshop aims to bring together PhD students from CISPA and LORIA to address the security and privacy issues of big data. Participants are expected to present their current research projects\, engage in scientific discussion\, and establish potential collaborations. The workshop will also invite leading researchers in the field to share their newest results and research experiences. \nThe workshop is free of charge\, it will take place at the Landhotel Saarschleife in Saarland\, Germany from October 24 to October 26\, 2018. \nApplication: \nThe number of participants is limited to 20: 10 PhD students from CISPA and 10 PhD students from LORIA. \nPlease apply electronically by sending an email to yang.zhang@cispa.saarland with: \n\na one-page CV\nan application letter describing your current PhD project\, your motivation for participating in the workshop\, and your desired outcome.\n\nThe workshop’s program committee will select the applicants. The application deadline is September 8\, 2018. \nProgram Committee: \nMichael Backes (CISPA)\nSven Bugiel (CISPA)\nJannik Dreier (LORIA)\nAbdelkader Lahmadi (LORIA)\nMarine Minier (LORIA)\nJilles Vreeken (CISPA)
URL:https://www.loria.fr/event/workshop-on-security-and-privacy-issues-of-big-data/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181030T140000
DTEND;TZID=Europe/Paris:20181030T160000
DTSTAMP:20260607T170616
CREATED:20181026T135222Z
LAST-MODIFIED:20181026T140216Z
UID:6147-1540908000-1540915200@www.loria.fr
SUMMARY:PhD Defense : Hayat Nasser
DESCRIPTION:Hayat Nasser will defend her thesis on Tuesday\, October 30th at 2pm in room C005. \nHer presentation is entitled « Tools for the analysis of noisy discrete curves ». \n \nDissertation committee:\n\n\n\n\n\nIsabelle DEBLED-RENNESSON\n\nProfesseure des Universités\n\nUniversité de Lorraine\n\nDirectrice de thèse\n\n\nFabien FESCHET\n\nProfesseur des Universités\n\nUniversité Clermont Auvergne\n\nRapporteur\n\n\nEric ANDRES\n\nProfesseur des Universités\n\nUniversité de Poitiers\n\nRapporteur\n\n\nYukiko KENMOCHI\n\nChargée de Recherche\n\nUniversité Paris-Est\n\nExaminatrice\n\n\nLaurent WENDLING\n\nProfesseur des Universités\n\nUniversité Paris Descartes (Paris V)\n\nExaminateur\n\n\nSalvatore-Antoine TABBONE\n\nProfesseur des Universités\n\nUniversité de Lorraine\n\nExaminateur\n\n\nPhuc NGO\n\nMaître de Conférences\n\nUniversité de Lorraine\n\nExaminatrice\n\n\n\n\nAbstract:\n\n\n\n\nIn this thesis\, we are interested in the study of noisy discrete curves that correspond to the contours of objects in images. We have proposed several tools to analyze them. The dominant points (points whose curvature estimation is locally maximal) play a very important role in pattern recognition and we have developed a non-heuristic\, fast and reliable method to detect them in a discrete curve. This method is an improvement of an existing method introduced by Nguyen et al.. The new method consists in calculating a measure of angle. We have also proposed two approaches for polygonal simplification: an automatic method minimizing\, and another fixing the vertex number of the resulting polygon.\n\nThen we proposed a new geometric tool\, called adaptive tangential cover ATC\, based on the detection of meaningful thickness introduced by Kerautret et al.. These thicknesses are calculated at each point of the contours allow to locally estimate the noise level. In this context our construction algorithm of adaptive tangential cover takes into account the different levels of noise present in the curve to be studied and does not require a parameter.\n\nTwo applications of ATC in image analysis are proposed: on the one hand the decomposition of the contours of a shape in an image into arcs and right segments and on the other hand\, within the framework of a project with an Indian university about the sign language and recognition of hand gestures. Firstly\, the method to decompose discrete curves into arcs and straight segments is based on two tools: dominant point detection using adaptive tangential cover and tangent space representation of the polygon issued from detected dominant points. The experiments demonstrate the robustness of the method w.r.t. noise. Secondly\, from the outlines of the hands extracted from images taken by a Kinect\, we propose several descriptors from the selected dominant points computed from the adaptive tangential cover. The proposed descriptors\, which are a combination of statistical descriptors and topological descriptors\, are effective and suitable for gesture recognition. \n\n\n\nKeywords: Discret geometry\, dominant points\, tangential cover\, polygonal simplification\, image processing
URL:https://www.loria.fr/event/phd-defense-hayat-nasser/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181107T083000
DTEND;TZID=Europe/Paris:20181107T170000
DTSTAMP:20260607T170616
CREATED:20181026T134019Z
LAST-MODIFIED:20181026T134020Z
UID:6144-1541579400-1541610000@www.loria.fr
SUMMARY:Forum des Sciences Cognitives
DESCRIPTION:Le prochain Forum des Sciences Cognitives à Nancy\, organisé par l’IDMC (Institut des Sciences du Digital\, Management & Cognition\, ex-UFR de Mathématiques et Informatique) de l’Université de Lorraine et par EKOS\, l’Association des étudiant·es en Sciences Cognitives\, aura lieu le mercredi 7 novembre prochain dans les locaux de l’École des Mines de Nancy\, campus ARTEM. \nLe matin auront lieu des conférences: \n\nVincent Claveau (CNRS – IRISA de Rennes)Le traitement automatique des langues à la chasse aux fakenews\nArnaud Malon (Crédit Mutuel)Manifeste pour un web éthique\nThomas Cohu (Proxem) Intelligence artificielle et traitement du langage\n\nL’après-midi auront lieu différents ateliers thématiques (accès prioritaire aux étudiant·es de l’IDMC): \n\nUX design\nIA & Deep Learning\nSilver technologies\nAncien·ne·s : Que sont-ils·elles devenu·e·s ?\nRecrutement dans le numérique : we need you!\nStands & démos\n\nProgramme détaillé :http://institut-sciences-digitales.fr/evenements-idmc/forum-sciences-cognitives-2018/Entrée libre\, sur inscription\, dans la limite des places disponibles. 
URL:https://www.loria.fr/event/forum-des-sciences-cognitives/
LOCATION:Mines Nancy – Campus Artem
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181108T110000
DTEND;TZID=Europe/Paris:20181109T150000
DTSTAMP:20260607T170616
CREATED:20181022T073508Z
LAST-MODIFIED:20181022T073508Z
UID:6120-1541674800-1541775600@www.loria.fr
SUMMARY:Journées Informatique Quantique 2018
DESCRIPTION:Les Journées Informatique Quantique sont organisées par le groupe de travail Informatique Quantique (GT IQ) du GdR IM du CNRS. Elles se dérouleront au LORIA à Nancy. \nLes Journées Informatique Quantique ont pour but de rassembler la communauté travaillant dans les différents domaines que recouvre l’informatique quantique. Une série d’exposés permettra de prendre connaissance des travaux des participants. Les jeunes chercheurs\, tout particulièrement les doctorants et post-doctorants\, sont vivement encouragés à présenter leurs résultats récents ou travaux en cours. \nL’inscription est gratuite mais obligatoire par mail à jiq18@services.cnrs.fr avant le 26 octobre 2018. \nProgramme :  \nJeudi 8 novembre : \n11h-11h30 : Shane Mansfield (LIP6) – Continuous Variable Contextuality \n11h30 – 12h : Clément Meignant (LIP6) – Distributing graph states as multipartite resources over arbitrary quantum networks \n12h – 12h30 : Alessandro Luongo (IRIF\, Atos) – Quantum algorithms for classification \n12h30 – 14h : Pause \n14h – 15h : Omar Fawzi (LIP) – TBA \n15h – 15h30 : Yassine Hamoudi (IRIF) – Quantum Chebyshev’s inequality and applications \n15h30 – 16h : Pause \n16h – 16h30 : Francesco Arzani (LIP6/LORIA) – Quantum secret sharing using squeezing and almost any passive interferometer \n16h30 – 17h : Julian Wechs (Inst. Néel) – Communication through coherent control of quantum channels \n17h – 17h30 : Léo Colisson (LIP6) – On the possibility of classical client blind quantum computing \n17h30 – 18h : Yixin Shen (IRIF) – Quantum lattice enumeration \nVendredi 9 novembre :  \nUne partie du programme du vendredi sera commune avec la rencontre du projet ANR SoftQPro \n9h – 9h30 : Shraddha Singh (LIP6) – Quantum protocol zoo \n9h30 – 10h : Christophe Vuillot (TU Delft) – Quantum error correction with the Toric-GKP code \n10h – 10h30 : Johanna Seif (LIP) – Algorithmic aspects of quantum coding \n10h30 – 11h : Pause \n11h – 11h30 : Vladimir Zamdzhiev (LORIA) – Entanglement analysis for a first-order quantum programming language with inductive datatypes \n11h30 – 12h : Renaud Vilmart (LORIA) – Completeness of graphical languages for mixed states and completely positive maps \n12h – 12h30 : Benoît Valiron (LRI) – TBA \n12h30 – 14h : Pause \n14h – 14h30 : Simon Martiel (Atos) – TBA \n14h30 – 15h : Valentin Perrelle (CEA) – TBA
URL:https://www.loria.fr/event/journees-informatique-quantique-2018/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181108T140000
DTEND;TZID=Europe/Paris:20181108T153000
DTSTAMP:20260607T170616
CREATED:20181017T115959Z
LAST-MODIFIED:20181017T115959Z
UID:6110-1541685600-1541691000@www.loria.fr
SUMMARY:Department 1 seminar : Chee Yap (New York University)
DESCRIPTION:The next seminar of Department 1 will take place on Thursday\, November 8th at 2pm in room A008. \nChee Yap (New York University) will give a presentation entitled « Subdivision Path Planning in Robotics: Theory and Practice ».  \nABSTRACT: \nMotion planning is a fundamental problem in robotics. We propose to design path planners based on three foundations: (1) The notion of resolution-exact » planners. Conceptually\, it avoids the zero problem of exact computation. (2) The use of soft predicates » for achieving such algorithms in the subdivision approach. (3) The feature-based technique » for constructing such soft predicates. We formulate an algorithmic framework called Soft Subdivision Search » (SSS) that incorporates these ideas. There are many parallels between our framework and the well-known Sampling or Probabilistic Roadmap framework. Both frameworks lead to algorithms that are – practical – easy to implement – flexible and extensible – with adaptive and local complexity. In contrast to sampling and previous resolution approaches\, SSS confers strong theoretical guarantees\, including halting. In a series of papers we demonstrated the power of these ideas\, by producing planners for planar robots with 2\, 3 and 4 degrees of freedom (DOF) that outperform or matches state-of-art sampling-based planners. Most recently\, we produced a planner for two spatial robots (rod and ring) with 5 DOFs. Non-heuristic planners for such robots has been considered a challenge for the subdivision approach. We outline a general axiomatic theory underlying these results\, including subdivision in non-Euclidean configuration spaces\, Joint work with Y.J.Chiang\, C.H.Hsu\, C.Wang\, Z.Luo\, B.Zhou\, J.P.Ryan.\n\nPage of Department 1 seminars
URL:https://www.loria.fr/event/department-1-seminar-chee-yap-new-york-university/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181109T140000
DTEND;TZID=Europe/Paris:20181109T150000
DTSTAMP:20260607T170616
CREATED:20181107T130948Z
LAST-MODIFIED:20181107T131026Z
UID:6163-1541772000-1541775600@www.loria.fr
SUMMARY:PhD Defense : Gabin Personeni
DESCRIPTION:Gabin Personeni (Orpailleur) will defend his thesis on Friday\, November 9th at 2pm in room A008. \nHis thesis is entitled « Contribution of domain ontologies for knowledge discovery in biomedical data ». \n \nThe jury will be composed of the following 8 members :\n\nRapporteurs\n-Olivier Dameron\, Maître de Conférences à l’Université de Rennes 1\n-Céline Rouveirol\, Professeur à l’Université Paris 13\nExaminateurs\n-Jérôme Azé\, Professeur à l’Université de Montpellier\n-Anne Boyer\, Professeur à l’Université de Lorraine\n-Adrien Coulet\, Maître de Conférences à l’Université de Lorraine\n-Marie-Dominique\, Chargée de Recherches\, CNRS\nInvités\n-Michel Dumontier\, Distinguished Professor\, Maastricht University\n-Malika Smaïl-Tabbone\,  Maître de Conférences à l’Université de Lorraine\n\n\n\n\nAbstract\n\n\n   The semantic Web proposes standards and tools to formalize and share knowledge on the Web\, in the form of ontologies. Biomedical ontologies and associated data represents a vast collection of complex\, heterogeneous and linked knowledge. The analysis of such knowledge presents great opportunities in healthcare\, for instance in pharmacovigilance. This thesis explores several ways to make use of this biomedical knowledge in the data mining step of a knowledge discovery process. In particular\, we propose three methods in which several ontologies cooperate to improve data mining results.\n A first contribution of this thesis describes a method based on pattern structures\, an extension of formal concept analysis\, to extract associations between adverse drug events from patient data. In this context\, a phenotype ontology and a drug ontology cooperate to allow a semantic comparison of these complex adverse events\, and leading to the discovery of associations between such events at varying degrees of generalization\, for instance\, at the drug or drug class level.\nA second contribution uses a numeric method based on semantic similarity measures to classify different types of genetic intellectual disabilities\, characterized by both their phenotypes and the functions of their linked genes. We study two different similarity measures\, applied with different combinations of phenotypic and gene function ontologies. In particular\, we investigate the influence of each domain of knowledge represented in each ontology on the classification process\, and how they can cooperate to improve that process.\nFinally\, a third contribution uses the data component of the semantic Web\, the Linked Open Data (LOD)\, together with linked ontologies\, to characterize genes responsible for intellectual deficiencies. We use Inductive Logic Programming\, a suitable method to mine relational data such as LOD while exploiting domain knowledge from ontologies by using reasoning mechanisms. Here\, ILP allows to extract from LOD and ontologies a descriptive and predictive model of genes responsible for intellectual disabilities.\nThese contributions illustrates the possibility of having several ontologies cooperate to improve various data mining processes.
URL:https://www.loria.fr/event/phd-defense-gabin-personeni/
CATEGORIES:Soutenance
END:VEVENT
END:VCALENDAR