HDR : Pascal Fontaine
2018-10-08 15:00 - 16:00 (Europe/Paris)
Pascal Fontaine (Mosel-Veridis) will defend his habilitation on Monday, October 8th at 3PM in room C005.
His presentation is entitled « Satisfiability Modulo Theories ».
Abstract: 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.
Committee:
Sylvain Conchon, Université Paris-Sud 11, France
Stephan Merz, Université de Lorraine, CNRS, Inria, Loria, France
Renate Schmidt, University of Manchester, UK
Roberto Sebastiani, Università di Trento, Italy
Jeanine Souquières, Université de Lorraine, CNRS, Loria, France
Viorica Sofronie-Stokkermans, Universität Koblenz-Landau, Germany
Cesare Tinelli, The University of Iowa, USA

Brunch "La géomatique aujourd'hui et demain !"
2018-10-05 11:30 - 14:00
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.
Plus d’infos
Programme complet

Colloquium Loria : Jean-François Cardoso
2018-10-04 13:30 - 15:00
Jean-François Cardoso, directeur de recherche CNRS à l’Institut d’Astrophysique de Paris est l’invité du prochain colloquium du Loria.
Rendez-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.”
Voici le résumé de sa présentation :
“La collaboration “Planck” de l’Agence Spatiale Européenne a récemment publié une carte plein-ciel du rayonnement fossile cosmologique.
Cette 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.
Elle confirme avec éclat et approfondit la théorie du Big Bang, notre meilleur scénario pour l’origine et la formation de l’Univers.
Dans 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…”
Les 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.

Exposé de Bernadette Bensaude-Vincent
2018-10-02 10:30 - 12:00
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.
Sa présentation est intitulée Biologie de synthèse, enjeux épistémologiques, économiques et philosophiques.

Ré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.

Remise des insignes et titres de docteur honoris causa à Michael Backes
2018-10-01 16:00 - 20:00
Le 1er octobre 2018 seront remis les insignes et titres de docteur honoris causa à Michael Backes, professeur en informatique, expert en cybersécurité.
Cette 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.
Vous êtes chaleureusement invités et nous vous invitons à confirmer votre présence via l’adresse evenements@univ-lorraine.fr.
Résumé de la conférence
« 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é.
Tout 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.
En 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.
Dans cette discussion nous braquerons les projecteurs sur le défi particulièrement important de la sécurité des réseaux autonomes ».

Seminar : Sandra Strohback and Yang Zhang (CISPA)
2018-09-28 14:00 - 15:00
Our colleagues from CISPA Saarland, Sandra Strohback and Yang Zhang will visit us
on friday september, 28 to give the following talks in room A008 :

2pm – 2pm15 : Sandra Strohback will give a presentation on the next Workshop CISPA-LORIA on Security and Privacy Issues of Big Data:

2pm15 – 3pm: Yang Zhang will give a talk entitled » ML-Leaks: Model and Data Independent Membership Inference Attacks and Defenses on Machine Learning Models ».

Abstract:
Machine 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.
However, 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.
In 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
this emerging and developing threat using eight diverse datasets which show the viability of the proposed attacks across domains.
In 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.

Séminaire Sécurité Loria : Clémentine Maurice
2018-09-27 13:30 - 15:00
Next SSL seminar will take place on Thursday, September 27th at 1.30 pm in room A008.
Clémentine Maurice (CNRS, IRISA) will give a presentation entitled « Evolution of microarchitectural attacks ».

Hardware 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.
In 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.

PhD Defense : Baldwin Dumortier
2018-09-25 13:15 - 15:30
Baldwin Dumortier (Multispeech) will defend his thesis on Tuesday, September 25th at 1.15pm in room C005.
His thesis is entitled « Acoustic control of wind farms ».

« Contrôle acoustique d’un parc éolien »
Rapporteurs :
Christophe Gonzales, Professeur, Université Pierre et Marie Curie, Paris.
Patrick Danès, Professeur, Université Paul Sabatier, Toulouse.

Examinateurs :
Mathieu Lagrange, Chargé de recherche CNRS, Laboratoire des Sciences du Numérique de Nantes, Nantes.
Marianne Clausel, Professeur, Université de Lorraine, IECL, Nancy.

Directeurs de thèse :
Emmanuel Vincent, Directeur de Recherche Inria, LORIA, Nancy.
Madalina Deaconu, Chargée de Recherche Inria, IECL, Nancy.

Actuellement, 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).
Actuellement, 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
pour le bruit résiduel qui dépend de toutes les autres sources de l’environnement et qui est fondamentalement de nature stochastique.
La 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
dé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.

(EN)
Currently, 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
the 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.
To 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.

Conférence "Sciences et Société" sur l'IA avec Malik Ghalab
2018-09-20 20:30 - 22:00
Nos machines peuvent-elles dorénavant prendre des décisions ?
Malika 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.
L’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.
Nos machines peuvent-elles dorénavant prendre des décisions ? La question mérite être analysée pour les deux sens de « pouvoir décider » :
Bien 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.
Cette 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

Le Loria accueille l'Académie Digitale de Nancy Numérique !
2018-09-20 14:00 - 20:00
Le jeudi 20 septembre, le Loria accueillera la sixième édition d’Académie Digitale initiée par Nancy Numérique.

En 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.

Un 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.

Puis, 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.
PROGRAMME :

13h45 – Plénière de rentrée nancy numérique (réservé aux membres)
Présentation de la feuille de route du dernier semestre par Fabian Costet, Président.
14h15 – Intervention de Google (réservé aux membres)
Autour de l’accompagnement de la transformation numérique des territoires Grand-Est avec Google Ateliers Numériques en partenariat avec Nancy Numérique
15h00 – Speed meeting (réservé aux membres)
Objectifs : 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.
16h30 – Ateliers de partage de connaissances (réservé aux membres)
Objectifs : 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…
Programme : 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.
18h30 – Rencontre publique avec Philippe Vion-Dury, rédacteur en chef de Socialter, Auteur du livre “La Nouvelle Servitude volontaire” FYP éditions, 2016
Rencontre 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.
Ouvert au public et gratuit
Inscription obligatoire avant le 12 septembre
En savoir plus

Coup d'envoi du MeetUp IA Nancy avec Jean-Paul Haton !
2018-09-19 18:00 - 20:00
Les meetups Intelligence Artificielle Nancy sont des moments de rencontre pour démystifier et comprendre l’Intelligence Artificielle.
L’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.
Passionnés par l’intelligence artificielle ou simples curieux, ces rencontres sont ouvertes à tous et suivies de discussions informelles autour d’un apéritif.
Rejoignez-nous pour développer votre culture scientifique et partager nos réflexions !

Pour 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é.
Cette 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…).
Cette soirée se terminera autour d’un petit apéritif afin d’échanger nos premières impressions.
Inscription gratuite mais obligatoire avant le lundi 17 septembre sur la plate-forme MeetUp.

Le Loria présent au salon Grand Est Numérique
2018-09-13 - 2018-09-14
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.
À 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.
Au 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.

3000 visiteurs sont attendus et de nombreuses têtes d’affiches seront présentes comme :
– Bertrand Piccard, initiateur et visionnaire de Solar Impulse
– Korben, blogueur influent et fondateur de YesWeHack autour de la cybersécurité
– Laurent Alexandre, docteur fondateur de Doctissimo.fr
– Mariya Gabriel, commissaire européenne au numérique

Programme complet et inscription
Nos start-ups présentes :
Alerion :
Les 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.
Antsway :
Gestion de parcs de véhicules électriques et optimisation des tournées.
Harmonic Pharma :
Solution 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.
Cyber-Detect :
Cyber-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.
Lybero.net :
Solutions de sécurité, coffre fort numérique.

PhD Defense : Simon Abelard
2018-09-07 14:30 - 16:30
Simon Abelard will defend his thesis on Friday, September 7th at 2.30pm in room C005.
His presentation is entitled « Point-counting on hyperelliptic curves defined over finite fields of large characteristic: algorithms and complexities« .
Referees:
Christophe Ritzenthaler, Professor, Université Rennes 1
Fréderik Vercauteren, Associate Professor, KU Leuven
Examiners:
Magali Bardet, Associate Professor, Université de Rouen
Elisa Gorla, Professor, Université de Neuchatel
Guillaume Hanrot, Professor, ÉNS Lyon
Advisors:
Pierrick Gaudry, Senior Research Scientist CNRS, Nancy
Pierre-Jean Spaenlehauer, Research Scientist Inria, Nancy
Abstract:
Counting 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.
Our 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.
In 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.

VTSA 2018
2018-08-27 - 2018-08-31
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.
Nous 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.
Organisé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.
Plus d’informations

Talk on GPU architecture of Deep Learning
2018-07-17 14:00 - 15:00
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.

Talk Sergei Grudinin on structural bioinformatics
2018-07-05 11:00 - 12:00
There will be a presentation on structural bioinformatics on Thursday 5th of July at 11h00 in Room B013.
Sergei Grudinin, from Nano-D, (Inria/CNRS) in Grenoble will give a talk entitled « Novel computational approaches for structural bioinformatics ».
Abstract :
In 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.

Journée IA et Santé au LORIA
2018-07-03
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.
L’atelier aura pour thématique principale l’exploitation des données et des connaissances numériques en santé.
Seront abordés :
Le traitement intelligent de données et des connaissances en santé :
– Documents cliniques, possiblement multimodaux, réseaux sociaux, publications scientifiques
– Systèmes d’information hospitaliers / ambulatoires, réseaux ville-hôpital
– Données massives en santé, données ouvertes en santé
Les représentations et les méthodes de l’intelligence artificielle, notamment :
– Terminologies et ontologies médicales
– Apprentissage et fouille de données, extraction de connaissances et classification
– Aide à la décision, agents intelligents
– Traitement automatique des langues, recherche d’information.
– Visualisation intelligente des données
L’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.

MALOTEC seminar : Martin Trnecka
2018-07-02 14:00 - 15:00
MALOTEC is organizing a seminar with Martin Trnecka on Monday, July 2 at 14:00 am in Room B013.
Martin 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.
Title : Boolean Matrix Factorization from Formal Concept Analysis Perspective
Abstract :
Boolean 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 justiﬁed heuristics, and better algorithms.

PFIA2018 à Nancy
2018-07-02 - 2018-07-06
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.
La 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.
Cette 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.
Inscription obligatoire via le site de PFIA2018.
Pour les membres du Loria, l’inscription est gratuite mais obligatoire via ce formulaire d’inscription, à compléter avant le 8 juin.

Erasmus Mundus consortium at Loria
2018-06-27 08:00 - 2018-06-29 18:00
Next week, from 27 through 29 of June, LORIA will host the Annual Meeting of the Erasmus Mundus consortium Language and Communication Technologies, where the former UFR Mathematics and Computer Science (now Institute of Digital, Management and Cognition – IDMC) of the University de Lorraine is a partner.
On this occasion, the Malotec Team have the participation of keynote speakers :
– Barbara Plank (University of Copenhagen) Learning across tasks and languages
– Gerard Casanova (University of Lorraine) Soft skills for employability: main outputs of a European project
– Aurélie Névéol (LIMSI, CNRS) Natural Language Processing for epidemiology and public health and you are most welcome to attend their invited talks.
More information on the event here.
Complete program here.

Séminaire SSL : Pierre Parrend
2018-06-26 13:00 - 15:00
Pierre Parrend (Plate-forme BICS, Laboratoire ICube, ECAM-Strasbourg-Europe) sera le prochain orateur du séminaire SSL, mardi 26 juin à 13h en salle Bob, B013.
Titre :
Health Optimisation through 4P Ecosystems: the HOPE suite for medical data security.
Résumé :
HOPE (Health Optimisation through 4P Ecosystems) is a software suite for managing complex patient cohorts in a secure manner. It aims at supporting integration, analysis, exploitation and protection of medical data in distributed ecosystems. HOPE integrates 36 cohorts, from massive ones like Jiva Cohort with 500.000 patients of traditional medicine from India, to tiny cohorts of patients with extremely rare diseases, like Genida cohorts that entail from 2 to 40 people. HOPE provides tools for connecting together patients and medical practitioners (Genida), statistical analysis of medical data (OptimR), security control (Meerkat), and secure distributed data safeguard (RADAR). HOPE is part of the BICS Platform: Bio-statistics, Informatics and Complex Systems, of ICube Laboratory at University of Strasbourg, which aims at providing algorithmic solutions for understanding and steering natural as well as artificial complex systems.

D4 Seminar : Edward L. Keenan (UCLA)
2018-06-26 10:00 - 12:00
Note this forthcoming D4 seminar on Tuesday, June 26 at 10am, room A008.
It will be given by Edward L. Keenan (Department of Linguistics, UCLA).
Title :
Individuals Explained Away
Abstract :
As a linguist wading into philosophical waters I begin with two semantic observations concerning some intensional common nouns and their modifiers. I provide them with a minimal semantic analysis whose justification is twofold. One, it is linguistically enlightening: it points out some semantic generalizations about English and provides a formally explicit analysis of the relevant entailment patterns. Two, it generalizes standard extensional model theory without adding novel entities such as possible worlds or propositions. Such entities may facilitate the semantic analysis of modal adverbs and propositional attitude verbs, but are not needed for the intensional expressions we study here. Our analysis is explanatory in that it characterizes what we are trying to understand only using notions we already understand, not novel ones we don’t. Our analysis may also have some consequences for Direct Reference Theory (see Almog 2012, Bianchi 2012, Kaplan 1989, Napoli 1995, Wettstein 2004). Among them is that it eliminates from our naive ontology a universe of objects we think of singular terms as denoting and unbound pronouns and individual variables in logic as ranging over. It also establishes some boundary points limiting the purview of Direct Reference Theory. And, if nothing else, it may serve a “bad example” function – “Just look at what happens if you do not adopt a direct reference stance”. As well, our use of judgments of entailment is more at home in a Fregean setting than a Direct Reference one (Capuano 2012).

D4 Seminar : Maël Primet (Snips)
2018-06-20 14:00 - 16:00
Note this forthcoming D4 seminar on Wednesday, June 20 at 2pm, room A008.
It will be given by Maël Primet (Snips).
Title :
Presenting Snips: a Platform for Natural Language Understanding and Speech Recognition on the edge
Abstract :
Snips is building a Voice AI platform running 100% on embedded devices, comprising of a wake-word detector, an automated speech recognizer, and natural language understanding. As microprocessors become cheaper and more powerful, moving computations to the edge provides many advantages: privacy-by-design, 100% availability, lower costs, higher reactivity. But this also requires tradeoffs in terms of accuracy, as larger models are not able to run on commodity chips. This talk will present some aspects of the Snips platform and tradeoffs which have been made to guarantee high accuracy while reducing model sizes.

Department 4 Day
2018-06-20 09:00 - 12:30
The D4 offers to participate at the 2018 edition of the Departement 4 Day, June 20 at 9 am to 12.30 pm. PhD students will present the department in the Gilles Khan amphi, with free coffee.
Here is the program of the morning.

Colloquium Loria : Marc Sciamanna
2018-06-19 13:30 - 15:00
Le mardi 19 juin à 13h30 aura lieu le Colloquium du Loria avec Marc Sciamanna, professeur associé à CentraleSupélec Metz.
Son exposé s’intitule “Photonique ou l’intelligence de la matière”.
Résumé :
Le mot « photonique » a été introduit après la découverte du photon pour désigner la science et les technologies qui utilisent la lumière. Technologie clé de notre quotidien, la photonique a permis le développement de sources alternatives d’énergie électrique, de l’imagerie et du diagnostic médical, de l’exploration de l’espace, des télécommunications et du multimédia, etc.
La lumière est également fascinante dans son interaction avec la matière. Cette interaction permet de modifier les propriétés optiques de la matière et d’observer des formes complexes de propagation lumière comme des patterns (structures auto-organisées de lumière), des structures localisées de type solitons, des vortex, des faisceaux de lumière accélérants, etc. De nombreux systèmes qui génèrent et manipulent la lumière sont par ailleurs des systèmes fortement non-linéaires qui présentent pour beaucoup des dynamiques complexes, voire chaotiques. Ces propriétés qui mettent en évidence une forme de complexité de la lumière sont considérées par beaucoup comme essentielles pour développer une nouvelle forme d’intelligence, non pas artificielle ou logicielle, mais matérielle. Cette intelligence permet de sécuriser l’information, d’opérer des calculs complexes et de comprendre et simuler de nombreux phénomènes présents dans la Nature.
Les personnes extérieures au laboratoire doivent s’inscrire par e-mail avant le jeudi 14 juin.

Journées Nationales de la Robotique Humanoïde au Loria
2018-06-14 - 2018-06-15
Les Journées Nationales de la Robotique Humanoïde 2018 se dérouleront au LORIA les 14 et 15 juin 2018.
Ces journées ont pour objectif de réunir les communautés nationales de la recherche en robotique et de l’industrie autour du domaine de la Robotique Humanoïde.
Programme :
Comme pour les années précédentes, la programmation de ces Journées seront constituées par des interventions de chercheurs invités (60 minutes) et des présentations orales sélectionnées parmi les contributions soumises (20-30 minutes). Une session de posters permanente assurera l’échange entre les participants, les jeunes chercheurs et doctorants tout au long de la conférence. Une visite des nouvelles plateformes et espaces de travail liées à la robotique du Loria est également prévue.

En savoir plus sur le JNRH 2018.
Inscriptions obligatoire jusqu’au 15 mai via ce formulaire d’inscription.

Séminaire SSL : Daniel Augot
2018-06-12 14:00 - 15:30
Daniel Augot (Inria Saclay et École polytechnique) sera la prochain orateur du séminaire SSL, mardi 12 juin à 13h30 en salle A008.
Titre : Bitcoin, cryptomonnaies, blockchains: la folie, le pourquoi de la folie, et la science.
Résumé :
Le « buzz », « hype », ou tout simplement l’excitation, autour des cryptomonnaies attend des sommets invraisemblables, souvent ridicules. On peut se demander de quoi il retourne. Après, en guise d’introduction, avoir donné des exemples de cette folie Bitcoin (pour rire un peu), je rentrerai dans le cœur des protocoles historiques de blockchain, la preuve de travail, inventée dans le cadre de Bitcoin, ce qui permet de comprendre pourquoi ces protocoles sont considérés comme « décentralisés », une propriété tant vantée dans le monde des cryptomonnaies. On verra ensuite les variantes intuitives qui peuvent assez naturellement se présenter, et que la recherche scientifique a pris le train très en retard, sur un sujet qui semble nouveau, à la rencontre de l’algorithmique distribuée et de la cryptographie. Enfin, je présenterai les questions de recherche qui se posent, avec toutefois une orientation plus cryptographique que distribuée.
